2661 search results - page 304 / 533 » Quantum Complexity Classes |
115
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
118
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
120
Voted
WEBDB
2004
Springer
15 years 9 months ago
2004
Springer
We consider the scenario where existing relational data is exported as XML. In this context, we look at the problem of translating XML queries into SQL. XML query languages have t...
129
click to vote
CA
2003
IEEE
15 years 9 months ago
2003
IEEE
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...
137
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...