2007 search results - page 135 / 402 » Using general-purpose programming languages for FPGA design |
FPL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A smart transducer network hosts various nodes with different functionality. Our approach offers the possibility to design different smart transducer nodes as a system...
225
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
177
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
130
click to vote
GPCE
2003
Springer
15 years 8 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
121
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...