1355 search results - page 126 / 271 » Alternating Timed Automata over Bounded Time |
115
Voted
WSC
2001
15 years 5 months ago
2001
Using simulation, Headway Technologies predicted that increasing staffing among a group of already lightly loaded machine operators--"overstaffing"--would significantly ...
124
Voted
IPL
2008
15 years 3 months ago
2008
We consider the online problem of scheduling jobs with equal processing times on a single machine. Each job has a release time and a deadline, and the goal is to maximize the numb...
114
Voted
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
In this paper, we propose a novel clock calibration approach called FLIGHT, which leverages the fact that the fluorescent light intensity changes with a stable period that equals...
142
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
132
Voted
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
SRAM cell design is driven by the need to satisfy static noise margin, write margin and read current margin (RCM) over all cells in the array in an energy-efficient manner. These ...