Sciweavers

15787 search results - page 207 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
102
Voted
PEPM
2000
ACM
15 years 7 months ago
Type-Based Useless Variable Elimination
Naoki Kobayashi
136
Voted
PEPM
2000
ACM
15 years 7 months ago
Symbolic Pointer Analysis for Detecting Memory Leaks
Bernhard Scholz, Johann Blieberger, Thomas Fahring...
118
Voted
CSMR
1997
IEEE
15 years 7 months ago
Year 2000
Paolo Nesi
92
Voted
AADEBUG
1995
Springer
15 years 7 months ago
High-Level Views of Distributed Executions
Thomas Kunz
103
Voted
AMAST
1995
Springer
15 years 7 months ago
Petri Nets, Traces, and Local Model Checking
Allan Cheng