11097 search results - page 355 / 2220 » Hera presentation generator |
198
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciļ...
160
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an approach to deļ¬ne template languages for generating syntactically correct code. In the ļ¬rst part of the paper, we deļ¬ne the syntax and semantics of a ...
170
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a generic methodology for the rapid generation and implementation of standard cell libraries for differential circuit design styles. We demonstrate a syst...
179
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
186
click to vote
MTV
2005
IEEE
16 years 12 days ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...