7167 search results - page 1272 / 1434 » A Technique for Invariant Generation |
210
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...
186
click to vote
NPAR
2006
ACM
16 years 1 months ago
2006
ACM
We present techniques to create convincing high-quality watercolor illustrations of plants. Mainly focusing on the real-time rendering, we introduce methods to abstract the visual...
180
click to vote
CODES
2005
IEEE
16 years 22 days ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
204
click to vote
DSN
2005
IEEE
16 years 22 days ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
197
click to vote
IPPS
2005
IEEE
16 years 21 days ago
2005
IEEE
Multimedia extensions (MME) are architectural extensions to general-purpose processors to boost the performance of multimedia workloads. Today, in-line assembly code, intrinsic fu...