Counting nodes in binary trees
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Merging Thesauri: Principles and Evaluation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Utilizing logic information in multi-level timing simulation
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Converting a textbook to hypertext
ACM Transactions on Information Systems (TOIS)
Compiler-Based Multiple Instruction Retry
IEEE Transactions on Computers
New Hybrid Fault Models for Asynchronous Approximate Agreement
IEEE Transactions on Computers
A Framework for Exploiting Task and Data Parallelism on Distributed Memory Multicomputers
IEEE Transactions on Parallel and Distributed Systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
The Postal Network: A Recursive Network for Parameterized Communication Model
The Journal of Supercomputing
An Algebraic Approach to Automatic Construction of Structural Models
IEEE Transactions on Pattern Analysis and Machine Intelligence
Reaching Approximate Agreement with Mixed-Mode Faults
IEEE Transactions on Parallel and Distributed Systems
Permutations with low discrepancy consecutive k-sums
Journal of Combinatorial Theory Series A
Nearly Optimal One-To-Many Parallel Routing in Star Networks
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Memorizing Visual Knowledge for Assembly Process Monitoring
Proceedings of the 23rd DAGM-Symposium on Pattern Recognition
A case for teaching program verification: Its importance in the CS curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Some thoughts on teaching first year programming
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
On the k-layer planar subset and via minimization problems
EURO-DAC '90 Proceedings of the conference on European design automation
A chart-based method of ID/LP parsing with generalized discrimination networks
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
A general method for solving divide-and-conquer recurrences
ACM SIGACT News
Register binding and port assignment for multiplexer optimization
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
A fast method to derive minimum SOPs for decomposable functions
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Instruction set extension with shadow registers for configurable processors
Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays
Creating very large scale neighborhoods out of smaller ones by compounding moves
Journal of Heuristics
System for the analysis and visualization of large 3D anatomical trees
Computers in Biology and Medicine
Sequential Network Design Using Extra Inputs for Fault Detection
IEEE Transactions on Computers
Efficient clustering of databases induced by local patterns
Decision Support Systems
Receiver-initiated multiple access protocols for spread spectrum mobile ad hoc networks
Computer Communications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Multilevel image segmentation with adaptive image context based thresholding
Applied Soft Computing
Mining common patterns on graphs
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Transformation from ad hoc EDA to algorithmic EDA
Proceedings of the 2012 ACM international symposium on International Symposium on Physical Design
Information Sciences: an International Journal
Graph theory based segmentation of traced boundary into open and closed sub-sections
Computer Vision and Image Understanding
Powerdomain of Paths for Representing Object Structures
Fundamenta Informaticae
Clustering local frequency items in multiple databases
Information Sciences: an International Journal
Hi-index | 0.01 |