1160 search results - page 157 / 232 » Applying Constraint Solving to the Management of Distributed... |
152
click to vote
ECOOP
2011
Springer
14 years 4 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
143
click to vote
CF
2006
ACM
15 years 8 months ago
2006
ACM
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...
134
click to vote
ICPP
2007
IEEE
15 years 11 months ago
2007
IEEE
Sequence alignment is a fundamental problem in the computational biology. Many alignment methods have been proposed in the literature, such as pair-wise sequence alignment (2SA), ...
140
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
User-centered consultation systems can be viewed as systems with trust in the competence of the user, whereas conventional knowledge systems are often based on some mistrust. By o...
160
click to vote
LSSC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Grid computing is a form of distributed computing that involves coordinating and sharing computing, application, data storage or network resources across dynamic and geog...