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