2173 search results - page 258 / 435 » An operational semantics for skeletons |
100
click to vote
AI
2005
Springer
15 years 20 days ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
119
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
99
Voted
ICIP
1999
IEEE
16 years 2 months ago
1999
IEEE
A new general-purpose color image segmentation editor (CISE) for the purpose of extracting a semantic object is designed, implemented and tested on a number of various natural sce...
182
Voted
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we present an adaptive load diffusion operator to enable scalable processing of Multiway Windowed Stream Joins (MWSJs) using a cluster system. The load diffusion is...
203
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...