2007 search results - page 167 / 402 » Using general-purpose programming languages for FPGA design |
205
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
133
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...
141
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
221
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
136
Voted
APL
1993
ACM
15 years 7 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...