595 search results - page 64 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
149
click to vote
MICRO
1995
IEEE
15 years 6 months ago
1995
IEEE
Software prefetching, typically in the context of numericor loop-intensive benchmarks, has been proposed as one remedy for the performance bottleneck imposed on computer systems b...
135
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
142
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a generic module, called Fast Collect. Fast Collect is an implementation of Single-Writer Multi-Reader (SWMR) Shared-Memory in an asynchronous system in which a process...
114
click to vote
CVPR
1997
IEEE
16 years 5 months ago
1997
IEEE
We consider how tracking in stereo may be enhanced by coupling pairs of active contours in different views via affine epipolar geometry and various subsets of planar affine transf...
118
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...