172 search results - page 20 / 35 » A type and effect system for deterministic parallel Java |
137
Voted
CC
2003
Springer
15 years 7 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
136
Voted
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
116
click to vote
PPSN
1994
Springer
15 years 6 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
134
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Humans continuously assess one another's situational context, modify their own affective state, and then respond based on these outcomes through empathetic expression. Virtua...
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—Small talk is an important social lubricant that helps people, especially strangers, initiate conversations and make friends with each other in physical proximity. However, due ...