6941 search results - page 1070 / 1389 » Testing as a Certification Approach |
130
click to vote
ISSTA
2006
ACM
16 years 6 days ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
160
click to vote
ISSTA
2006
ACM
2006
ACM
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
16 years 6 days ago
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
181
click to vote
MSR
2006
ACM
16 years 6 days ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
105
click to vote
SAC
2006
ACM
16 years 6 days ago
2006
ACM
In this paper we introduce a group-messaging interface that allows humans to efficiently interact with a group of agents through a hierarchical and customizable text protocol. Our...
155
click to vote
SAC
2006
ACM
16 years 6 days ago
2006
ACM
This paper describes a new medical image analysis technique for polygon mesh surfaces of human faces for a medical diagnosis application. The goal is to explore the natural patter...