3865 search results - page 696 / 773 » From Bidirectionality to Alternation |
199
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
169
click to vote
ACG
2006
Springer
16 years 25 days ago
2006
Springer
First, this paper introduces a new family of k-in-a-row games, Connect(m, n, k, p, q). In Connect(m, n, k, p, q), two players alternately place p stones on an m × n board in each ...
216
click to vote
CF
2006
ACM
16 years 24 days ago
2006
ACM
Packet processing systems maintain high throughput despite relatively high memory latencies by exploiting the coarse-grained parallelism available between packets. In particular, ...
173
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
209
click to vote
SCESM
2006
ACM
16 years 24 days ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...