718 search results - page 132 / 144 » Timing Yield Calculation Using an Impulse-Train Approach |
WINET
2002
13 years 8 months ago
2002
Abstract. This paper addresses the problem of maximizing the capacity of multichannel slotted ALOHA networks subject to a userspecified deadline and a permissible probability of ex...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...
SIGGRAPH
1999
ACM
14 years 1 months ago
1999
ACM
In this paper we present a technique for computing the direct lighting in a three-dimensional scene containing area light sources. Our method correctly handles partial visibility ...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
This research uses a Design of Experiments (DOE) approach to build a predictive model of the performance of a combinatorial optimization heuristic over a range of heuristic tuning...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...