4586 search results - page 378 / 918 » Computing stable models in parallel |
159
click to vote
SOFSEM
2000
Springer
15 years 8 months ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...
153
click to vote
PDCAT
2009
Springer
15 years 11 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
179
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
— Geometric shape modeling becomes increasingly complex and resource-demanding task. In this paper we propose a method to leverage the power of Grid to provide users with high-pr...
141
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
The last decade has witnessed a rapid proliferation of superscalar cache-based microprocessors to build high-end computing (HEC) platforms, primarily because of their generality, ...
165
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...