4586 search results - page 817 / 918 » Computing stable models in parallel |
138
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
143
click to vote
HPCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Large-scale CMPs with hundreds of cores require a directory-based protocol to maintain cache coherence. However, previously proposed coherence directories are hard to scale beyond...
211
click to vote
ICDCS
2012
IEEE
13 years 4 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
150
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
133
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...