6274 search results - page 893 / 1255 » Proofs, Programs, Processes |
111
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
110
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
We present an update on the status of the Cougar Sensor Database Project, in which we are investigating a database approach to sensor networks: Clients "program" the sen...
110
Voted
ICCD
2008
IEEE
16 years 15 days ago
2008
IEEE
—IR drop noise has become a critical issue in advanced process technologies. Traditionally, timing analysis in which the IR drop noise is considered assumes a worst-case IR drop ...
123
Voted
ICCD
2006
IEEE
16 years 14 days ago
2006
IEEE
— Microprocessors can have design errors that escape the test and validation process. The cost to rectify these errors after shipping the processors can be very expensive as it m...
110
Voted
ICCD
2004
IEEE
16 years 14 days ago
2004
IEEE
— In this paper, we approach the gate sizing problem in VLSI circuits in the context of increasing variability of process and circuit parameters as technology scales into the nan...