1411 search results - page 85 / 283 » A Value Analysis for C Programs |
128
click to vote
PDCN
2004
15 years 5 months ago
2004
Computational steering environments (CSEs) allow users to interact with applications executing in batch mode. Interaction with an application includes viewing intermediate results...
112
Voted
IJCAI
2007
15 years 5 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
148
Voted
RIDE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a method of automatically creating hypermedia documents from conventional transcriptions of television programs. Using parallel text alignment techniques, the ...
151
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
133
click to vote
WSC
1996
15 years 5 months ago
1996
Sequential analysis of simulation output is generally accepted as the most efficient way for securing representativeness of samples of collected observations. In this scenario a s...