Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Algorithmic Aspects of MOS VLSI Switch-Level Simulation with Race Detection
IEEE Transactions on Computers
A metamodel of information flow: a tool to support information systems theory
Communications of the ACM
A General Model for Memory-Based Finite-State Machines
IEEE Transactions on Computers
ACM Transactions on Graphics (TOG)
Microarchitecture modelling through ADL
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Design of a logic synthesis system (tutorial)
DAC '96 Proceedings of the 33rd annual Design Automation Conference
An application of L systems to local microcode synthesis
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
PLATYPUS: a PLA test pattern generation tool
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An implementation of a state assignment heuristic
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
MPACT: microprocessor application to control-firmware translator
ACM SIGDA Newsletter
Intelligent agents in granular worlds
Soft computing agents
IEEE Design & Test
Processing DNA Tokens in Parallel Computing
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Neural Network Based Algorithms for IP Lookup and Packet Classification
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
A fast APL algorithm for logic minimization
APL '84 Proceedings of the international conference on APL
Analytical power/timing optimization technique for digital system
DAC '77 Proceedings of the 14th Design Automation Conference
Hardware systems in the core curriculum of a computer science ph.d. program
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Mapping the royal road and other hierarchical functions
Evolutionary Computation
Efficent suboptimal state assignment for large sequential machines
EURO-DAC '90 Proceedings of the conference on European design automation
A new method for the state reduction of incompletely specified finite sequential machines
EURO-DAC '90 Proceedings of the conference on European design automation
A model of real time control system production
ACM SIGDA Newsletter
Variable Length Representation in Evolutionary Electronics
Evolutionary Computation
Hyperspace Geography: Visualizing Fitness Landscapes beyond 4D
Artificial Life
Direct Implementation of Asynchronous Control Units
IEEE Transactions on Computers
A purely map procedure for two-level multiple-output logic minimization
International Journal of Computer Mathematics
Multi-state Directed Acyclic Graphs
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Interaction-based invention: designing novel devices from first principles
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Lower overhead design for testability of programmable logic arrays
ITC'84 Proceedings of the 1984 international test conference on The three faces of test: design, characterization, production
Automatic Programming of Morphological Machines by PAC Learning
Fundamenta Informaticae
Hi-index | 0.03 |