162 search results - page 21 / 33 » A Relational Approach to the Compilation of Sparse Matrix Pr... |
111
click to vote
SIGPRO
2010
14 years 10 months ago
2010
This short note studies a variation of the Compressed Sensing paradigm introduced recently by Vaswani et al., i.e. the recovery of sparse signals from a certain number of linear m...
PLDI
2000
ACM
15 years 3 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper suggests a new approach for bitstream processing of embedded systems, using a combination of C++ metaprogramming combined with architecture extensions of an customiza...
86
Voted
ACMMSP
2004
ACM
15 years 5 months ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
121
click to vote
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...