290 search results - page 22 / 58 » A Denotational Semantics for Handel-C |
208
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
WSPI
2004
15 years 1 months ago
2004
Abstract. The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential...
FLAIRS
2007
15 years 2 months ago
2007
The paper presents a conceptual solution and an implementation for acquiring, modeling, publishing, retrieving, reusing and maintaining knowledge within XWiki, an open source coll...
106
click to vote
EPK
2006
15 years 1 months ago
2006
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Wh-phrases in English have two important properties: first, they can appear both raised and in-situ; second, while in-situ wh-phrases can take semantic scope beyond the immediately...