954 search results - page 138 / 191 » Collaborative execution environment for heterogeneous parall... |
FMCAD
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
BCS
2008
13 years 10 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
HCW
2000
IEEE
14 years 1 months ago
2000
IEEE
Resource selection is fundamental to the performance of master/slave applications. In this paper, we address the problem of promoting performance for distributed master/slave appl...
SASP
2009
IEEE
14 years 3 months ago
2009
IEEE
— As growing power dissipation and thermal effects disrupted the rising clock frequency trend and threatened to annul Moore’s law, the computing industry has switched its route...