601 search results - page 16 / 121 » Simulation vs. Equivalence |
100
Voted
DAC
1995
ACM
15 years 5 months ago
1995
ACM
Abstract—We present a new approach to event-driven simulation that does not use a centralized run-time event queue, yet is capable of handling arbitrary models, including those w...
124
click to vote
WSC
2004
15 years 3 months ago
2004
In this paper, we consider semiconductor manufacturing processes that can be characterized by a diverse product mix, heterogeneous parallel machines, sequence-dependent setup time...
68
Voted
AUTOMATICA
1999
15 years 1 months ago
1999
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
118
click to vote
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
Run-time Power Gating (RTPG) is a recent technique, which aims at aggressively reducing leakage power consumption. Energy breakeven time (EBT), or equivalent sleep time has been pr...
117
click to vote
JUCS
2006
15 years 1 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...