Sciweavers

28888 search results - page 220 / 5778
» Computability and complexity in analysis
Sort
View
RTSS
2008
IEEE
14 years 2 months ago
WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches
With the advent of increasingly complex hardware in realtime embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), ...
Damien Hardy, Isabelle Puaut
FOCS
2005
IEEE
14 years 2 months ago
Towards a Final Analysis of Pairing Heaps
Fredman, Sedgewick, Sleator, and Tarjan proposed the pairing heap as a self-adjusting, streamlined version of the Fibonacci heap. It provably supports all priority queue operation...
Seth Pettie
INFOCOM
2005
IEEE
14 years 1 months ago
On static reachability analysis of IP networks
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Z...
FTDCS
2003
IEEE
14 years 1 months ago
Analysis of Parallel Downloading for Large File Distribution
Recently, the scheme of parallel downloading (PD) has been adopted by a number of Internet file downloading applications. With the wide deployment of content distribution network...
Simon G. M. Koo, Catherine Rosenberg, Dongyan Xu
DAGM
2003
Springer
14 years 1 months ago
Empirical Analysis of Detection Cascades of Boosted Classifiers for Rapid Object Detection
Recently Viola et al. have introduced a rapid object detection scheme based on a boosted cascade of simple feature classifiers. In this paper we introduce and empirically analysis ...
Rainer Lienhart, Alexander Kuranov, Vadim Pisarevs...