9166 search results - page 367 / 1834 » A framework for comparing models of computation |
188
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
159
click to vote
CLUSTER
2007
IEEE
16 years 1 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
222
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a Bayesian framework for generating inverse-consistent inter-subject large deformation transformations between two multi-modal image sets of the brain. In this...
152
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: In diesem Artikel wird die Verwendung von Real Options als Modell f¨ur die Entscheidung ¨uber alternative Strategien in der Softwareentwicklung vorgestellt. Der Fokus liegt hie...
179
click to vote
WSC
2008
15 years 9 months ago
2008
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...