558 search results - page 62 / 112 » Compiling Resources in a Linear Logic Programming Language |
144
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
139
Voted
CASES
2004
ACM
15 years 5 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
100
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
107
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...