Sciweavers

5544 search results - page 494 / 1109
» Three Inadequate Models
Sort
View
RTSS
2008
IEEE
16 years 1 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
VTC
2008
IEEE
173views Communications» more  VTC 2008»
16 years 1 months ago
Adaptive Call Admission Control with Dynamic Resource Reallocation for Cell-Based Multirate Wireless Systems
—This paper studies the admission control and resource allocation in a cell-based wireless system that supports singlemedia and multirate services. Utilizing the idea of adaptive...
Kai-Wei Ke, Chen-Nien Tsai, Ho-Ting Wu, Chia-Hao H...
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
16 years 1 months ago
Use of statistical timing analysis on real designs
A vast literature has been published on Statistical Static Timing Analysis (SSTA), its motivations, its different implementations and their runtime/accuracy trade-offs. However, v...
A. Nardi, Emre Tuncer, S. Naidu, A. Antonau, S. Gr...
FGCN
2007
IEEE
126views Communications» more  FGCN 2007»
16 years 1 months ago
Traffic Splitting with Network Calculus for Mesh Sensor Networks
In many applications of sensor networks, it is essential to ensure that messages are transmitted to their destinations as early as possible and the buffer size of each sensor node...
Huimin She, Zhonghai Lu, Axel Jantsch, Li-Rong Zhe...
IROS
2007
IEEE
98views Robotics» more  IROS 2007»
16 years 1 months ago
Discrete trajectory control algorithms for NIMS3D, an autonomous underconstrained three-dimensional cabled robot
— In this paper we present algorithms that enable precise trajectory control of NIMS3D, an underconstrained, three-dimensional cabled robot intended for use in actuated sensing. ...
Per Henrik Borgstrom, Nils Peter Borgstrom, Michae...