Sciweavers

3934 search results - page 371 / 787
» Approximate Schedulability Analysis
Sort
View
APLAS
2005
ACM
16 years 9 days ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
BMCBI
2006
117views more  BMCBI 2006»
15 years 6 months ago
The Cluster Variation Method for Efficient Linkage Analysis on Extended Pedigrees
Background: Computing exact multipoint LOD scores for extended pedigrees rapidly becomes infeasible as the number of markers and untyped individuals increase. When markers are exc...
Cornelis A. Albers, Martijn A. R. Leisink, Hilbert...
ICCAD
2006
IEEE
189views Hardware» more  ICCAD 2006»
16 years 3 months ago
Allocation cost minimization for periodic hard real-time tasks in energy-constrained DVS systems
Energy-efficiency and power-awareness for electronic systems have been important design issues in hardware and software implementations. We consider the scheduling of periodic ha...
Jian-Jia Chen, Tei-Wei Kuo
IROS
2009
IEEE
143views Robotics» more  IROS 2009»
16 years 1 months ago
Standing balance control using a trajectory library
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
Chenggang Liu, Christopher G. Atkeson
CCGRID
2005
IEEE
16 years 11 days ago
Application-level simulation modelling of large grids
The simulation of large grids requires the generation of grid instances and an approximation of grid components’ behaviour. To generate grid instances, this paper outlines a set...
Serafeim Zanikolas, Rizos Sakellariou