1
Publicat 2010
Taula de continguts: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... -- Designing Soft-Core Processors for FPGAs -- Protocol Processor Design Issues -- Java Co-Processor...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... Address II -- Challenges and Opportunities on Multi-core Microprocessor -- Session 4A: Reconfigurable...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ... Toolbox for Multi-modal Context Recognition -- Memory Systems -- Dynamic Dictionary-Based Data Compression...
Obtenir text complet
Electrònic eBook