2343 search results - page 387 / 469 » MedModel - Healthcare Simulation Software |
CEC
2009
IEEE
14 years 29 days ago
2009
IEEE
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
CODES
2007
IEEE
14 years 28 days ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
AMAST
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
CGO
2004
IEEE
14 years 22 days ago
2004
IEEE
Dynamic optimization systems store optimized or translated code in a software-managed code cache in order to maximize reuse of transformed code. Code caches store superblocks that...
ARCS
2006
Springer
14 years 22 days ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...