4139 search results - page 285 / 828 » Designing and Implementing Combinator Languages |
151
click to vote
JSA
2007
15 years 5 months ago
2007
This paper presents a multi-language framework to FPGA hardware development which aims to satisfy the dual requirement of high level hardware design and efficient hardware impleme...
133
click to vote
AAAI
2010
15 years 6 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
244
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
168
click to vote
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...
135
click to vote
CASES
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...