1077 search results - page 43 / 216 » Hardware code generation from dataflow programs |
133
click to vote
ENTCS
2006
15 years 1 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
111
click to vote
MICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
123
click to vote
ISCAPDCS
2001
15 years 3 months ago
2001
One purpose of the end-user tools described in this paper is to give users a graphical representation of performance information that has been gathered by instrumenting an applica...
114
click to vote
IWMM
2004
Springer
15 years 7 months ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
106
Voted
IJCAI
2003
15 years 3 months ago
2003
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...