15614 search results - page 2804 / 3123 » The State of State |
168
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
170
click to vote
WDAG
2007
Springer
16 years 26 days ago
2007
Springer
Consider a distributed network of n nodes that is connected to a global source of “beats”. All nodes receive the “beats” simultaneously, and operate in lock-step. A scheme ...
184
click to vote
WOLLIC
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
184
click to vote
AICCSA
2006
IEEE
16 years 25 days ago
2006
IEEE
Today most multiplayer game servers are pre-located statically, which makes it hard for gamers to find equi-ping hosts for their matches. This is especially important for first per...
168
click to vote
APCSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...