Sciweavers

5186 search results - page 405 / 1038
» Embedded Systems
Sort
View
185
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
EMSOFT
2008
Springer
15 years 8 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
RTAS
1996
IEEE
15 years 11 months ago
Evaluation of Wireless Soft Real-Time Protocols
Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. Howe...
Michael J. Markowski, Adarshpal S. Sethi
ICCAD
2000
IEEE
95views Hardware» more  ICCAD 2000»
15 years 11 months ago
Test of Future System-on-Chips
Spurred by technology leading to the availability of millions of gates per chip, system-level integration is evolving as a new paradigm, allowing entire systems to be built on a s...
Yervant Zorian, Sujit Dey, Mike Rodgers
EMSOFT
2003
Springer
16 years 18 hour ago
HOKES/POKES: Light-Weight Resource Sharing
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
Herbert Bos, Bart Samwel