57 search results - page 12 / 12 » Automatic On-chip Memory Minimization for Data Reuse |
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
ISPASS
2003
IEEE
13 years 10 months ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...