1540 search results - page 67 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
140
Voted
SERP
2007
15 years 5 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
145
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
159
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
118
click to vote
ICCAD
2004
IEEE
16 years 20 days ago
2004
IEEE
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
115
Voted
DAI
1995
Springer
15 years 7 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...