11234 search results - page 10 / 2247 » A Microsurgery Simulation System |
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
ICCABS
2011
13 years 1 months ago
2011
Abstract—Many important biological problems can be modeled as contagion diffusion processes over interaction networks. This paper shows how the EpiSimdemics interaction-based sim...
ASPDAC
2012
ACM
12 years 5 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
ICFHR
2010
13 years 4 months ago
2010
This competition scenario aims at a performance comparison of several automated systems for the task of signature verification. The systems have to rate the probability of authors...
DAC
1996
ACM
14 years 2 months ago
1996
ACM
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...