Sciweavers

3281 search results - page 185 / 657
» An Approach to use Executable Models for Testing
Sort
View
ICPR
2004
IEEE
16 years 7 months ago
Robust Modelling of Local Image Structures and Its Application to Medical Imagery
A robust modelling method for detecting and measuring isotropic, linear features and bifurcations is described and applied to analysing 2d eletrophoresis and retinal images. Featu...
Li Wang, Abhir Bhalerao, Roland Wilson
ICCAD
1999
IEEE
86views Hardware» more  ICCAD 1999»
15 years 11 months ago
A framework for testing core-based systems-on-a-chip
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
Srivaths Ravi, Ganesh Lakshminarayana, Niraj K. Jh...
MODELS
2009
Springer
16 years 1 months ago
Modeling Heterogeneous Points of View with ModHel'X
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
Frédéric Boulanger, Christophe Jacqu...
BIBE
2007
IEEE
113views Bioinformatics» more  BIBE 2007»
16 years 28 days ago
Quantitative and Probabilistic Modeling in Pathway Logic
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...
DKE
2010
112views more  DKE 2010»
15 years 6 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar