Sciweavers

1015 search results - page 5 / 203
» Syntactic Control of Concurrency
Sort
View
ICDE
2005
IEEE
143views Database» more  ICDE 2005»
16 years 5 months ago
Postgres-R(SI): Combining Replica Control with Concurrency Control based on Snapshot Isolation
Replicating data over a cluster of workstations is a powerful tool to increase performance, and provide faulttolerance for demanding database applications. The big challenge in su...
Shuqing Wu, Bettina Kemme
111
Voted
KBSE
2005
IEEE
15 years 10 months ago
Application of design for verification with concurrency controllers to air traffic control software
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...
CEEMAS
2003
Springer
15 years 9 months ago
A Multi-agent Modal Language for Concurrency with Non-communicating Agents
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
Stefano Borgo
AAAI
1994
15 years 5 months ago
L* Parsing: A General Framework for Syntactic Analysis of Natural Language
We describe a new algorithm for table-driven parsing with context-free grammars designed to support efficient syntactic analysis of natural language. The algorithm provides a gene...
Eric K. Jones, Linton M. Miller