4344 search results - page 349 / 869 » The resourcefulness of everyday design |
175
click to vote
SC
2003
ACM
16 years 1 days ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
166
click to vote
SIGUCCS
2003
ACM
16 years 1 days ago
2003
ACM
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
167
click to vote
EMSOFT
2003
Springer
16 years 23 hour ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
180
click to vote
ICSOC
2003
Springer
16 years 11 hour ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
200
click to vote
SSDBM
2010
IEEE
15 years 12 months ago
2010
IEEE
Science is becoming data-intensive, requiring new software architectures that can exploit resources at all scales: local GPUs for interactive visualization, server-side multi-core ...