3943 search results - page 377 / 789 » Architecture-Level Requirements Specification |
162
click to vote
HPCA
2005
IEEE
16 years 7 months ago
2005
IEEE
Many important applications exhibit large amounts of data parallelism, and modern computer systems are designed to take advantage of it. While much of the computation in the multi...
236
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
New and emerging P2P applications require sophisticated range query capability and also have strict requirements on query correctness, system availability and item availability. W...
149
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Managing scientific data warehouses requires constant adaptations to cope with changes in processing algorithms, computing environments, database schemas, and usage patterns. We h...
177
click to vote
PODS
2006
ACM
16 years 7 months ago
2006
ACM
The most acute information management challenges today stem from organizations relying on a large number of diverse, interrelated data sources, but having no means of managing the...
158
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...