Sciweavers

1316 search results - page 40 / 264
» Analytic performance models for bounded queueing systems
Sort
View
ICPR
2002
IEEE
15 years 11 months ago
Motion Prediction Using VC-Generalization Bounds
This paper describes a novel application of Statistical Learning Theory (SLT) for motion prediction. SLT provides analytical VC-generalization bounds for model selection; these bo...
Harry Wechsler, Zoran Duric, Fayin Li, Vladimir Ch...
ISCA
2007
IEEE
146views Hardware» more  ISCA 2007»
16 years 4 days ago
Automated design of application specific superscalar processors: an analytical approach
Analytical modeling is applied to the automated design of application-specific superscalar processors. Using an analytical method bridges the gap between the size of the design sp...
Tejas Karkhanis, James E. Smith
HICSS
2003
IEEE
93views Biometrics» more  HICSS 2003»
15 years 11 months ago
Performance of Bluetooth Bridges in Scatternets With Exhaustive Service Scheduling
— The performance of two Bluetooth piconets linked through a bridge device is analyzed using the tools of queueing theory. We analyze both the Master/Slave (MS) and Slave/Slave (...
Jelena V. Misic, Vojislav B. Misic
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 2 hour ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
ICALP
2007
Springer
16 years 3 days ago
Checking and Spot-Checking the Correctness of Priority Queues
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
Matthew Chu, Sampath Kannan, Andrew McGregor