1
Publicado 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...
Ligazón do recurso
Electrónico eBook
4
Publicado 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Ligazón do recurso
Electrónico eBook
5
Publicado 2014
Table of Contents: ... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...
Ligazón do recurso
Electrónico eBook
6
Publicado 2007
Table of Contents: ... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...
Ligazón do recurso
Electrónico eBook
7
Publicado 2013
Table of Contents: ... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...
Ligazón do recurso
Electrónico eBook