2365 search results - page 296 / 473 » All things are connected |
163
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
147
click to vote
NCA
2007
IEEE
16 years 26 days ago
2007
IEEE
Exponentially growing bandwidth requirements and slowing gains in processor speeds have led to the popularity of multiprocessor architectures. Network stack parallelism is increas...
166
click to vote
QEST
2007
IEEE
16 years 26 days ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
182
click to vote
SASO
2007
IEEE
16 years 26 days ago
2007
IEEE
Many unstructured peer to peer (P2P) systems rely on a Peer Sampling Service (PSS) that returns randomly sampled nodes from the population comprising the system. PSS protocols are...
166
click to vote
SEFM
2007
IEEE
16 years 26 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...