2850 search results - page 446 / 570 » On Timed Models and Full Abstraction |
FIMH
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...
138
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
110
Voted
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
108
click to vote
MA
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
125
click to vote
PATMOS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...