Sciweavers

5981 search results - page 49 / 1197
» time 2006
Sort
View
ICCAD
2006
IEEE
95views Hardware» more  ICCAD 2006»
14 years 6 months ago
Timing model reduction for hierarchical timing analysis
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
Shuo Zhou, Yi Zhu, Yuanfang Hu, Ronald L. Graham, ...
PRDC
2006
IEEE
14 years 4 months ago
Leader Election in the Timed Finite Average Response Time Model
The finite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...
Christof Fetzer, Martin Süßkraut
CORR
2006
Springer
91views Education» more  CORR 2006»
13 years 10 months ago
The Complexity of Mean Flow Time Scheduling Problems with Release Times
We study the problem of preemptive scheduling n jobs with given release times on m identical parallel machines. The objective is to minimize the average flow time. We show that wh...
Philippe Baptiste, Peter Brucker, Marek Chrobak, C...
FORMATS
2006
Springer
14 years 1 months ago
Timed Alternating-Time Temporal Logic
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
Thomas A. Henzinger, Vinayak S. Prabhu
VTC
2006
IEEE
228views Communications» more  VTC 2006»
14 years 3 months ago
Aggregation Time Control Algorithm for Time constrained Data Delivery in Wireless Sensor Networks
Abstract— This paper proposes and evaluates a new aggregation algorithm in wireless sensor networks with time constraint. In the proposed algorithm, each aggregation node control...
Jae Young Choi, Jongwook Lee, Kamrok Lee, Sunghyun...