Sciweavers

3565 search results - page 325 / 713
» Modeling a system controller for timing analysis
Sort
View
FSTTCS
2010
Springer
15 years 2 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
CSE
2011
IEEE
14 years 4 months ago
Performance Modeling of Hybrid MPI/OpenMP Scientific Applications on Large-scale Multicore Cluster Systems
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...
Xingfu Wu, Valerie E. Taylor
HASE
1997
IEEE
15 years 8 months ago
Verifying Fault-Tolerant Behavior of State Machines
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...
Mario Dal Cin
EDM
2010
160views Data Mining» more  EDM 2010»
15 years 6 months ago
Using Neural Imaging and Cognitive Modeling to Infer Mental States while Using an Intelligent Tutoring System
Functional magnetic resonance imaging (fMRI) data were collected while students worked with a tutoring system that taught an algebra isomorph. A cognitive model predicted the distr...
Jon M. Fincham, John R. Anderson, Shawn Betts, Jen...
BMCBI
2005
178views more  BMCBI 2005»
15 years 4 months ago
A quantization method based on threshold optimization for microarray short time series
Background: Reconstructing regulatory networks from gene expression profiles is a challenging problem of functional genomics. In microarray studies the number of samples is often ...
Barbara Di Camillo, Fatima Sanchez-Cabo, Gianna To...