481 search results - page 39 / 97 » acm 1994 |
ASSETS
1994
ACM
14 years 26 days ago
1994
ACM
ls of abstraction which make up a graphical user interface. The Power of GUIs For much of their history, computers have been capable of presenting only textual and numeric data to ...
SIGCSE
1994
ACM
14 years 25 days ago
1994
ACM
An experiment in collaborative learning was conducted in two introductory programming courses at Loyola College in Maryland. Data collected included background information on stud...
STOC
1994
ACM
14 years 7 days ago
1994
ACM
We indicate strong non-approximability factors for central problems: N1/4 for Max Clique; N1/10 for Chromatic Number; and 66/65 for Max 3SAT. Underlying the Max Clique result is a...
DAC
1994
ACM
14 years 26 days ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
DAC
1994
ACM
14 years 26 days ago
1994
ACM
-- In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis...