2500 search results - page 195 / 500 » Specifying Behavior in C |
126
Voted
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...
111
Voted
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
115
click to vote
IWMM
1998
Springer
15 years 7 months ago
1998
Springer
We show that for 8 real and varied C and C++ programs, several conventional dynamic storage allocators provide nearzero fragmentation, once we account for overheads due to impleme...
140
Voted
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
101
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Management of grid resource information is a challenging and important area considering the potential size of the grid and wide range of resources that should be represented. Thou...