1833 search results - page 225 / 367 » Mechanized Verification with Sharing |
165
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
A classic example of multiagent coordination in a shared environment involves the use of pheromone deposits as a communication mechanism. Due to physical limitations in deploying ...
180
click to vote
GRID
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an architecture for service hosting on virtual clusters spanning multiple administrative domains that balances the requirements of application developers and r...
174
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Runtime characteristics of individual threads (such as IPC, cache usage, etc.) are a critical factor in making efficient scheduling decisions in modern chip-multiprocessor systems...
178
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
In this technical demonstration, we showcase a multimedia search engine that facilitates semantic access to archival rock n' roll concert video. The key novelty is the crowds...
165
click to vote
IJWGS
2008
15 years 6 months ago
2008
: In the situation of information overload we are experiencing today, conventional web search systems taking a one-size-fits-all approach are often not capable of effectively satis...