4340 search results - page 66 / 868 » Designing for change |
108
Voted
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
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 ...
99
Voted
KIC
2000
15 years 4 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...
133
Voted
CHI
1998
ACM
15 years 7 months ago
1998
ACM
We explore some of the complex issues surrounding the design and use of multimedia and Internet-based learning resources in distance education courses. We do so by analysing our e...
117
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Protein structure prediction and computational protein design require efficient yet sufficiently accurate descriptions of aqueous solvent. We continue to evaluate the ...
114
Voted
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
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...