4693 search results - page 200 / 939 » Verifying Hybrid Systems |
170
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
134
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
152
click to vote
IPTPS
2004
Springer
15 years 10 months ago
2004
Springer
This paper suggests a method called Trust-but-Verify that may turn DHT-based peer-to-peer systems into systems that are provably robust against even massive adversarial attacks.
195
click to vote
INFOCOM
2009
IEEE
16 years 3 days ago
2009
IEEE
Abstract—Recently, distributed data storage has gained increasing popularity for efficient and robust data management in wireless sensor networks (WSNs). But the distributed arc...
152
click to vote
PPOPP
2009
ACM
16 years 8 days ago
2009
ACM
A trend is developing in high performance computing in which commodity processors are coupled to various types of computational accelerators. Such systems are commonly called hybr...