481 search results - page 42 / 97 » Differential symbolic execution |
117
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
84
Voted
ECIS
2003
15 years 1 months ago
2003
Business Schools are experiencing increased competitive pressures, and one way to differentiate and compete distinctively is through the adoption of innovative uses of information...
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
118
Voted
PPOPP
1999
ACM
15 years 4 months ago
1999
ACM
Divide and conquer algorithms are a good match for modern parallel machines: they tend to have large amounts of inherent parallelism and they work well with caches and deep memory...
121
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....