Sciweavers

6549 search results - page 191 / 1310
» Parsimonious additive models
Sort
View
RTSS
2007
IEEE
16 years 23 days ago
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems
— We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
ICPP
2006
IEEE
16 years 16 days ago
A Performance Model of the Krak Hydrodynamics Application
We present an analytic performance model of a largescale hydrodynamics code developed at Los Alamos National Laboratory. This modeling work is part of an ongoing effort to develop...
Kevin J. Barker, Scott Pakin, Darren J. Kerbyson
ITS
2004
Springer
94views Multimedia» more  ITS 2004»
15 years 12 months ago
A Model for Student Knowledge Diagnosis Through Adaptive Testing
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...
Eduardo Guzmán, Ricardo Conejo
COOPIS
2002
IEEE
15 years 11 months ago
Runtime Performance Modeling and Measurement of Adaptive Distributed Object Applications
Distributed applications that can adapt at runtime to changing quality of service (QoS) require a model of the expected QoS and of the possible application adaptations. QoS models ...
John A. Zinky, Joseph P. Loyall, Richard Shapiro
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 11 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...