Sciweavers

2681 search results - page 250 / 537
» Problem F
Sort
View
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 6 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 6 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
110
Voted
KBSE
2003
IEEE
15 years 6 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
136
Voted
RTAS
2003
IEEE
15 years 6 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...
122
Voted
WORDS
2003
IEEE
15 years 6 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...