1310 search results - page 82 / 262 » On a Class of Traceability Codes |
DM
2008
13 years 10 months ago
2008
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...
TIT
2002
13 years 9 months ago
2002
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...
UML
2001
Springer
14 years 2 months ago
2001
Springer
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...
PLDI
2000
ACM
14 years 2 months ago
2000
ACM
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...
JMM2
2007
13 years 10 months ago
2007
—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 ...