1015 search results - page 77 / 203 » Syntactic Control of Concurrency |
117
Voted
ENTCS
2008
15 years 4 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
154
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
132
click to vote
AAAI
1993
15 years 5 months ago
1993
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...
115
click to vote
COLING
1992
15 years 5 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
108
click to vote
JC
2006
15 years 4 months ago
2006
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...