Sciweavers

1336 search results - page 72 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
99
Voted
NOLISP
2007
Springer
15 years 9 months ago
On the Usefulness of Linear and Nonlinear Prediction Residual Signals for Speaker Recognition
This paper compares the identification rates of a speaker recognition system using several parameterizations, with special emphasis on the residual signal obtained from linear and...
Marcos Faúndez-Zanuy
ICDCS
2007
IEEE
15 years 9 months ago
A Multiphased Approach for Modeling and Analysis of the BitTorrent Protocol
BitTorrent is one of the most popular protocols for content distribution and accounts for more than 15% of the total Internet traffic. In this paper, we present an analytical mod...
Vivek Rai, Swaminathan Sivasubramanian, Sandjai Bh...
ISPW
2007
IEEE
15 years 9 months ago
Comparative Experiences with Electronic Process Guide Generator Tools
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
Monvorath Phongpaibul, Supannika Koolmanojwong, Al...
150
Voted
FOSSACS
2007
Springer
15 years 9 months ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
DAC
2008
ACM
16 years 4 months ago
Stochastic modeling of a thermally-managed multi-core system
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
Hwisung Jung, Peng Rong, Massoud Pedram