1
Pubblicazione 2010
Sommario: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
Testo
Elettronico eBook
3
Sommario: ... Computers -- Problems and Solutions -- Web Server and Related Technologies -- to Servlets -- Java Network...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ...Embedded Computer Architecture Fundamentals -- Beyond the Valley of the Lost Processors: Problems...
Testo
Elettronico eBook
5
Pubblicazione 2007
Sommario: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
Testo
Elettronico eBook