Sciweavers

683 search results - page 71 / 137
» Vulnerability Analysis of High Dimensional Complex Systems
Sort
View
101
Voted
RTCSA
2000
IEEE
15 years 5 months ago
Scheduling optional computations in fault-tolerant real-time systems
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mo...
134
Voted
CASCON
2008
255views Education» more  CASCON 2008»
15 years 2 months ago
Autonomic tuning expert: a framework for best-practice oriented autonomic database tuning
Databases are growing rapidly in scale and complexity. High performance, availability, and further service level agreements need to be satisfied under any circumstances to please ...
David Wiese, Gennadi Rabinovitch, Michael Reichert...
113
Voted
ACSAC
2001
IEEE
15 years 4 months ago
Information Flow Analysis of Component-Structured Applications
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
Peter Herrmann
91
Voted
AEI
1998
98views more  AEI 1998»
15 years 11 days ago
Function-directed electrical design analysis
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
Chris J. Price
103
Voted
FORTE
2008
15 years 2 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...