3779 search results - page 361 / 756 » Linear Consistency Testing |
199
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
179
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a computational model of creative design based on collaborative interactive genetic algorithms. We test our model on floorplanning. We guide the evolution of floor...
184
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Compressive sensing is a new signal acquisition technology with the potential to reduce the number of measurements required to acquire signals that are sparse or compres...
138
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
In distributed systems that use active replication to achieve robustness, it is important to efficiently enforce consistency among replicas. The nonblocking mode helps to speed u...
186
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Reputation mechanisms are a key technique to trust assessment in large-scale decentralized systems. The effectiveness of reputation-based trust management fundamentally relies on ...