762 search results - page 8 / 153 » Conditionally correct superoptimization |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Convolutional network-error correcting codes (CNECCs) are known to provide error correcting capability in acyclic instantaneous networks within the network coding paradigm under sm...
FM
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
JACIII
2007
13 years 10 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
NOSSDAV
2005
Springer
14 years 4 months ago
2005
Springer
Packet loss can severely impact streaming video quality. Repair techniques protect streaming video from packet loss but at the price of a reduced effective transmission rate when...
FM
2006
Springer
14 years 2 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...