Sciweavers

4451 search results - page 417 / 891
» Performance Modeling for Entity-Level Simulations
Sort
View
VTC
2008
IEEE
278views Communications» more  VTC 2008»
15 years 11 months ago
Error Detection Reliability of LTE CRC Coding
—The error detection performance of CRC coding in LTE with general two-level early stopping algorithms for turbo decoding is investigated. Analytical models for the probability o...
Jung-Fu Cheng, Havish Koorapaty
QEST
2006
IEEE
15 years 11 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
Frank Ciesinski, Christel Baier
INFOCOM
2003
IEEE
15 years 10 months ago
Blocking Probabilities of Optical Burst Switching Networks Based on Reduced Load Fixed Point Approximations
— This paper provides a framework for analysis and performance evaluation of Optical Burst Switching (OBS) networks. In particular, a new reduced load fixed point approximation ...
Zvi Rosberg, Hai Le Vu, Moshe Zukerman, Jolyon Whi...
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
15 years 8 months ago
VHDL quality: synthesizability, complexity and efficiency evaluation
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
M. Mastretti
122
Voted
TWC
2008
95views more  TWC 2008»
15 years 4 months ago
Talk burst control for push-to-talk over cellular
Abstract--Push-to-talk over Cellular (PoC) is a "walkietalkie"-like service designed for mobile networks. In this service, the speak permission is arbitrated through the ...
Meng-Hsun Tsai, Yi-Bing Lin