618 search results - page 88 / 124 » A Practical Program Transformation System for Reverse Engine... |
140
click to vote
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
140
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
117
click to vote
ACE
2004
15 years 4 months ago
2004
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
154
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
136
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...