1
Publicado 2013
Table of Contents: ... Planes -- A Theory for Control-Flow Graph Exploration -- The Quest for Precision: A Layered Approach...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... as Causality Flows -- Real-Time Distributed Systems -- A Proposal for On-Line Reconfiguration Based upon a...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... Communication for Highway Safety -- Data Compression on Embedded System -- A Survey on Preserving Privacy...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... Approach to Solve Dial-a-Ride Problems Using Ant Computing and Constraint Programming -- Logic as Energy: A...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... Implementation of Particle Tracking and Collision in a Turbulent Flow -- A Distributed Multilevel Ant-Colony...
Ligazón do recurso
Electrónico eBook