2943 search results - page 285 / 589 » Software Implementation of Synchronous Programs |
101
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Searching for applications that are highly relevant to development tasks is challenging because the high-level intent reflected in the descriptions of these tasks doesn’t usual...
127
Voted
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thre...
141
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
132
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
123
click to vote
CLUSTER
2007
IEEE
15 years 10 months ago
2007
IEEE
— OpenMP can be supported in cluster environments by using distributed shared memory (DSM) systems. A portable approach for building DSM systems is to layer it on MPI. With these...