Sciweavers

1490 search results - page 175 / 298
» Models and Algorithms for Optical and Optoelectronic Paralle...
Sort
View
CONCUR
1999
Springer
14 years 14 days ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
SC
2000
ACM
14 years 16 days ago
Performance Modeling and Tuning of an Unstructured Mesh CFD Application
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...
William Gropp, Dinesh K. Kaushik, David E. Keyes, ...
PPSN
2010
Springer
13 years 6 months ago
Feature Selection for Multi-purpose Predictive Models: A Many-Objective Task
The target of machine learning is a predictive model that performs well on unseen data. Often, such a model has multiple intended uses, related to different points in the tradeoff ...
Alan P. Reynolds, David W. Corne, Michael J. Chant...
HPDC
2007
IEEE
14 years 2 months ago
A provisioning model and its comparison with best-effort for performance-cost optimization in grids
The resource availability in Grids is generally unpredictable due to the autonomous and shared nature of the Grid resources and stochastic nature of the workload resulting in a be...
Gurmeet Singh, Carl Kesselman, Ewa Deelman
CVPR
2009
IEEE
14 years 2 months ago
Catadioptric Projectors
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
Yuanyuan Ding, Jing Xiao, Kar-Han Tan, Jingyi Yu