1140 search results - page 198 / 228 » Embedded Software: Better Models, Better Code |
138
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
105
click to vote
AES
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes the development and application of a piece of engineering software that provides a Problem Solving Environment (PSE) capable of launching, and interfacing wit...
136
click to vote
WSC
2007
15 years 4 months ago
2007
The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametriz...
127
Voted
STTT
2010
14 years 8 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
143
click to vote
RTCSA
2003
IEEE
15 years 7 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...