2007 search results - page 145 / 402 » Using general-purpose programming languages for FPGA design |
227
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
117
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
106
Voted
SOSP
1997
ACM
15 years 4 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
111
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
139
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...