8766 search results - page 1507 / 1754 » Functional logic programming |
126
click to vote
PEPM
2000
ACM
15 years 7 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...
124
click to vote
AIPS
2007
15 years 5 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...
118
click to vote
ASPDAC
2005
ACM
15 years 5 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...
108
click to vote
HIPEAC
2010
Springer
15 years 5 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 ...
144
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...