Sciweavers

6834 search results - page 288 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
AAECC
2007
Springer
87views Algorithms» more  AAECC 2007»
15 years 6 months ago
Towards an accurate performance modeling of parallel sparse factorization
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
Laura Grigori, Xiaoye S. Li
WER
2010
Springer
15 years 4 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
STTT
2011
195views more  STTT 2011»
15 years 1 months ago
Parallel probabilistic model checking on general purpose graphics processors
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski,...
APSEC
1998
IEEE
15 years 11 months ago
A Computing Model for Distributed Processing Systems and Its Application
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
Hisashi Okada, Hiromichi Iwata, Haruo Toyama, Yosh...
ER
1998
Springer
123views Database» more  ER 1998»
15 years 11 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...