Sciweavers

861 search results - page 92 / 173
» Polymorphic Time Systems for Estimating Program Complexity
Sort
View
ASPLOS
1992
ACM
14 years 1 months ago
Efficient Superscalar Performance Through Boosting
The foremost goal of superscalar processor design is to increase performance through the exploitation of instruction-level parallelism (ILP). Previous studies have shown that spec...
Michael D. Smith, Mark Horowitz, Monica S. Lam
CVPR
1999
IEEE
14 years 11 months ago
Bayesian Multi-Camera Surveillance
The task of multi-camera surveillance is to reconstruct the paths taken by all moving objects that are temporarily visible from multiple non-overlapping cameras. We present a Baye...
Vera Kettnaker, Ramin Zabih
RTAS
2008
IEEE
14 years 3 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
ICASSP
2009
IEEE
14 years 3 months ago
Oscillator Phase Noise compensation using Kalman tracking
Phase Noise (PN) is a serious challenge in wireless transmission systems as it can cause significant degradation of the system performance. Recent publications propose iterative ...
Steffen Bittner, Andreas Frotzscher, Gerhard Fettw...
CCS
2005
ACM
14 years 2 months ago
A rewriting-based inference system for the NRL protocol analyzer: grammar generation
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
Santiago Escobar, Catherine Meadows, José M...