3521 search results - page 319 / 705 » Algorithmic Control in Concurrent Computations |
242
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
144
Voted
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
—Semantic Web Services (SWS) aim at the automated discovery and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions. However,...
122
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
127
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Phylospaces is a novel framework for reconstructing evolutionary trees in tuple space, a distributed shared memory that permits processes to communicate and coordinate with each o...
141
click to vote
PPOPP
2006
ACM
15 years 11 months ago
2006
ACM
We present two new nonblocking and contention-free implementations of synchronous queues, concurrent transfer channels in which producers wait for consumers just as consumers wait...