1
Publicado em 2010
Sumário: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2005
Sumário: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Sumário: ... Computers -- Problems and Solutions -- Web Server and Related Technologies -- to Servlets -- Java Network...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ...Embedded Computer Architecture Fundamentals -- Beyond the Valley of the Lost Processors: Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2007
Sumário: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Obter o texto integral
Recurso Electrónico livro electrónico