Sciweavers

14782 search results - page 2701 / 2957
» Activities in Object Bases
Sort
View
153
Voted
PROCEDIA
2010
119views more  PROCEDIA 2010»
15 years 5 months ago
Performance and accuracy of Lattice-Boltzmann kernels on multi- and manycore architectures
We present different kernels based on Lattice-Boltzmann methods for the solution of the twodimensional Shallow Water and Navier-Stokes equations on fully structured lattices. The...
Dirk Ribbrock, Markus Geveler, Dominik Göddek...
PVM
2010
Springer
15 years 5 months ago
Communication Target Selection for Replicated MPI Processes
Abstract. VolpexMPI is an MPI library designed for volunteer computing environments. In order to cope with the fundamental unreliability of these environments, VolpexMPI deploys tw...
Rakhi Anand, Edgar Gabriel, Jaspal Subhlok
SERA
2010
Springer
15 years 5 months ago
Process Patterns for MDA-Based Software Development
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
Mohsen Asadi, Naeem Esfahani, Raman Ramsin
SSIRI
2010
15 years 5 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
SYNTHESE
2010
65views more  SYNTHESE 2010»
15 years 5 months ago
Williamson's Woes
This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the au...
Neil Tennant
« Prev « First page 2701 / 2957 Last » Next »