27913 search results - page 245 / 5583 » Simulation |
115
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...
117
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basi...
133
Voted
ICCD
1995
IEEE
15 years 6 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
130
Voted
ANSS
1991
IEEE
15 years 6 months ago
1991
IEEE
This paper first summerizes and then presents a formal proof to a new conservative deadlock-free algorithm, YADDES [l], for asynchronous discrete event simulation. The proof not o...
125
Voted
AAAI
2007
15 years 5 months ago
2007
This paper reconsiders the travelling tournament problem, a complex sport-scheduling application which has attracted significant interest recently. It proposes a population-based...