Sciweavers

91 search results - page 11 / 19
» A Systematic Framework for Grammar Testing
Sort
View
DATE
2009
IEEE
167views Hardware» more  DATE 2009»
15 years 4 months ago
Analyzing the impact of process variations on parametric measurements: Novel models and applications
Abstract—In this paper we propose a novel statistical framework to model the impact of process variations on semiconductor circuits through the use of process sensitive test stru...
Sherief Reda, Sani R. Nassif
FSKD
2006
Springer
125views Fuzzy Logic» more  FSKD 2006»
15 years 1 months ago
Towards Security Evaluation Based on Evidence Collection
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
Reijo Savola
MODELS
2007
Springer
15 years 3 months ago
Reconciling TGGs with QVT
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
Joel Greenyer, Ekkart Kindler
BIRD
2008
Springer
113views Bioinformatics» more  BIRD 2008»
14 years 11 months ago
Matching Spatial Regions with Combinations of Interacting Gene Expression Patterns
The Edinburgh Mouse Atlas aims to capture in-situ gene expression patterns in a common spatial framework. In this study, we construct a grammar to define spatial regions by combina...
Jano I. van Hemert, Richard A. Baldock
SIMPAR
2010
147views Robotics» more  SIMPAR 2010»
14 years 7 months ago
Exploration Strategies for a Robot with a Continously Rotating 3D Scanner
To benchmark the efficiency of exploration strategies one has to use robot simulators. In an exploration task, the robot faces an unknown environment. Of course one could test the ...
Elena Digor, Andreas Birk, Andreas Nüchter