Sciweavers

1033 search results - page 61 / 207
» Improving Performance of Data Analysis in Data Warehouses: A...
Sort
View
IPPS
2005
IEEE
14 years 1 months ago
Performance Analysis of MPI Collective Operations
Previous studies of application usage show that the performance of collective communications are critical for high-performance computing and are often overlooked when compared to ...
Jelena Pjesivac-Grbovic, Thara Angskun, George Bos...
RTSS
2003
IEEE
14 years 29 days ago
Experimental Evaluation of Code Properties for WCET Analysis
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
Antoine Colin, Stefan M. Petters
FM
2001
Springer
108views Formal Methods» more  FM 2001»
14 years 5 days ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
PC
1998
110views Management» more  PC 1998»
13 years 7 months ago
Compiler-Based Tools for Analyzing Parallel Programs
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
Brian Armstrong, Seon Wook Kim, Insung Park, Micha...
ICC
2009
IEEE
109views Communications» more  ICC 2009»
14 years 2 months ago
Carrier-Sense ARQ: Squeezing Out Bluetooth Performance While Preserving Standard Compliancy
—In this paper, we propose a simple and standard compliant retransmission mechanism, called Carrier–Sense Automatic Repeat reQuest (CS–ARQ), which aims at improving system pe...
Andrea Zanella