92 search results - page 7 / 19 » Specifying and Compiling Applications for RaPiD |
FCCM
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
108
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents language features for High Performance Fortran HPF to specify non-local access patterns of distributed arrays, called halos, and to control the communication as...
130
click to vote
CSFW
2011
IEEE
14 years 29 days ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
134
click to vote
CC
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
116
click to vote
NAACL
1994
15 years 2 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...