Sciweavers

1861 search results - page 298 / 373
» Performance modeling of component assemblies
Sort
View
APN
2007
Springer
16 years 13 days 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
16 years 11 days 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 12 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 11 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 11 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...