4895 search results - page 753 / 979 » Functional Quantum Programming |
114
click to vote
PEPM
2000
ACM
15 years 6 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
118
click to vote
AIPS
2007
15 years 4 months ago
2007
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...
110
click to vote
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
— We develop a realizable circuit reduction to generate the interconnect macro-model for parasitic estimation in wideband applications. The inductance is represented by VPEC (vec...
103
Voted
HIPEAC
2010
Springer
15 years 4 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
117
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...