2007 search results - page 281 / 402 » Using general-purpose programming languages for FPGA design |
107
click to vote
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
JAVA
1999
Springer
15 years 2 months ago
1999
Springer
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...