Sciweavers

616 search results - page 95 / 124
» Component-Based Design of Embedded Software: An Analysis of ...
Sort
View
93
Voted
LCPC
1997
Springer
15 years 4 months ago
PCRC-based HPF Compilation
This paper describes an ongoing e ort supported by ARPA PCRC (Parallel Compiler Runtime Consortium) project. In particular, we discuess the design and implementation of an HPF com...
Guansong Zhang, Bryan Carpenter, Geoffrey Fox, Xia...
132
Voted
EMSOFT
2004
Springer
15 years 5 months ago
Using resource reservation techniques for power-aware scheduling
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
Claudio Scordino, Giuseppe Lipari
RTAS
2010
IEEE
14 years 10 months ago
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
Jaiganesh Balasubramanian, Aniruddha S. Gokhale, A...
FTRTFT
1998
Springer
15 years 4 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
CSDA
2006
103views more  CSDA 2006»
15 years 16 days ago
LASS: a tool for the local analysis of self-similarity
The Hurst parameter H characterizes the degree of long-range dependence (and asymptotic selfsimilarity) in stationary time series. Many methods have been developed for the estimat...
Stilian Stoev, Murad S. Taqqu, Cheolwoo Park, Geor...