4764 search results - page 569 / 953 » Applications of Error-Control Coding |
146
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Exception handling mechanisms are intended to support the development of robust software. However, the implementation of such mechanisms with aspectoriented (AO) programming might ...
153
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
117
click to vote
FAST
2007
15 years 6 months ago
2007
Present day applications that require reliable data storage use one of five commonly available RAID levels to protect against data loss due to media or disk failures. With a mark...
167
click to vote
PDPTA
2007
15 years 6 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
167
click to vote
CDES
2006
15 years 6 months ago
2006
Compilation has a long history of translating a programmer's human-readable code into machine instructions designed to make good use of a specific target computer. In this pa...