894 search results - page 93 / 179 » A Dependability-Driven System-Level Design Approach for Embe... |
219
Voted
CASES
2011
ACM
14 years 19 days 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...
115
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
108
click to vote
DAC
2002
ACM
16 years 1 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
106
Voted
ENTCS
2002
15 years 14 days ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
111
click to vote
RTCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...