3820 search results - page 552 / 764 » Bounded Model Debugging |
150
click to vote
WAOA
2010
Springer
15 years 26 days ago
2010
Springer
The past few years have witnessed a number of interesting online algorithms for deadline scheduling in the dynamic speed scaling model (in which a processor can vary its speed to ...
186
click to vote
ALDT
2011
Springer
14 years 3 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
126
click to vote
MMSYS
2012
13 years 10 months ago
2012
Increasingly, commercial content providers (CPs) offer streaming and IPTV solutions that leverage an underlying peerto-peer (P2P) stream distribution architecture. The use of P2P...
134
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
190
click to vote
TMC
2012
13 years 5 months ago
2012
—We investigate the following fundamental question—how fast can information be collected from a wireless sensor network organized as tree? To address this, we explore and evalu...