544 search results - page 16 / 109 » On the structure of generalized toric codes |
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
CASES
2007
ACM
13 years 9 months ago
2007
ACM
Aggressive compiler optimizations such as software pipelining and loop invariant code motion can significantly improve application performance, but these transformations often re...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We introduce SoftGUESS, a code clone exploration system. SoftGUESS is built on the more general GUESS system which provides users with a mechanism to interactively explore graph s...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
LCTRTS
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...