3889 search results - page 414 / 778 » The Use of Program Dependence Graphs in Software Engineering |
190
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tas...
172
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
224
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
170
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
212
click to vote
AC
2000
Springer
15 years 11 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...