Sciweavers

1032 search results - page 125 / 207
» A Category of Explicit Fusions
Sort
View
SPAA
2010
ACM
14 years 23 days ago
Lightweight, robust adaptivity for software transactional memory
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...
Michael F. Spear
ECOOP
2010
Springer
14 years 22 days ago
Essential AOP: The A Calculus
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
Bruno De Fraine, Erik Ernst, Mario Südholt
GECCO
2009
Springer
14 years 16 days ago
Problem decomposition using indirect reciprocity in evolved populations
Evolutionary problem decomposition techniques divide a complex problem into simpler subproblems, evolve individuals to produce subcomponents that solve the subproblems, and then a...
Heather Goldsby, Sherri Goings, Jeff Clune, Charle...
SIGGRAPH
2010
ACM
14 years 12 days ago
Matching fluid simulation elements to surface geometry and topology
We introduce an Eulerian liquid simulation framework based on the Voronoi diagram of a potentially unorganized collection of pressure samples. Constructing the simulation mesh in ...
Tyson Brochu, Christopher Batty, Robert Bridson
PPDP
2001
Springer
14 years 11 days ago
An Implementation of Narrowing Strategies
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
Sergio Antoy, Michael Hanus, Bart Massey, Frank St...