Sciweavers

2425 search results - page 282 / 485
» Practical performance models for complex, popular applicatio...
Sort
View
CCGRID
2008
IEEE
16 years 1 months ago
Overlapping Communication and Computation with High Level Communication Routines
Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non...
Torsten Hoefler, Andrew Lumsdaine
PPAM
2007
Springer
16 years 22 days ago
Cloth Simulation in the SILC Matrix Computation Framework: A Case Study
This paper presents a case study of numerical simulations in an easy-to-use matrix computation framework named Simple Interface for Library Collections (SILC), which allows users t...
Tamito Kajiyama, Akira Nukada, Reiji Suda, Hidehik...
ICDT
2009
ACM
121views Database» more  ICDT 2009»
15 years 4 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
ISPASS
2005
IEEE
16 years 6 days ago
Analysis of Network Processing Workloads
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
Ramaswamy Ramaswamy, Ning Weng, Tilman Wolf
CSMR
2002
IEEE
15 years 11 months ago
Reengineering to the Web: A Reference Architecture
Reengineering existing (large-scale) applications to the web is a complex and highly challenging task. This is due to a variety of mostly demanding requirements for interactive we...
Uwe Zdun