3388 search results - page 468 / 678 » Type-theoretic design patterns |
153
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
In the past few years since Adleman’s pioneering work on solving the HPP(Hamiltonian Path Problem) with a DNA-based computer [1], many algorithms have been designed on solving NP...
193
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
This is a project for developing a distributed job execution environment for highly iterative jobs. An iterative job is one where the same binary code is run hundreds of times wit...
153
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
With the proliferation of online multimedia content and the popularity of multimedia streaming systems, it is increasingly useful to be able to skim and browse multimedia quickly....
193
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
168
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...