Sciweavers

4074 search results - page 27 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
ISCAS
2005
IEEE
114views Hardware» more  ISCAS 2005»
15 years 3 months ago
Behavioural modelling, simulation, test and diagnosis of MEMS using ANNs
Vanco B. Litovski, Mark Zwolinski, Miona Andrejevi...
ATVA
2007
Springer
112views Hardware» more  ATVA 2007»
15 years 3 months ago
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces
Scott Little, David Walter, Kevin Jones, Chris J. ...
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
14 years 7 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
ENTCS
2006
137views more  ENTCS 2006»
14 years 9 months ago
Coalgebraic Description of Generalized Binary Methods
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
Furio Honsell, Marina Lenisa, Rekha Redamalla
ISBI
2009
IEEE
15 years 4 months ago
A New Interactive Method for Coronary Arteries Segmentation Based on Tubular Anisotropy
In this paper we present a new interactive method for tubular structure extraction. The main application and motivation for this work is vessel tracking in 3D medical images. The ...
Fethallah Benmansour, Laurent D. Cohen