Transition testing of combinational logic networks
On some problems in the analysis and design of decision tables
Replication and placement strategies in complier code optimization
unified computational model towards the analysis and design of Nand (NOR) logic networks
On the design of integrated languages for access control
Formal tools for specification driven protocol design of distributed computing systems
graphics processor for real time computer animation
Efficient systolic architectures for matrix, signal processing and graph related problems
multistage data acquisition and pattern classification system for character recognition
Automatic retargetable code generation
Parallerls algorithms for compilation
Diagnostic logic graph for analysis and diagnosis of digital networks
Data structure for external indexes
Dependency lattices acyclic hypergraphs and relation database scheme design
Petri-net-based techaniques for modeling analysis and performance evalution
broadcast cube-based multipocesor architecture for solving partial differential equations
Grammatical inference from postive data: An effective intergrated approach
International model: A new approach to database design
Studies on some techaniques of picture coding at low bit-rates
Algorithms for some graph problems on parallel and disturbed computation models
