713 search results - page 80 / 143 » Toward a More Reliable Theory of Software Reliability |
ISCA
2009
IEEE
14 years 3 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
Although speech recognition systems have become more reliable in recent years, they are still highly error-prone. Other components of a spoken language dialogue system must then b...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
ROBOCUP
1999
Springer
14 years 1 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
DNA
2007
Springer
14 years 21 days ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...