5111 search results - page 73 / 1023 » The Embedded Systems Design Challenge |
139
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
143
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
162
click to vote
TODAES
2008
15 years 3 months ago
2008
The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integ...
116
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
170
click to vote
SDL
2007
15 years 5 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...