Sciweavers

3317 search results - page 227 / 664
» Strategies in Rigid-Variable Methods
Sort
View
HASE
2007
IEEE
16 years 28 days ago
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Ali Ebnenasir, Betty H. C. Cheng
ICRA
2007
IEEE
144views Robotics» more  ICRA 2007»
16 years 27 days ago
Improved Data Association for ICP-based Scan Matching in Noisy and Dynamic Environments
— This paper presents a technique to improve the data association in the Iterative Closest Point [2] based scan matching. The method is based on a distance-filter constructed on...
Diego Rodríguez-Losada, Javier Minguez
ICRA
2007
IEEE
118views Robotics» more  ICRA 2007»
16 years 27 days ago
Scheduling Analysis of Cluster Tools with Buffer/Process Modules
— Modeling and scheduling of cluster tools are critical to improving the productivity and to enhancing the design of wafer processing flows and equipment for semiconductor manuf...
Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Z...
QEST
2007
IEEE
16 years 26 days ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter
BIRTHDAY
2007
Springer
16 years 23 days ago
Orderings and Constraints: Theory and Practice of Proving Termination
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
Cristina Borralleras, Albert Rubio