4355 search results - page 159 / 871 » From Interpretation to Compilation |
144
click to vote
PROCEDIA
2010
14 years 11 months ago
2010
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
116
click to vote
COLING
1996
15 years 5 months ago
1996
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
110
click to vote
TCC
2010
Springer
16 years 1 months ago
2010
Springer
Aumann and Lindell defined security against covert attacks, where the adversary is malicious, but is only caught cheating with a certain probability, where the idea is that in man...
132
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
Many real–world information needs are naturally formulated as queries with temporal constraints. However, the structured temporal background information needed to support such c...
140
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
An experimental set of tools that generate instruction set simulators, assemblers, and disassemblers from a single description was developed to test if retargetable development to...