Sciweavers

3281 search results - page 187 / 657
» An Approach to use Executable Models for Testing
Sort
View
133
Voted
WABI
2007
Springer
15 years 9 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
114
Voted
ISSTA
2009
ACM
15 years 10 months ago
Time-aware test-case prioritization using integer linear programming
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong M...
ECRTS
2007
IEEE
15 years 9 months ago
A Delay Composition Theorem for Real-Time Pipelines
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
Praveen Jayachandran, Tarek F. Abdelzaher
IVA
2009
Springer
15 years 10 months ago
Human-Centered Distributed Conversational Modeling: Efficient Modeling of Robust Virtual Human Conversations
Currently, applications that focus on providing conversations with virtual humans require extensive work to create robust conversational models. We present a new approach called Hu...
Brent Rossen, Scott Lind, Benjamin Lok
127
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
Simulation-based test adequacy criteria for distributed systems
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...