9626 search results - page 437 / 1926 » Invariant Based Programming |
140
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a worm simulator which can be run remotely through the web, based on the parameters supplied by the client. The core simulator program executes on the server and sim...
181
click to vote
PADL
2005
Springer
16 years 8 days ago
2005
Springer
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
182
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
177
click to vote
AOSD
2006
ACM
16 years 23 days ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
190
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...