Sciweavers

11328 search results - page 129 / 2266
» Timed Branching Processes
Sort
View
108
Voted
ASPDAC
2008
ACM
102views Hardware» more  ASPDAC 2008»
15 years 4 months ago
Duo-binary circular turbo decoder based on border metric encoding for WiMAX
- This paper presents a duo-binary circular turbo decoder based on border metric encoding. With the proposed method, the memory size for branch memory is reduced by half and the du...
Ji-Hoon Kim, In-Cheol Park
CPC
2007
101views more  CPC 2007»
15 years 3 months ago
Colouring Random 4-Regular Graphs
We show that a random 4-regular graph asymptotically almost surely (a.a.s.) has chromatic number 3. The proof uses an efficient algorithm which a.a.s. 3colours a random 4-regular ...
Lingsheng Shi, Nicholas C. Wormald
JNS
2007
63views more  JNS 2007»
15 years 3 months ago
Finite-Gap Solutions of the Vortex Filament Equation: Isoperiodic Deformations
We study the topology of quasiperiodic solutions of the vortex filament equation in a neighborhood of multiply covered circles. We construct these solutions by means of a sequence...
A. Calini, T. Ivey
159
Voted
FUIN
2010
163views more  FUIN 2010»
15 years 22 days ago
Equational Reasoning on Mobile Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
SRDS
1997
IEEE
15 years 7 months ago
Availability Analysis of Transaction Processing Systems based on User-Perceived Performance
Transaction processing systems are judged by users to be correctly functioning not only if their transactions are executed correctly, but also if most of them are completed within...
Varsha Mainkar