4690 search results - page 86 / 938 » An operational semantics for Scheme |
211
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
167
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
149
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Due to the development of Next Generation Networks, leading to a multiservice transport layer with a multidomain environment, the importance of interconnection issues ke...
181
click to vote
SIROCCO
1998
15 years 7 months ago
1998
A distributed counter is a concurrent object which provides a fetch-and-increment operation on a shared value. On the basis of a distributed counter, one can implement various fun...
217
click to vote
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a novel method for optimizing sliding window based continuous queries. We deal with two categories of aggregation operations: stepwise aggregation (e.g. COUNT) ...