15416 search results - page 322 / 3084 » Embeddings of Computable Structures |
188
Voted
DSD
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...
178
Voted
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
Numerous approaches can be employed in exploiting computation power in processors such as superscalar, VLIW, SMT and multi-core on chip. In this paper, a UniCore VisoMT processor ...
185
Voted
RTCSA
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
177
click to vote
RTCSA
2005
IEEE
16 years 13 days ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
181
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...