Sciweavers

271 search results - page 1 / 55
» Architectural dependability evaluation with Arcade
Sort
View
DSN
2008
IEEE
13 years 11 months ago
Architectural dependability evaluation with Arcade
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...
ICECCS
2008
IEEE
115views Hardware» more  ICECCS 2008»
13 years 11 months ago
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...
ICCS
2009
Springer
13 years 2 months ago
Evaluating the Jaccard-Tanimoto Index on Multi-core Architectures
The Jaccard/Tanimoto coefficient is an important workload, used in a large variety of problems including drug design fingerprinting, clustering analysis, similarity web searching a...
Vipin Sachdeva, Douglas M. Freimuth, Chris Mueller
JSW
2007
151views more  JSW 2007»
13 years 4 months ago
Architecture Potential Analysis: A Closer Look inside Architecture Evaluation
— The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of...
Bastian Florentz, Michaela Huhn