Sciweavers

696 search results - page 77 / 140
» Model driven development with Ada
Sort
View
PPOPP
2005
ACM
15 years 8 months ago
Performance modeling and optimization of parallel out-of-core tensor contractions
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J...
110
Voted
GCC
2003
Springer
15 years 7 months ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
Shengrong Zou
AINA
2007
IEEE
15 years 8 months ago
Reliability-Driven Scheduling of Periodic Tasks in Heterogeneous Real-Time Systems
In this paper we comprehensively investigated the issue of reliability-driven real-time scheduling for periodic tasks in heterogeneous systems. First, we built a reliability model...
Wei Luo, Xiao Qin, Kiranmai Bellam
143
Voted
MODELS
2010
Springer
15 years 9 days ago
transML: A Family of Languages to Model Model Transformations
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos,...
126
Voted
AIED
2007
Springer
15 years 8 months ago
Assessing Learning in a Peer-Driven Tutoring System
In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, h...
Ari Bader-Natal, Jordan B. Pollack