24286 search results - page 4704 / 4858 » Research as Design-Design as Research |
191
click to vote
DT
2000
15 years 6 months ago
2000
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
176
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The first morphological learner based upon the theory of Whole Word Morphology (Ford et al., 1997) is outlined, and preliminary evaluation results are presented. The program, Whol...
207
click to vote
ENTCS
2000
15 years 6 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
195
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Conventional optical networks are based on SONET rings, but since rings are known to use bandwidth inefficiently, there has been much research into shared mesh protection, which pr...
229
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Supporting awareness of others is an idea that holds promise for improving the usability of real-time distributed groupware. However, there is little principled information availa...