2470 search results - page 21 / 494 » Liveness-Preserving Simulation Relations |
EURODAC
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper describes VHDL compilation techniques, embodied in the Auriga compiler [3,14], which facilitate parallel or distributed simulation by embedding evaluation scheduling in...
WSC
2007
14 years 12 days ago
2007
We discuss design issues related to the transformation of a mature Agent-Based Model (ABM) for computational epidemiology into a “grid-aware” version. EpiSims is a distributed...
ECIS
2004
13 years 11 months ago
2004
This article analyzes the impact of a computer simulation (business game) on the users' perceived learning. The theoretical model developed in this paper is derived from the ...
ICFHR
2010
13 years 5 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...
BMCBI
2007
13 years 10 months ago
2007
Background: Safety assessment of genetically modified (GM) food, with regard to allergenic potential of transgene-encoded xenoproteins, typically involves several different method...