365 search results - page 40 / 73 » Requirements Specifications Checking of Embedded Real-Time S... |
155
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
126
Voted
IPSN
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
114
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe EXPRESSION, a language supporting architectural design space exploration for embedded Systems-onChip (SOC) and automatic generation of a retargetable compiler/simulato...
123
Voted
EMSOFT
2010
Springer
15 years 19 days ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
131
click to vote
ISSTA
1996
ACM
15 years 6 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...