1532 search results - page 38 / 307 » A Comparison of RESTART Implementations |
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
RE
2010
Springer
14 years 4 months ago
2010
Springer
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...
INFOCOM
2012
IEEE
13 years 6 days ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...
BMCBI
2005
14 years 9 months ago
2005
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
SAINT
2006
IEEE
15 years 3 months ago
2006
IEEE
The performance of RFID anti-collision protocols that are based on framed ALOHA depends on a transmission scheme that controls access to the shared channel. In this paper, we outl...