6796 search results - page 273 / 1360 » Java for Embedded Systems |
106
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
Programmable logic cores (PLCs) offer a means of providing post-fabrication re-configurability to a SoC design. Circuits implemented in a PLC will inevitably have lower timing per...
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. Its main advantage is the combination of high speed static and dynamic transmission of message...
138
click to vote
DELTA
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
113
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
116
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...