1783 search results - page 308 / 357 » Provenance and Data Synchronization |
133
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Peer review meetings (PRMs) are formal meetings during which peers systematically analyze artifacts to improve their quality and report on non-conformities. This paper presents an...
166
Voted
CL
2007
Springer
15 years 3 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
136
Voted
IJHPCN
2006
15 years 3 months ago
2006
Abstract-- The performance of collective communication operations is known to have a significant impact on the scalability of some applications. Indeed, the global, synchronous nat...
124
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
108
Voted
DEBU
2007
15 years 3 months ago
2007
We present an overview of the embeddability features of SQL Anywhere, a full-function relational database system designed for frontline business environments with minimal administ...