3972 search results - page 246 / 795 » Design of the iSCSI Protocol |
146
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
147
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
The design of ubiquitous and embedded computers focuses on cost factors such as area, power-consumption, and performance. Security and trust properties, on the other hand, are oft...
147
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
The Research Consortium in Speckled Computing is a multidisciplinary grouping of computer scientists, electronic engineers, physicists and electrochemists with the aim of realising...
201
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
141
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...