Sciweavers

2918 search results - page 264 / 584
» Design tools for reliability analysis
Sort
View
BIOADIT
2004
Springer
15 years 11 months ago
Distributed Central Pattern Generator Model for Robotics Application Based on Phase Sensitivity Analysis
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
Jonas Buchli, Auke Jan Ijspeert
DANCE
2002
IEEE
15 years 11 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
WSC
2004
15 years 7 months ago
Comparative Factory Analysis of Standard FOUP Capacities
Wafers in a 300-mm semiconductor fabrication facility are transported throughout the factory in carriers called front opening unified pods (FOUPs). Two standard capacities of FOUP...
Kranthi Mitra Adusumilli, Robert L. Wright
ENTCS
2008
156views more  ENTCS 2008»
15 years 6 months ago
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management
The Flexible Resource Manager (FRM) is a dynamic resource management approach that allows a better utilization of the available resources. However, it necessitates an atomic recon...
Hermann Simon Lichte, Simon Oberthür
171
Voted
IFIP
2010
Springer
15 years 27 days ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...