3852 search results - page 615 / 771 » Construction of Codes for Network Coding |
146
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
190
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
182
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
194
click to vote
SPIN
2007
Springer
16 years 18 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
173
click to vote
WSFM
2007
Springer
16 years 18 days ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...