2701 search results - page 438 / 541 » On the form of witness terms |
169
click to vote
ASPLOS
2010
ACM
16 years 28 days ago
2010
ACM
A traditional fixed-function graphics accelerator has evolved into a programmable general-purpose graphics processing unit over the last few years. These powerful computing cores...
173
click to vote
CGO
2008
IEEE
16 years 27 days ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
165
click to vote
CGO
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
139
click to vote
CGO
2008
IEEE
16 years 27 days ago
2008
IEEE
In the embedded domain, custom hardware in the form of ASICs is often used to implement critical parts of applications when performance and energy efficiency goals cannot be met ...
191
click to vote
FOCS
2008
IEEE
16 years 27 days ago
2008
IEEE
Learning problems form an important category of computational tasks that generalizes many of the computations researchers apply to large real-life data sets. We ask: what concept ...