Sciweavers

34974 search results - page 314 / 6995
» The particle computer system
Sort
View
142
Voted
CAV
2008
Springer
106views Hardware» more  CAV 2008»
15 years 9 months ago
Computing Differential Invariants of Hybrid Systems as Fixedpoints
André Platzer, Edmund M. Clarke
128
Voted
DAGSTUHL
2007
15 years 9 months ago
07271 Abstracts Collection - Computational Social Systems and the Internet
Peter Cramton, Rudolf Müller, Éva Tard...
CSREASAM
2008
15 years 9 months ago
Securing Security Policies in Autonomic Computing Systems
Ghassan Jabbour, Daniel A. Menascé
144
Voted
PARCO
2007
15 years 9 months ago
Massively Parallel Quantum Computer Simulations: Towards Realistic Systems
Marcus Richter, Guido Arnold, Binh Trieu, Thomas L...