Sciweavers

3883 search results - page 166 / 777
» Design mentoring based on design evolution analysis
Sort
View
CODAS
2001
100views more  CODAS 2001»
13 years 10 months ago
Set-Based Access Conflicts Analysis of Concurrent Workflow Definition
An error-comprising workflow dejinition might provoke serious problems to an enterprise especially when it is involved with mission critical business processes. Concurrency of wor...
Minkyu Lee, Dongsoo Han, Jaeyong Shim
ATVA
2008
Springer
121views Hardware» more  ATVA 2008»
13 years 11 months ago
Model Based Importance Analysis for Minimal Cut Sets
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
Eckard Böde, Thomas Peikenkamp, Jan Rakow, Sa...
IPPS
2007
IEEE
14 years 3 months ago
ExPert: Dynamic Analysis Based Fault Location via Execution Perturbations
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
Neelam Gupta, Rajiv Gupta
IPPS
2009
IEEE
14 years 3 months ago
High-level estimation and trade-off analysis for adaptive real-time systems
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
Ingo Sander, Jun Zhu, Axel Jantsch, Andreas Herrho...
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
13 years 7 months ago
Observability analysis of relative localization for AUVs based on ranging and depth measurements
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...