Sciweavers

1310 search results - page 82 / 262
» On a Class of Traceability Codes
Sort
View
DM
2008
125views more  DM 2008»
15 years 4 months ago
Difference systems of sets and cyclotomy
Difference Systems of Sets (DSS) are combinatorial configurations that arise in connection with code synchronization. A method for the construction of DSS from partitions of cycli...
Yukiyasu Mutoh, Vladimir D. Tonchev
TIT
2002
77views more  TIT 2002»
15 years 4 months ago
Capacity-achieving sequences for the erasure channel
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...
P. Oswald, A. Shokrollahi
UML
2001
Springer
15 years 8 months ago
iState: A Statechart Translator
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
Emil Sekerinski, Rafik Zurob
PLDI
2000
ACM
15 years 8 months ago
Type-based race detection for Java
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
Cormac Flanagan, Stephen N. Freund
JMM2
2007
115views more  JMM2 2007»
15 years 4 months ago
Scalable Video Streaming Traffic Delivery in IP/UMTS Networking Environments
—The paper discusses the end-to-end QoS provisioning for scalable video streaming traffic delivery over heterogeneous IP/UMTS networks. A prototype architecture is proposed, and ...
Thomas Pliakas, George Kormentzas, Charalabos Skia...