4934 search results - page 313 / 987 » Implementing an API for Distributed Adaptive Computing Syste... |
205
click to vote
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
200
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
—Oblivious routing can be implemented on simple router hardware, but network performance suffers when routes become congested. Adaptive routing attempts to avoid hot spots by re-...
280
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
With the shift to many-core chip multiprocessors (CMPs), a critical issue is how to effectively coordinate and manage the execution of applications and hardware resources to overc...
179
click to vote
PPAM
2005
Springer
16 years 22 days ago
2005
Springer
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
199
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we analyze the role of the social group in a Ubiquitous Computing (Ubicomp) environment as a source of contextual information. A model is presented to address the s...