Sciweavers

1886 search results - page 139 / 378
» Verifying and Validating Simulation Models
Sort
View
WSC
2007
15 years 9 days ago
Importance sampling of compounding processes
Compounding processes, also known as perpetuities, play an important role in many applications; in particular, in time series analysis and mathematical finance. Apart from some s...
Jose Blanchet, Bert Zwart
ACTA
2006
108views more  ACTA 2006»
14 years 10 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
CN
2006
83views more  CN 2006»
14 years 10 months ago
A generic characterization of the overheads imposed by IPsec and associated cryptographic algorithms
This paper presents an assessment of the communication overheads of IPsec and evaluates the feasibility of deploying it on handheld devices for the UMTS architecture. A wide range...
Christos Xenakis, Nikolaos Laoutaris, Lazaros F. M...
ICMCS
2006
IEEE
125views Multimedia» more  ICMCS 2006»
15 years 4 months ago
Online Doubletalk Detector Calibration for Acoustic Echo Cancellation in Videoconferencing Systems
This paper addresses the problem of doubletalk detector calibration for acoustic echo cancellers in hands-free environments such as videoconferencing. A statistical model of a rec...
James D. Gordy, Rafik A. Goubran
HOTI
2005
IEEE
15 years 3 months ago
A Scalable, Self-Routed, Terabit Capacity, Photonic Interconnection Network
We present SPINet (Scalable Photonic Integrated Network), an optical switching architecture particularly designed for photonic integration. The performance of SPINet-based network...
Assaf Shacham, Benjamin G. Lee, Keren Bergman