9166 search results - page 268 / 1834 » A framework for comparing models of computation |
144
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
164
click to vote
HPCC
2010
Springer
15 years 4 months ago
2010
Springer
Managing the execution of scientific applications in a heterogeneous grid computing environment can be a daunting task, particularly for long running jobs. Increasing fault tolera...
108
click to vote
TOG
2010
14 years 11 months ago
2010
This paper introduces a fully-Eulerian interface tracking framework that preserves the fine details of liquids. Unlike existing Eulerian methods, the proposed framework shows good...
171
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
148
click to vote
3DIM
2005
IEEE
15 years 6 months ago
2005
IEEE
3D interactive modeling from range data aims at simultaneously producing and visualizing the surface model of an object while data is collected. The current research challenge is ...