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