979 search results - page 167 / 196 » Generating a Prototype from a UML Model of System Requiremen... |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
CPHYSICS
2007
13 years 8 months ago
2007
A new method was proposed by Mongan et al for constant pH molecular dynamics simulation and was implemented in AMBER 8 package. Protonation states are modeled with different char...
NIPS
2001
13 years 10 months ago
2001
Reaching movements require the brain to generate motor commands that rely on an internal model of the task's dynamics. Here we consider the errors that subjects make early in...
PPOPP
2011
ACM
12 years 11 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
IJPP
2006
13 years 8 months ago
2006
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...