Sciweavers

4480 search results - page 112 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
APCCAS
2006
IEEE
478views Hardware» more  APCCAS 2006»
16 years 11 days ago
An Active-RC Complex Filter with Mixed Signal Tuning System for Low-IF Receiver
—An active-RC complex filter synthesized from leapfrog low-pass prototype is proposed in this paper, which is less sensitive to components values variation comparing with the com...
Dingkun Du, Yongming Li, Zhihua Wang, Seeteck Tan
DAGSTUHL
2008
15 years 7 months ago
Uniprocessor EDF Feasibility is an Integer Problem
The research on real-time scheduling has mostly focused on the development of algorithms that allows to test whether the constraints imposed on the task execution (often expressed ...
Enrico Bini
MFCS
2010
Springer
15 years 4 months ago
Robust Computations with Dynamical Systems
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...
Olivier Bournez, Daniel S. Graça, Emmanuel ...
VMCAI
2009
Springer
16 years 1 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman
RTCSA
2000
IEEE
15 years 10 months ago
Optimal scheduling of imprecise computation tasks in the presence of multiple faults
With the advance of applications such as multimedia, imagelspeech processing and real-time AI, real-time computing models allowing to express the “timeliness versus precision”...
Hakan Aydin, Rami G. Melhem, Daniel Mossé