Sciweavers

1177 search results - page 191 / 236
» Massively parallel computing using commodity components
Sort
View
IPPS
2008
IEEE
14 years 2 months ago
Model-guided performance tuning of parameter values: A case study with molecular dynamics visualization
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
Yiinju L. Nelson, Bhupesh Bansal, Mary W. Hall, Ai...
CONCUR
1999
Springer
13 years 12 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
MIDDLEWARE
2007
Springer
14 years 1 months ago
SPS: a middleware for multi-user sensor systems
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
Salman Taherian, Jean Bacon
TOG
2008
94views more  TOG 2008»
13 years 7 months ago
Wavelet turbulence for fluid simulation
We present a novel wavelet method for the simulation of fluids at high spatial resolution. The algorithm enables large- and smallscale detail to be edited separately, allowing hig...
Theodore Kim, Nils Thürey, Doug L. James, Mar...
PPSN
1994
Springer
13 years 11 months ago
Genetic L-System Programming
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
Christian Jacob