1362 search results - page 232 / 273 » The Projection of Systolic Programs |
174
click to vote
ENTCS
2007
15 years 1 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
118
click to vote
KI
2006
Springer
15 years 1 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
NAR
2006
15 years 1 months ago
2006
We have developed a web tool, PupaSuite, for the selection of single nucleotide polymorphisms (SNPs) with potential phenotypic effect, specifically oriented to help in the design ...
106
click to vote
SIAMSC
2008
15 years 1 months ago
2008
The basis pursuit problem seeks a minimum one-norm solution of an underdetermined least-squares problem. Basis pursuit denoise (BPDN) fits the least-squares problem only approximat...
110
click to vote
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...