2947 search results - page 366 / 590 » Analyzing Program Analyses |
145
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
The University of Missouri–Columbia’s Information and Access Technology (IAT) Services division’s InfoTech Training department measures IT training using the return on inves...
151
Voted
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
173
Voted
POPL
1996
ACM
15 years 10 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
165
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we examine the current computer science curriculum in elementary schools and identify its shortcomings. We then presents a new approach to teaching computer science ...
181
click to vote
IFIP
1989
Springer
15 years 10 months ago
1989
Springer
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....