5159 search results - page 671 / 1032 » Structural Testing of Executables |
203
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
174
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...
176
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
164
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
208
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...