Sciweavers

1861 search results - page 298 / 373
» Performance modeling of component assemblies
Sort
View
APN
2007
Springer
15 years 4 months ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
SAFECOMP
2007
Springer
15 years 3 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
15 years 3 months ago
Snake-Like Units Using Flexible Backbones and Actuation Redundancy for Enhanced Miniaturization
— This paper reports some recent analysis and modeling results obtained while developing a tele-robotic system for minimally invasive surgery of the throat. One of the main enabl...
Nabil Simaan
PPOPP
2005
ACM
15 years 3 months ago
Energy conservation in heterogeneous server clusters
The previous research on cluster-based servers has focused on homogeneous systems. However, real-life clusters are almost invariably heterogeneous in terms of the performance, cap...
Taliver Heath, Bruno Diniz, Enrique V. Carrera, Wa...
EDCC
2005
Springer
15 years 3 months ago
Structure-Based Resilience Metrics for Service-Oriented Networks
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Ja...