7776 search results - page 118 / 1556 » Maintaining Maintainability |
141
click to vote
HT
1999
ACM
15 years 10 months ago
1999
ACM
We propose a structure analysis and proof framework for hypertext with conditional linkage. This framework can provide hypertext systems with a powerful and simple tool to help th...
153
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Estimating switching activity is a crucial step in optimizing circuits for low power. In this paper, a fast gate level switching activity estimator for combinational circuits will...
115
click to vote
SIGCSE
1999
ACM
15 years 10 months ago
1999
ACM
We describe a computing facility created, supported, maintained, and used entirely by undergraduatestudents. This facility exists outside of the instructional support system,so th...
138
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
101
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a bottom-up approach to multimedia teachware creation, that is completely based on self-descriptive media objects. Especially the lack of any static linkage bet...