1
Pubblicazione 2007
Sommario: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Testo
Elettronico eBook
2
Pubblicazione 2007
Sommario: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...
Testo
Elettronico eBook