3575 search results - page 531 / 715 » Modeling Concurrency with Geometry |
178
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
155
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
156
click to vote
IEAAIE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
232
click to vote
CHI
2004
ACM
15 years 11 months ago
2004
ACM
As ubiquitous computing technology migrates into the home environment, there has been a concurrent effort to allow users to build and customize such technologies to suit their own...
136
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose an adaptive 1-to-many negotiation strategy for multiagent coalition formation in dynamic, uncertain, real-time, and noisy environments. Our strategy focuses on multi-is...