7526 search results - page 174 / 1506 » The Design and Implementation of the A2QM3 System |
207
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
153
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
132
click to vote
PVM
2005
Springer
16 years 1 days ago
2005
Springer
llc is a language designed to extend OpenMP to distributed memory systems. Work in progress on the implementation of a compiler that translates llc code and targets distributed mem...
142
click to vote
IOLTS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes a highly reliable digital circuit design method based on totally self checking blocks implemented in FPGAs. The bases of the self checking blocks are parity p...
164
click to vote
ASYNC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we describe a complete design methodology for a globally asynchronous onchip communication network connecting both locally-synchronous and asynchronous modules. Sync...