1456 search results - page 8 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
100
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
133
click to vote
DATE
2009
IEEE
15 years 3 months ago
2009
IEEE
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...
204
click to vote
CASES
2011
ACM
13 years 11 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
DAC
2001
ACM
16 years 17 days ago
2001
ACM
122
Voted
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 1 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...