Sciweavers

4922 search results - page 332 / 985
» Internet time out
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 26 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
IPPS
2006
IEEE
16 years 24 days ago
Battery aware dynamic scheduling for periodic task graphs
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...
V. Rao, N. Navet, G. Singhal, A. Kumar, G. S. Visw...
AVSS
2005
IEEE
16 years 12 days ago
Look there! Predicting where to look for motion in an active camera network
A framework is proposed that answers the following question: if a moving object is observed by one camera in a pan-tilt-zoom (PTZ) camera network, what other camera(s) might be fo...
Ugur Murat Erdem, Stan Sclaroff
DATE
2005
IEEE
147views Hardware» more  DATE 2005»
16 years 11 days ago
Buffer Insertion Considering Process Variation
A comprehensive probabilistic methodology is proposed to solve the buffer insertion problem with the consideration of process variations. In contrast to a recent work, we point o...
Jinjun Xiong, King Ho Tam, Lei He
ISAAC
2005
Springer
106views Algorithms» more  ISAAC 2005»
16 years 8 days ago
Generating Cut Conjunctions and Bridge Avoiding Extensions in Graphs
Let G = (V, E) be an undirected graph, and let B ⊆ V × V be a collection of vertex pairs. We give an incremental polynomial time algorithm to enumerate all minimal edge sets X ...
Leonid Khachiyan, Endre Boros, Konrad Borys, Khale...