668 search results - page 112 / 134 » Hyperrelations in version space |
MOBIQUITOUS
2008
IEEE
14 years 4 months ago
2008
IEEE
The Open Source mobility middleware developed in the Fuego Core project provides a stack for efficient XML processing on limited devices. Its components are a persistent map API, ...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
ISCA
2005
IEEE
14 years 3 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...