93 search results - page 7 / 19 » Terminating alternator |
DBPL
2007
Springer
15 years 3 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
ISCC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper studies the effect of rerouting for augmenting aggregate based resource allocation in the trade-off between overhead and utilization. Aggregation is a common approach t...
JNW
2008
14 years 11 months ago
2008
This paper studies the effect of rerouting for augmenting aggregate based resource allocation in the trade-off between overhead and utilization. Aggregation is a common approach us...
ESOP
2009
Springer
15 years 3 months ago
2009
Springer
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
SIGSOFT
2008
ACM
16 years 13 days ago
2008
ACM
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...