3056 search results - page 464 / 612 » Compiling Embedded Languages |
252
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
172
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
135
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
257
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
167
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
A stream processor executes an application that has been decomposed into a sequence of kernels that operate on streams of data elements. During the execution of a kernel, all stre...