Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Automatic Recognition of Intermittent Failures: An Experimental Study of Field Data
IEEE Transactions on Computers
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Policy optimization for dynamic power management
DAC '98 Proceedings of the 35th annual Design Automation Conference
Dynamic power management based on continuous-time Markov decision processes
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Dynamic power management of complex systems using generalized stochastic Petri nets
Proceedings of the 37th Annual Design Automation Conference
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach
IEEE Transactions on Parallel and Distributed Systems
Near-optimal adaptive control of a large grid application
ICS '02 Proceedings of the 16th international conference on Supercomputing
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Model-Based Control of Adaptive Applications: An Overview
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction
LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
Measurement-based Analysis of Networked System Availability
Performance Evaluation: Origins and Directions
Efficient Reachability Set Generation and Storage Using Decision Diagrams
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
An Adaptive Framework for Tunable Consistency and Timeliness Using Replication
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Performance Evaluation of a Probabilistic Replica Selection Algorithm
WORDS '02 Proceedings of the The Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002)
Reduced state-space markov decision process and the dynamic recovery and reconfiguration of a distributed real-time system
Program control language: a programming language for adaptive distributed applications
Journal of Parallel and Distributed Computing
Parallel program performance prediction using deterministic task graph analysis
ACM Transactions on Computer Systems (TOCS)
An Architectural Framework for Providing Reliability and Security Support
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
An architectural framework for detecting process hangs/crashes
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A control-based middleware framework for quality-of-service adaptations
IEEE Journal on Selected Areas in Communications
Delta execution for software reliability
HotDep'07 Proceedings of the 3rd workshop on on Hot Topics in System Dependability
Hi-index | 0.00 |
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as a design goal. Nevertheless, systems are expected to be dependable, and if dependability could be provided at a lower cost, many applications would stand to benefit. We believe that compiler techniques can be used to create novel and enhance existing dependability mechanisms to create a wider range of cost/dependability tradeoffs than is currently available. Similarly, compilers can assist in the area of error detection by expanding the range of errors that can be detected. New compiler techniques, combined with model-driven adaptation and control mechanisms, can be used to dynamically guide a systemas itmakes choices, with cost, dependability, and performance tradeoffs, in response to the occurrence of faults and changes in the environment. This paper reports on a new project that is exploring the approach. The broad goal of the work is to create a powerful yet flexible runtime environment for dependable and high- performance systems that operate within much lower cost constraints than is currently possible.