1
Julkaistu 2010
Sisällysluettelo: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Hae kokoteksti
Elektroninen E-kirja
2
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
3
Julkaistu 2005
Sisällysluettelo: ... Behavior of SPEC CPU and Java Workloads -- Application of Real-Time Object-Oriented Modeling Technique...
Hae kokoteksti
Elektroninen E-kirja