Sciweavers

1640 search results - page 47 / 328
» Transistor-Level Timing Analysis Using Embedded Simulation
Sort
View
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
15 years 7 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
ICIAR
2004
Springer
15 years 7 months ago
Real-Time Facial Feature Extraction by Cascaded Parameter Prediction and Image Optimization
We propose a new fast facial-feature extraction technique for embedded face-recognition applications. A deformable feature model is adopted, of which the parameters are optimized t...
Fei Zuo, Peter H. N. de With
138
Voted
EUROMICRO
2004
IEEE
15 years 6 months ago
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Hans Hansson, Mikael Åkerholm, Ivica Crnkovi...
ICPADS
2007
IEEE
15 years 8 months ago
Supporting deadline monotonic policy over 802.11 average service time analysis
In this paper, we propose a real time scheduling policy over 802.11 DCF protocol called Deadline Monotonic (DM). We evaluate the performance of this policy for a simple scenario w...
Inès El Korbi, Leïla Azouz Saïdan...
ISLPED
1999
ACM
137views Hardware» more  ISLPED 1999»
15 years 6 months ago
Energy-efficient design of battery-powered embedded systems
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
Tajana Simunic, Luca Benini, Giovanni De Micheli