1271 search results - page 10 / 255 » On Simulation-Checking with Sequential Systems |
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...
WSC
2000
13 years 9 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
ICRA
2005
IEEE
2005
IEEE
A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems
14 years 1 months ago
DMCCG
2001
Springer
14 years 4 days ago
2001
Springer