Sciweavers

1041 search results - page 148 / 209
» Object Oriented Parallel Programming
Sort
View
LICS
2009
IEEE
15 years 8 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»
15 years 3 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...
120
Voted
PPSN
2004
Springer
15 years 7 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»
15 years 15 days 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
15 years 8 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...