368 search results - page 31 / 74 » Sphere Methods for LP |
118
click to vote
WSC
2008
15 years 4 months ago
2008
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...
119
click to vote
RTAS
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an on-line Dynamic Voltage Scaling (DVS) algorithm for preemptive fixed-priority real-time systems called low power Limited Demand Analysis with Transition overhead (l...
116
click to vote
ANSS
2002
IEEE
15 years 6 months ago
2002
IEEE
In previous work we presented an algorithm for cloning parallel simulations that enables multiple simulated execution paths to be explored simultaneously. The method is targeted f...
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Abstract--To reduce chip-scale topography variation in Chemical Mechanical Polishing (CMP) process, dummy fill is widely used to improve the layout density uniformity. Previous res...
185
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...