Procedural texture mapping on FPGAs
FPGA '99 Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays
A practical one-semester “VLSI design” course for computer science (and other) majors
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Dynamic space management for user interfaces
UIST '00 Proceedings of the 13th annual ACM symposium on User interface software and technology
Proceedings of the 14th international symposium on Systems synthesis
Reducing Quantum Computations to Elementary Unitary Operations
Computing in Science and Engineering
CDR: A Rewriting Based Tool to Design FPLA Circuits
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Using rapid prototyping in computer architecture design laboratories
WCAE-2 '96 Proceedings of the 1996 workshop on Computer architecture education
Computer engineering curriculum at Oakland University
WCAE-2 '96 Proceedings of the 1996 workshop on Computer architecture education
Mobile robot path-planning implementation in software and hardware
ISPRA'07 Proceedings of the 6th WSEAS International Conference on Signal Processing, Robotics and Automation
Mobile robot path-planning implementation in software and hardware
ISPRA'07 Proceedings of the 6th WSEAS International Conference on Signal Processing, Robotics and Automation
Pattern minimization problems over recursive data types
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
The analysis of cyclic circuits with Boolean satisfiability
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
A Model of Database Components and their Interconnection Based upon Communicating Views
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
A fast computerized method for automatic simplification of boolean functions
ISTASC'09 Proceedings of the 9th WSEAS International Conference on Systems Theory and Scientific Computation
A framework for visual servoing
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
ESC: a tool for automatic composition of e-services based on logics of programs
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
On solving the partial MAX-SAT problem
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Discrete Applied Mathematics
The Synthesis of Cyclic Dependencies with Boolean Satisfiability
ACM Transactions on Design Automation of Electronic Systems (TODAES)
| Hi-index | 0.00 |