Sfoglia per Autore
A 32-neurons slice for high speed handwriting recognition
1997-01-01 F., Gregoretti; B., Lazzerini; Passerone, Roberto; L. M., Reyneri
A Dedicated Image Processor Exploiting both Spatial and Instruction-Level Parallelism
1997-01-01 A., Broggi; M., Bertozzi; G., Conte; F., Gregoretti; Passerone, Roberto; C., Sansoe; L. M., Reyneri
Modeling Reactive Systems in Java
1997-01-01 C., Passerone; Passerone, Roberto; L., Lavagno; C., Sansoe; A. L., Sangiovanni Vincentelli
Design and Implementation of the PAPRICA Parallel Architecture
1998-01-01 A., Broggi; G., Conte; F., Gregoretti; C., Sansoþ; Passerone, Roberto; L. M., Reyneri
Modeling Reactive Systems in Java
1998-01-01 C., Passerone; Passerone, Roberto; C., Sansoe; J., Martin; A. L., Sangiovanni Vincentelli; R., Mcgeer
Automatic Synthesis of Interfaces between Incompatible Protocols
1998-01-01 Passerone, Roberto; J. A., Rowson; A. L., Sangiovanni Vincentelli
Modeling Reactive Systems in Java
1998-01-01 C., Passerone; C., Sansoe; L., Lavagno; R., Mcgeer; J., Martin; Passerone, Roberto; A. L., Sangiovanni vincentelli
Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study
1998-01-01 E., Filippi; L., Lavagno; L., Licciardi; A., Montanaro; M., Paolini; Passerone, Roberto; M., Sgroi; A., Sangiovanni Vincentelli
A Highly Parallel SIMD Processor for Morphological and Neural Image Analysis
1999-01-01 F., Gregoretti; Passerone, Roberto; L. M., Reyneri; C., Sansoe
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
2001-01-01 J. R., Burch; Passerone, Roberto; A. L., Sangiovanni Vincentelli
Using Multiple Levels of Abstractions in Embedded Software Design
2001-01-01 J. R., Burch; Passerone, Roberto; A. L., Sangiovanni Vincentelli
Constraints Specification at Higher Levels of Abstraction
2001-01-01 F., Balarin; J. R., Burch; L., Lavagno; Y., Watanabe; Passerone, Roberto; A. L., Sangiovanni Vincentelli
A High Speed VLSI Architecture for Handwriting Recognition
2001-01-01 Gregoretti, F.; Passerone, Roberto; Reyneri, L. M.; Sansoè, C.
Modeling Techniques in Design-by-Refinement Methodologies
2002-01-01 J. R., Burch; Passerone, Roberto; A. L., Sangiovanni Vincentelli
Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin
2002-01-01 Passerone, Roberto; Alfaro, L.; T. A., Henzinger; A. L., Sangiovanni Vincentelli
Modeling Techniques in Design-by-Refinement Methodologies
2002-01-01 J. R., Burch; Passerone, Roberto; A. L., Sangiovanni Vincentelli
Modeling Techniques in Design-by-Refinement Methodologies
2003-01-01 J. R., Burch; Passerone, Roberto; A. L., Sangiovanni vincentelli
Conservative approximations for heterogeneous design
2004-01-01 Passerone, Roberto; J. R., Burch; A. L., Sangiovanni vincentelli
A Formal Approach to System Level Design: Metamodels and Unified Design Environments
2005-01-01 F., Balarin; Passerone, Roberto; A., Pinto; A. L., Sangiovanni Vincentelli
Interchange Formats for Hybrid Systems: Review and Proposal
2005-01-01 A., Pinto; L. P., Carloni; Passerone, Roberto; A. L., Sangiovanni vincentelli
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile