336 search results - page 19 / 68 » Program Speedups in Theory and Practice |
115
Voted
SIGSOFT
1994
ACM
15 years 4 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
118
click to vote
CCS
2011
ACM
14 years 13 days ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
92
Voted
ICAD
2004
15 years 1 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
102
click to vote
ETS
2000
IEEE
15 years 8 days ago
2000
IEEE
This paper describes experiences with on-line and in-class sections of a writing-intensive course, including a collaborative library literacy unit. It reports on a mid-semester so...
217
Voted
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...