3865 search results - page 696 / 773 » From Bidirectionality to Alternation |
168
click to vote
LICS
2006
IEEE
16 years 5 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...
148
click to vote
ACG
2006
Springer
16 years 4 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 ...
193
click to vote
CF
2006
ACM
16 years 4 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, ...
160
click to vote
SAC
2006
ACM
16 years 3 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...
187
Voted
SCESM
2006
ACM
16 years 3 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...