1914 search results - page 1 / 383 » Semantic domains for Handel-C |
ENTCS
2002
13 years 4 months ago
2002
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
ENTCS
2006
13 years 4 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
CASES
2008
ACM
13 years 6 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...
ERCIMDL
2011
Springer
12 years 4 months ago
2011
Springer
In the information retrieval context, resource collections are frequently classified using thesauri. However, the limited semantics provided by thesauri restricts the collection s...