979 search results - page 143 / 196 » Automated Environment Generation for Software Model Checking |
IUI
2003
ACM
14 years 2 months ago
2003
ACM
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
ISCOPE
1999
Springer
14 years 1 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
BMCBI
2007
13 years 9 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...