5171 search results - page 129 / 1035 » Deterministic Parallel Processing |
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
A one-counter automaton is a pushdown automaton over a singleton stack alphabet. We prove that the bisimilarity of processes generated by nondeterministic one-counter automata (wit...
DEBS
2011
ACM
2011
ACM
DejaVu: a complex event processing system for pattern matching over live and historical data streams
12 years 11 months ago
This short paper provides an overview of the DejaVu complex event processing (CEP) system, with an emphasis on its novel architecture and query optimization techniques for correla...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
GPC
2009
Springer
13 years 6 months ago
2009
Springer
Mashups, a new web 2.0 technology provide the ability for easy creation of web-based applications by end-users. The uses of the mashups are often consumer related. In this paper w...
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...