2343 search results - page 222 / 469 » MedModel - Healthcare Simulation Software |
142
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
127
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...
139
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
130
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...