2774 search results - page 337 / 555 » Query-Driven Program Testing |
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
114
click to vote
ICPP
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...
118
click to vote
NCA
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
112
click to vote
AADEBUG
2005
Springer
15 years 7 months 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...
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. There are several computer programs that align mRNA with its genomic counterpart to determine exon boundaries. Though most of these programs perform such alignment effici...