10379 search results - page 314 / 2076 » The Chaos of Software Development |
180
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
181
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
The Web abounds with dyadic data that keeps increasing by every single second. Previous work has repeatedly shown the usefulness of extracting the interaction structure inside dya...
178
click to vote
COMSWARE
2006
IEEE
16 years 24 days ago
2006
IEEE
Sensor networks typically comprise of a number of inexpensive small devices with processing, communication and sensing abilities that collaborate to perform a common task. Sensor d...
183
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
282
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...