6274 search results - page 587 / 1255 » Proofs, Programs, Processes |
188
Voted
INFSOF
2000
15 years 7 months ago
2000
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
187
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
197
click to vote
APL
1993
ACM
15 years 11 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
199
Voted
AADEBUG
2005
Springer
16 years 26 days ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
173
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Wrappers are mechanisms for introducing new behavior that is executed before and/or after, and perhaps even in lieu of, an existing method. This paper examines several ways to impl...