1256 search results - page 103 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
193
click to vote
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
149
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
147
click to vote
ANSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Efficient scheduling of jobs on parallel processors is essential for good performance. However, design of such schedulers is challenging because of the complex interaction between...
124
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recent brain imaging studies on primates revealed that a network of brain areas is activated both during observation and during execution of movements. The present work aims at...
140
click to vote
MATES
2005
Springer
15 years 9 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...