3130 search results - page 219 / 626 » Design Correctness of Digital Systems |
148
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
114
click to vote
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...
121
click to vote
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
We describe thedesign of a high performance asynchronous SCSI Small Computer Systems Interface controller data path and the associated control circuits. The data path is an asyn...
141
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
132
click to vote
ANLP
2000
15 years 5 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...