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