Sciweavers

1580 search results - page 78 / 316
» Modules for Crosscutting Models
Sort
View
IPMI
1999
Springer
14 years 4 days ago
Physiologically Oriented Models of the Hemodynamic Response in Functional MRI
Today, most studies of cognitive processes using functional MRI (fMRI) experiments adopt highly flexible stimulation designs, where not only the activation amount but also the tim...
Frithjof Kruggel, D. Yves von Cramon
CPHYSICS
2011
267views Education» more  CPHYSICS 2011»
12 years 11 months ago
Fast alignment of a complex tracking detector using advanced track models
The inner silicon detector of the Compact Muon Solenoid experiment (CMS) at CERN’s LHC consists of 16 588 modules. Charged-particle tracks in the detector are used to improve th...
Volker Blobel, Claus Kleinwort, Frank Meier
IPPS
2007
IEEE
14 years 2 months ago
A Markov Reward Model for Software Reliability
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
YoungMin Kwon, Gul Agha
CIE
2005
Springer
14 years 1 months ago
A Network Model of Analogue Computation over Metric Algebras
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
J. V. Tucker, Jeffery I. Zucker
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
13 years 11 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...