442 search results - page 24 / 89 » Model Checking of Systems Employing Commutative Functions |
AHS
2007
IEEE
14 years 14 days ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
MAM
2008
13 years 8 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
CAISE
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
BMAS
2000
IEEE
14 years 26 days ago
2000
IEEE
This paper describes a table-based behavioral modeling method and an efficient transient simulation method for oversampled MEMS systems. A system is represented by a set of coupl...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
In functional Magnetic Resonance Imaging (fMRI), the Hemodynamic Response Function (HRF) represents the impulse response of the neurovascular system. Its identification is essenti...