Sciweavers

1000 search results - page 125 / 200
» Relationship Model of Abstractions Used for Developing Domai...
Sort
View
DATE
2009
IEEE
119views Hardware» more  DATE 2009»
14 years 5 days ago
Predictive models for multimedia applications power consumption based on use-case and OS level analysis
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
Patrick Bellasi, William Fornaciari, David Siorpae...
ICCS
2005
Springer
14 years 2 months ago
Model-Based Statistical Testing of a Cluster Utility
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
W. Thomas Swain, Stephen L. Scott
AAAI
1990
13 years 10 months ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso
SIGSOFT
2009
ACM
14 years 9 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
LREC
2010
146views Education» more  LREC 2010»
13 years 10 months ago
The Semantic Atlas: an Interactive Model of Lexical Representation
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...
Sabine Ploux, Armelle Boussidan, Hyungsuk Ji