Sciweavers

443 search results - page 53 / 89
» Relations in Concurrency
Sort
View
INFOCOM
1993
IEEE
14 years 1 months ago
Burstiness Bounds for Some Burst Reducing Servers
In [18], we propose a framework to study a stream of trafic or message as it is transferred over an ATM connection. A message is modeled as a deierministic fluid flow, and an ATM ...
Steven H. Low, Pravin Varaiya
VLDB
1990
ACM
104views Database» more  VLDB 1990»
14 years 27 days ago
Hash-Based Join Algorithms for Multiprocessor Computers
This paper studies a number of hash-based join algorithms for general purpose multiprocessor computers with shared memory where the amount of memory allocated to the join operatio...
Hongjun Lu, Kian-Lee Tan, Ming-Chien Shan
BIOWIRE
2007
Springer
14 years 26 days ago
An Artificial Chemistry for Networking
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
Thomas Meyer, Lidia Yamamoto, Christian F. Tschudi...
ESWS
2007
Springer
14 years 23 days ago
SALT - Semantically Annotated LaTeX for Scientific Publications
Machine-understandable data constitutes the foundation for the Semantic Web. This paper presents a viable way for authoring and annotating Semantic Documents on the desktop. In our...
Tudor Groza, Siegfried Handschuh, Knud Möller...
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
14 years 19 days ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba