123 search results - page 14 / 25 » Software Architecture Synthesis for Retargetable Real-time E... |
DAC
1999
ACM
16 years 18 days ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
116
click to vote
CSREAESA
2004
15 years 1 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
110
click to vote
COMPUTER
2000
14 years 11 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
119
click to vote
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...