Sciweavers

6939 search results - page 366 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
117
Voted
PPOPP
2006
ACM
15 years 9 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
152
Voted
PDP
2005
IEEE
15 years 9 months ago
Practicable Layouts for Optimal Circulant Graphs
Circulant graphs have been deeply studied in technical literature. Midimew networks are a class of distancerelated optimal circulant graphs of degree four which have applications ...
Enrique Vallejo, Ramón Beivide, Carmen Mart...
141
Voted
CLOUD
2010
ACM
15 years 8 months ago
Google fusion tables: data management, integration and collaboration in the cloud
Google Fusion Tables is a cloud-based service for data management and integration. Fusion Tables enables users to upload tabular data files (spreadsheets, CSV, KML), currently of...
Hector Gonzalez, Alon Y. Halevy, Christian S. Jens...
138
Voted
SC
2000
ACM
15 years 8 months ago
Performance Modeling and Tuning of an Unstructured Mesh CFD Application
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...
William Gropp, Dinesh K. Kaushik, David E. Keyes, ...
141
Voted
ICWS
2010
IEEE
15 years 5 months ago
Highly Scalable Web Service Composition Using Binary Tree-Based Parallelization
Data intensive applications, e.g. in life sciences, pose new efficiency challenges to the service composition problem. Since today computing power is mainly increased by multiplica...
Patrick Hennig, Wolf-Tilo Balke