285 search results - page 42 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
WSC
2000
15 years 1 months ago
2000
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
HOTSWUP
2009
ACM
15 years 4 months ago
2009
ACM
Delegation is an important design concept in object-oriented languages. In contrast to inheritance, which relates classes to each other, delegation operates on the level of object...
113
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
SMA
2003
ACM
15 years 5 months ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to first contact for all pairs of objects. Simple enclosing bounds and...
118
click to vote
SUTC
2010
IEEE
14 years 10 months ago
2010
IEEE
—Ubiquitous systems build on the vision that great amounts of fixed and mobile microchips and sensors will be integrated in everyday objects. Developing services on basis of sen...