Sciweavers

1951 search results - page 75 / 391
» Decoupling Change from Design
Sort
View
112
Voted
DSD
2002
IEEE
103views Hardware» more  DSD 2002»
15 years 8 months ago
On the Fundamental Design Gap in Terabit per Second Packet Switching
We discuss the gap we experience in an industrial design path of high-speed packet switches. As bandwidth demand exceeds progress in CMOS technology, system architects are forced ...
M. Verhappen, P. H. A. van der Putten, Jeroen Voet...
117
Voted
ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
15 years 8 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
119
Voted
JFR
2007
103views more  JFR 2007»
15 years 3 months ago
Evolving interface design for robot search tasks
This paper describes two steps in the evolution of human-robot interaction designs developed by the University of Massachusetts Lowell (UML) and the Idaho National Laboratory (INL...
Holly A. Yanco, Brenden Keyes, Jill L. Drury, Curt...
JDCTA
2008
75views more  JDCTA 2008»
15 years 3 months ago
Design and Simulation of Novel Single-Input Sampling Instance Control Circuit
This paper proposes a novel single-input sampling instance control circuit used in primary-side controller of Switch Mode Power Supplies (SMPS) without optical-coupler and seconda...
Xiuxiu Dong, Tiejun Lu, Guicai Hu
121
Voted
INFSOF
2007
83views more  INFSOF 2007»
15 years 3 months ago
On the design of more secure software-intensive systems by use of attack patterns
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
Michael Gegick, Laurie Williams