5831 search results - page 930 / 1167 » Distributed Dynamic Backtracking |
167
click to vote
PPAM
2007
Springer
16 years 11 days ago
2007
Springer
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
158
click to vote
PVM
2007
Springer
16 years 11 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
150
Voted
SAMT
2007
Springer
16 years 11 days ago
2007
Springer
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...
184
click to vote
SERA
2007
Springer
16 years 11 days ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
150
click to vote
VLDB
2007
ACM
16 years 11 days ago
2007
ACM
Data outsourcing is emerging today as a successful paradigm allowing users and organizations to exploit external services for the distribution of resources. A crucial problem to b...