Sciweavers

10271 search results - page 1751 / 2055
» Self-plagiarism in computer science
Sort
View
ENTCS
2007
102views more  ENTCS 2007»
15 years 6 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
184
Voted
IJPP
2007
91views more  IJPP 2007»
15 years 6 months ago
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato...
AUTOMATICA
2002
104views more  AUTOMATICA 2002»
15 years 6 months ago
Who needs QP for linear MPC anyway?
Conventional MPC uses quadratic programming (QP) to minimise, on-line, a cost over n linearly constrained control moves. However, stability constraints often require the use of la...
Basil Kouvaritakis, Mark Cannon, J. Anthony Rossit...
CG
2002
Springer
15 years 6 months ago
Improving progressive view-dependent isosurface propagation
Recently, we proposed a new isosurface extraction algorithm that extracts portions of the isosurface in a viewdependent manner by ray casting and propagation. The algorithm casts ...
Zhiyan Liu, Adam Finkelstein, Kai Li
287
Voted

Publication
351views
17 years 6 months ago
Synthesizable High Level Hardware Descriptions
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
Jennifer Gillenwater, Gregory Malecha, Cherif Sala...
« Prev « First page 1751 / 2055 Last » Next »