Sciweavers

2958 search results - page 314 / 592
» Extending and Implementing RASP
Sort
View
TPDS
1998
114views more  TPDS 1998»
15 years 3 months 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
138
Voted
EKAW
2010
Springer
15 years 2 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...
ER
2010
Springer
129views Database» more  ER 2010»
15 years 2 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...
131
Voted
JCS
2010
121views more  JCS 2010»
15 years 1 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
168
Voted
SPRINGSIM
2010
15 years 1 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...