2007 search results - page 172 / 402 » Using general-purpose programming languages for FPGA design |
110
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
133
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
122
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
152
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
120
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...