Sciweavers

1041 search results - page 148 / 209
» Object Oriented Parallel Programming
Sort
View
LICS
2009
IEEE
14 years 4 months ago
Substructural Operational Semantics as Ordered Logic Programming
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
Frank Pfenning, Robert J. Simmons
SBACPAD
2004
IEEE
93views Hardware» more  SBACPAD 2004»
13 years 11 months ago
FlowCert : Probabilistic Certification for Peer-to-Peer Computations
Large scale cluster, Peer-to-Peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem o...
Sébastien Varrette, Jean-Louis Roch, Franck...
PPSN
2004
Springer
14 years 3 months ago
Constrained Evolutionary Optimization by Approximate Ranking and Surrogate Models
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...
Thomas Philip Runarsson
TOH
2010
108views more  TOH 2010»
13 years 8 months ago
Haptic Classification of Facial Identity in 2D Displays: Configural versus Feature-Based Processing
—Participants learned through feedback to haptically classify the identity of upright versus inverted versus scrambled faces depicted in simple 2D raised-line displays. We invest...
Tara A. McGregor, Roberta L. Klatzky, Cheryl L. Ha...
LCPC
2007
Springer
14 years 4 months ago
Associative Parallel Containers in STAPL
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
Gabriel Tanase, Chidambareswaran Raman, Mauro Bian...