5831 search results - page 42 / 1167 » Distributed Dynamic Backtracking |
IPPS
1999
IEEE
14 years 28 days ago
1999
IEEE
In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The proposed benchmark suite is representat...
TC
2008
13 years 8 months ago
2008
This work presents a novel slack management technique, the Service-Rate-Proportionate (SRP) Slack Distribution, for real-time distributed embedded systems to reduce energy consumpt...
TAP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
STTT
2010
13 years 7 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— We develop a new dynamic scheme which continuously redistributes a fixed power budget among the wireless nodes participating in a multi-hop wireless connection, with t...