18716 search results - page 3474 / 3744 » Automatic |
229
Voted
EMSOFT
2004
Springer
16 years 25 days ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...
201
Voted
EMSOFT
2004
Springer
16 years 25 days ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
217
click to vote
EMSOFT
2004
Springer
16 years 25 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
208
click to vote
FMCAD
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
221
click to vote
FPGA
2004
ACM
16 years 25 days ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...