2797 search results - page 541 / 560 » Code query by example |
136
click to vote
POPL
2000
ACM
15 years 4 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
78
Voted
SIGCPR
1999
ACM
15 years 4 months ago
1999
ACM
This paper addresses the diffusion of Knowledge Management concepts, principles, and cases into university courses. Although we are now living in a world of gigabit transmission s...
101
click to vote
HCW
1998
IEEE
15 years 4 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...
107
click to vote
MICRO
1997
IEEE
15 years 3 months ago
1997
IEEE
Compiler optimizations are often driven by specific assumptions about the underlying architecture and implementation of the target machine. For example, when targeting shared-mem...