Sciweavers

4166 search results - page 374 / 834
» A modular module system
Sort
View
CSMR
2006
IEEE
16 years 26 days ago
Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...
CIMCA
2005
IEEE
16 years 12 days ago
Scenario Based Fault Detection in Context-Aware Ubiquitous Systems using Bayesian Networks
We define the use of Bayesian Networks for fault detection in the perception mechanism of context-aware ubiquitous systems. This paper1 describes the complete working of such a f...
Bilal Ahmed, Young-Koo Lee, Sungyoung Lee, Yonil Z...
206
Voted
ISSS
1995
IEEE
115views Hardware» more  ISSS 1995»
15 years 10 months ago
A system level design methodology for the optimization of heterogeneous multiprocessors
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
Markus Schwiegershausen, Peter Pirsch
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 8 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
AROBOTS
2008
78views more  AROBOTS 2008»
15 years 7 months ago
Reaching with multi-referential dynamical systems
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...
Micha Hersch, Aude Billard