440 search results - page 5 / 88 » A challenge for atomicity verification |
GECCO
1999
Springer
13 years 11 months ago
1999
Springer
This paper examines some of the reporting and research practices concerning empirical work in genetic programming. We describe several common loopholes and offer three case studie...
FTRTFT
2000
Springer
13 years 11 months ago
2000
Springer
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
BNCOD
2006
13 years 8 months ago
2006
Composed Web service transactions executed in distributed networks often require an atomic execution. Guaranteeing atomicity in mobile networks involves a lot more challenges than ...
WDAG
2005
Springer
14 years 25 days ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...