Sciweavers

2681 search results - page 250 / 537
» Problem F
Sort
View
113
Voted
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 8 months ago
Power Constrained High-Level Synthesis of Battery Powered Digital Systems
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...
S. F. Nielsen, Jan Madsen
ICRA
2003
IEEE
106views Robotics» more  ICRA 2003»
15 years 8 months ago
Singularity analysis of the HALF parallel manipulator with revolute actuators
This paper concerns the singuIariQ of the HALF parallel manipulato,: a novel three degrees offeedom (DoFs) mechanism, with revolute actuators. The parallel manipulato,: pmposedpre...
Xin-Jun Liu, Jongwon Kim, Kun-Ku Oh
KBSE
2003
IEEE
15 years 8 months ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland
158
Voted
RTAS
2003
IEEE
15 years 8 months ago
Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
Ying Lu 0002, Tarek F. Abdelzaher, Chenyang Lu, Lu...
132
Voted
WORDS
2003
IEEE
15 years 8 months ago
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
Avelino F. Zorzo, Panayiotis Periorellis, Alexande...