4299 search results - page 637 / 860 » Concurrent Test Generation |
113
click to vote
EUROSYS
2009
ACM
16 years 27 days ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...
120
click to vote
ICCAD
2001
IEEE
16 years 21 days ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...
142
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
102
click to vote
JCC
2008
15 years 3 months ago
2008
Abstract: We present a method for simultaneous three-dimensional (3D) structure generation and pharmacophorebased alignment using a self-organizing algorithm called Stochastic Prox...
170
click to vote
JAIR
2007
15 years 3 months ago
2007
One of the biggest challenges in the development and deployment of spoken dialogue systems is the design of the spoken language generation module. This challenge arises from the n...