125 search results - page 22 / 25 » Transforming Normal Programs by Replacement |
86
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
141
Voted
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
117
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
118
Voted
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract – To bring QoS to the Internet, several better-thanbest-effort network services have been recently devised with significant efforts. The goal of this paper is to measure...
115
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...