Sciweavers

2958 search results - page 314 / 592
» Extending and Implementing RASP
Sort
View
TPDS
1998
114views more  TPDS 1998»
15 years 8 days ago
On the Automatic Parallelization of the Perfect Benchmarks
We present a set of advanced program parallelization techniques that are able to signi cantly improve the performance of application programs. We present evidence for this improve...
Rudolf Eigenmann, Jay Hoeflinger, David A. Padua
108
Voted
EKAW
2010
Springer
14 years 11 months ago
Weaving a Social Data Web with Semantic Pingback
In this paper we tackle some of the most pressing obstacles of the emerging Linked Data Web, namely the quality, timeliness and coherence as well as direct end user benefits. We p...
Sebastian Tramp, Philipp Frischmuth, Timofey Ermil...
109
Voted
ER
2010
Springer
129views Database» more  ER 2010»
14 years 11 months ago
Specifying Aggregation Functions in Multidimensional Models with OCL
Multidimensional models are at the core of data warehouse systems, since they allow decision makers to early define the relevant information and queries that are required to satis...
Jordi Cabot, Jose-Norberto Mazón, Jes&uacut...
JCS
2010
121views more  JCS 2010»
14 years 11 months ago
Computational soundness of symbolic zero-knowledge proofs
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
Michael Backes, Dominique Unruh
131
Voted
SPRINGSIM
2010
14 years 11 months ago
GTNA: a framework for the graph-theoretic network analysis
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
Benjamin Schiller, Dirk Bradler, Immanuel Schweize...