Search Sciweavers | Sciweavers

1497 search results - page 11 / 300

» A Computational Model for Message Passing

click to vote

CSL
2004
Springer

122views Automated Reasoning» more CSL 2004»

Parameterized Model Checking of Ring-Based Message Passing Systems

14 years 2 months ago

Download userweb.cs.utexas.edu

The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of ﬁnite, but arbitrarily many,...

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

click to vote

CSE
2008
IEEE

76views Theoretical Computer Science» more CSE 2008»

Passing Messages to Lonely Numbers

13 years 9 months ago

Download www.physics.ox.ac.uk

Heiko Bauke

claim paper

Read More »

click to vote

BICA
2010

177views Cognitive Science» more BICA 2010»

Implementing First-Order Variables in a Graphical Cognitive Architecture

13 years 4 months ago

Download cs.usc.edu

Graphical cognitive architectures implement their functionality through localized message passing among computationally limited nodes. First-order variables

Paul S. Rosenbloom

claim paper

Read More »

click to vote

ICDCN
2009
Springer

80views Distributed and Parallel Com...» more ICDCN 2009»

Snap-Stabilization in Message-Passing Systems

14 years 3 months ago

Download deneb.cs.kent.edu

Sylvie Delaët, Stéphane Devismes, Mikh...

claim paper

Read More »