Sciweavers

854 search results - page 126 / 171
» Timing coverification of concurrent embedded real-time syste...
Sort
View
CODES
2003
IEEE
15 years 3 months ago
Hardware support for real-time operating systems
The growing complexity of embedded applications and pressure on time-to-market has resulted in the increasing use of embedded real-time operating systems. Unfortunately, RTOSes ca...
Paul Kohout, Brinda Ganesh, Bruce L. Jacob
RTAS
2009
IEEE
15 years 4 months ago
Partial Program Admission
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
Michael Wilson, Ron Cytron, Jonathan S. Turner
GPCE
2007
Springer
15 years 3 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
ASPDAC
2005
ACM
153views Hardware» more  ASPDAC 2005»
14 years 11 months ago
Design of clocked circuits using UML
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
Zhenxin Sun, Weng-Fai Wong, Yongxin Zhu, Santhosh ...
RTCSA
2005
IEEE
15 years 3 months ago
Citron: A Context Information Acquisition Framework for Personal Devices
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
Tetsuo Yamabe, Ayako Takagi, Tatsuo Nakajima