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