5159 search results - page 768 / 1032 » Structural Testing of Executables |
178
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
The performance of data-parallel algorithms for spatial operations using data-parallel variants of the bucket PMR quadtree, R-tree, and R+-tree spatial data structures is compared...
197
click to vote
PODC
1990
ACM
15 years 11 months ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
202
click to vote
ASAP
2007
IEEE
15 years 11 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
199
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Process Mining is a technique for extracting process models from execution logs. This is particularly useful in situations where people have an idealized view of reality....
201
click to vote
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...