# Pradip K. Srimani

According to our database

Collaborative distances:

^{1}, Pradip K. Srimani authored at least 189 papers between 1976 and 2018.Collaborative distances:

## Awards

## IEEE Fellow

IEEE Fellow 1999, "For contributions to the design and analysis of fault tolerant networks.".

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

Self-Stabilizing Master-Slave Token Circulation in Unoriented Cactus Graphs.

Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

2017

Accelerating big data analytics on HPC clusters using two-level storage.

Parallel Computing, 2017

Dynamic Management of In-memory Storage for Efficiently Integrating Compute- and Data-intensive Computing on HPC Systems.

Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

2016

A Linear Time Self-stabilizing Algorithm for Minimal Weakly Connected Dominating Sets.

International Journal of Parallel Programming, 2016

Self-Stabilizing Computation of Perfect Neighborhood Set in Large Network Graphs.

Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence, 2016

New Biology Inspired Anonymous Distributed Algorithms to Compute Dominating and Total Dominating Sets in Network Graphs.

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Semantic Graph based Pseudo Relevance Feedback for Biomedical Information Retrieval.

Proceedings of the 7th International Conference on Computational Systems-Biology and Bioinformatics, 2016

A de novo genome assembler based on MapReduce and bi-directed de Bruijn graph.

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Self-Stabilizing Algorithm for Minimal Dominating Set with Safe Convergence in an Arbitrary Graph.

Parallel Processing Letters, 2015

Self-Stabilizing Algorithms for Maximal 2-packing and General k-packing (k ≥ 2) with Safe Convergence in an Arbitrary Graph.

IJNC, 2015

New Self-Stabilizing Algorithms for Minimal Weakly Connected Dominating Sets.

Int. J. Found. Comput. Sci., 2015

Big data analytics on traditional HPC infrastructure using two-level storage.

Proceedings of the 2015 International Workshop on Data-Intensive Scalable Computing Systems, 2015

2014

Self-Stabilizing Master-Slave Token Circulation Algorithm in Undirected Rings and Unicyclic Graphs of Arbitrary Size and Their Orientations.

IJNC, 2014

G-Bean: an ontology-graph based web tool for biomedical literature retrieval.

BMC Bioinformatics, 2014

Self-stabilizing Minimal Global Offensive Alliance Algorithm with Safe Convergence in an Arbitrary Graph.

Proceedings of the Theory and Applications of Models of Computation, 2014

Fault-Tolerant Distributed Publish/Subscribe Using Self-Stabilization.

Proceedings of the Sixth International Symposium on Parallel Architectures, 2014

Self-Stabilizing Algorithm for Maximal 2-Packing with Safe Convergence in an Arbitrary Graph.

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Self-Stabilizing Selection of Influential Users in Social Networks.

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Combining Hadoop and GPU to preprocess large Affymetrix microarray data.

Proceedings of the 2014 IEEE International Conference on Big Data, 2014

2013

Daemon Conversions in Distributed Self-stabilizing Algorithms.

Proceedings of the WALCOM: Algorithms and Computation, 7th International Workshop, 2013

Measure the Semantic Similarity of GO Terms Using Aggregate Information Content.

Proceedings of the Bioinformatics Research and Applications, 9th International Symposium, 2013

Self-Stabilizing Master-Slave Token Circulation Algorithm in an Undirected Ring of Arbitrary Size and Its Orientation.

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

Sesame: A new bioinformatics semantic workflow design system.

Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

G-Bean: An ontology-graph based web tool for biomedical literature retrieval.

Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012

A New Hierarchical Structure of Star Graphs and Applications.

Proceedings of the Distributed Computing and Internet Technology, 2012

Churn Tolerance Algorithm for State Machine Replication.

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

2011

Self-Stabilizing Master-Slave Token Circulation and Efficient Topology Computation in a Tree of Arbitrary Size.

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Predicing Yeast Synthetic Lethal Genetic Interactions Using Short Polypeptide Clusters.

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011

Ontology Graph Based Query Expansion for Biomedical Information Retrieval.

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011

A self-stabilizing algorithm for two disjoint minimal dominating sets in an arbitrary graph.

Proceedings of the 49th Annual Southeast Regional Conference, 2011

2010

Distributed fault tolerant computation of weakly connected dominating set in ad hoc networks.

The Journal of Supercomputing, 2010

WEST: Weighted-Edge Based Similarity Measurement Tools for Word Semantics.

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Undergraduate database instruction with MeTube.

Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010

Self-stabilizing master-slave token circulation and efficient size-computation in a unidirectional ring of arbitrary size.

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2008

Self-Stabilizing Graph Protocols.

Parallel Processing Letters, 2008

Fast deterministic broadcast and gossiping algorithms for mobile ad hoc networks.

J. Parallel Distrib. Comput., 2008

Anonymous Daemon Conversion in Self-stabilizing Algorithms by Randomization in Constant Space.

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

An Efficient Method to Measure the Semantic Similarity of Ontologies.

Proceedings of the Advances in Grid and Pervasive Computing, 2008

2007

Cooperative proxy caching for wireless base stations.

Mobile Information Systems, 2007

Self-stabilizing Distributed Algorithms for Networks.

Proceedings of the Parallel and Distributed Processing and Applications, 2007

Self-Stabilizing Algorithms of Constructing Spanning Tree and Weakly Connected Minimal Dominating Set.

Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

Distributed Protocols for Defensive and Offensive Alliances in Network Graphs Using Self-Stabilization.

Proceedings of the 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 2007

2006

Deterministic Broadcast and Gossiping Algorithms for Ad hoc Networks.

The Journal of Supercomputing, 2006

An online distributed gossiping protocol for mobile networks.

J. Comb. Optim., 2006

Distance distribution of nodes in star graphs.

Appl. Math. Lett., 2006

Self-stabilizing distributed algorithms for graph alliances.

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Leader election in oriented star graphs.

Networks, 2005

Hierarchical star: a new two level interconnection network.

Journal of Systems Architecture, 2005

Leader election in hierarchical star network.

J. Parallel Distrib. Comput., 2005

Self-Stabilizing Algorithms For Orderings And Colorings.

Int. J. Found. Comput. Sci., 2005

Self-Stabilizing Global Optimization Algorithms for Large Network Graphs.

IJDSN, 2005

Network Cache Model for Wireless Proxy Caching.

Proceedings of the 13th International Symposium on Modeling, 2005

Self-stabilizing Publish/Subscribe Protocol for P2P Networks.

Proceedings of the Distributed Computing, 2005

Protocols for Sensor Networks Using COSMOS Model.

Proceedings of the Distributed Computing, 2005

Self-Stabilizing Anonymous Leader Election in a Tree.

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Efficient Distributed Protocol for Online Gossiping Problem.

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004

Loop detection in MPLS for wireless sensor networks.

Microprocessors and Microsystems, 2004

Editorial.

JDIM, 2004

Broadcast Algorithms for Mobile Ad hoc Networks based on Depth-first Traversal.

Proceedings of the Wireless Information Systems, 2004

IEEE-CS/ACM computing curricula: computer engineering & software engineering volumes.

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

A New Adaptive Distributed Routing Protocol Using d-hop Dominating Sets for Mobile Ad Hoc Networks.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Leader Election in Hyper-Butterfly Graphs.

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2004

Dynamic Location Management with Personalized Location Area for Future PCS Networks.

Proceedings of the Distributed Computing, 2004

Mobility Tolerant Broadcast in Mobile Ad Hoc Networks.

Proceedings of the Distributed Computing, 2004

Broadcast and Gossiping Algorithms for Mobile Ad Hoc Networks Based on Breadth-First Traversal.

Proceedings of the Distributed Computing, 2004

Fault Tolerant Algorithms for Orderings and Colorings.

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Editorial.

Wireless Networks, 2003

Adaptive Core Selection and Migration Method for Multicast Routing in Mobile Ad Hoc Networks.

IEEE Trans. Parallel Distrib. Syst., 2003

Computer engineering curriculum in the new millennium.

IEEE Trans. Education, 2003

Guest editorial recent advances in wireless multimedia.

IEEE Journal on Selected Areas in Communications, 2003

Special issue on scalable web services and architecture.

J. Parallel Distrib. Comput., 2003

Self-stabilizing multicast protocols for ad hoc networks.

J. Parallel Distrib. Comput., 2003

Linear time self-stabilizing colorings.

Inf. Process. Lett., 2003

Computer engineering computing curricula.

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

A Synchronous Self-stabilizing Minimal Domination Protocol in an Arbitrary Network Graph.

Proceedings of the Distributed Computing, 2003

A Self-Stabilizing Distributed Algorithm for Minimal Total Domination in an Arbitrary System Grap.

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Self-Stabilizing Protocols for Maximal Matching and Maximal Independent Sets for Ad Hoc Networks.

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

A Robust Distributed Generalized Matching Protocol that Stabilizes in Linear Time.

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Self-Stabilizing Distributed Algorithm for Strong Matching in a System Graph.

Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

2002

Reliability modeling and assessment of the Star-Graph networks.

IEEE Trans. Reliability, 2002

Guest Editorial: Special Section on Data Management Systems and Mobile Computing.

IEEE Trans. Computers, 2002

Parallel data-intensive algorithms and applications (guest editorial).

Parallel Computing, 2002

Parallel data intensive computing in scientific and commercial applications.

Parallel Computing, 2002

Distance Spectrum of Nodes in Star Graphs.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Fault Tolerant Distributed Coloring Algorithms that Stabilize in Linear Time.

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

An overview of pervasive computing.

IEEE Personal Commun., 2001

A Strategy to Manage Cache Consistency in a Disconnected Distributed Environment.

IEEE Trans. Parallel Distrib. Syst., 2001

A New Adaptive Hardware Tree-Based Multicast Routing in K-Ary N-Cubes.

IEEE Trans. Computers, 2001

A regular scalable fault tolerant interconnection network for distributed processing.

Parallel Computing, 2001

Self-stabilizing depth-first multi-token circulation in tree networks.

Parallel Algorithms Appl., 2001

Cored-Based Tree with Forwarding Regions (CBT-FR); A Protocol for Reliable Multicasting in Mobile Ad Hoc Networks.

J. Parallel Distrib. Comput., 2001

Maximal matching stabilizes in time O(m).

Inf. Process. Lett., 2001

Performance Evaluation of a New Hardware Supported Multicast Scheme for K-ary N-cubes.

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing.

IEEE Trans. Software Eng., 2000

Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing.

IEEE Trans. Software Eng., 2000

Near-Optimal Broadcast in All-Port Wormhole-Routed Hypercubes Using Error-Correcting Codes.

IEEE Trans. Parallel Distrib. Syst., 2000

Wormhole Broadcast in Hypercubes.

The Journal of Supercomputing, 2000

UpdateSearch: A New Dynamic Channel Allocation Scheme for Mobile Networks That Can Adjust to System Loads.

The Journal of Supercomputing, 2000

Parallel computing on clusters of workstations.

Parallel Computing, 2000

Message from the Chairs.

Proceedings of the 2000 International Workshop on Parallel Processing, 2000

An Efficient Cache Maintenance Scheme for Mobile Environment.

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Self-Stabilizing Protocol for Shortest Path Tree for Multi-cast Routing in Mobile Networks (Research Note).

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Curriculum 2001: bringing the future to the classroom.

SIGCSE Bulletin, 1999

Self-stabilizing Protocol for Mutual Exclusion among Neighboring Nodes in a Tree Structured Distributed System.

Parallel Algorithms Appl., 1999

A Self-Stabilizing Distributed Algorithm to Find the Median of a Tree Graph.

J. Comput. Syst. Sci., 1999

An Adaptive Protocol for Reliable Multicast in Mobile Multi-hop Radio Networks.

Proceedings of the 2nd Workshop on Mobile Computing Systems and Applications (WMCSA '99), 1999

Routing in Star Graph Using Binary Labels.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Realiability Modeling of Star Graph Networks.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

CC-2001, Computer Science & Engineering Curricula for the Next Decade: A Status Report.

Proceedings of the IEEE International Conference on Microelectronic Systems Education, 1999

Performance Evaluation of Distributed Co-Ordination Function for IEEE 802.11 Wireless LAN Protocol in Presence of Mobile and Hidden Terminals.

Proceedings of the MASCOTS 1999, 1999

Distributed dynamic channel allocation in mobile networks: combining search and update.

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

Mobility Tolerant Maintenance of Multi-Cast Tree in Mobile Multi-Hop Radio Networks.

Proceedings of the International Conference on Parallel Processing 1999, 1999

Mutual Exclusion Between Neighboring Nodes in an Arbitrary System Graph Tree That Stabilizes Using Read/Write Atomicity.

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Using self-stabilization to design adaptive multicast protocols for mobile ad hoc networks.

Proceedings of the Mobile Networks and Computing, 1999

1998

Sep: A Fixed Degree Regular Network for Massively Parallel Systems.

The Journal of Supercomputing, 1998

Wormhole Broadcast in Star Graph Networks.

Parallel Computing, 1998

Hyper Butterfly Network: A Scalable Optimally Fault Tolerant Architecture.

IPPS/SPDP, 1998

Adaptive Distributed Dynamic Channel Allocation for Wireless Networks.

Proceedings of the 1998 International Conference on Parallel Processing Workshops, 1998

One to all broadcast in hyper butterfly networks.

Proceedings of the 5th International Conference On High Performance Computing, 1998

Mutual Exclusion Between Neighboring Nodes in a Tree That Stabilizes Using Read/Write Atomicity.

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

A Self-stabilizing Distributed Algorithm to Find the Center of a Tree Graph.

Parallel Algorithms Appl., 1997

Guest Editor's introduction Distributed computing systems.

Int. J. Systems Science, 1997

Fault Tolerant Routing in Star Graph Networks in the Forbidden Fault Model.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Distributed Self-Stabilizing Algorithm for Minimum Spanning Tree Construction.

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

A New Family of Cayley Graph Interconnection Networks of Constant Degree Four.

IEEE Trans. Parallel Distrib. Syst., 1996

Transposition Networks as a Class of Fault-Tolerant Robust Networks.

IEEE Trans. Computers, 1996

Super Rotator: Incrementally Extensible Directed Network Graph of Sublogarithmic Diameter.

Parallel Processing Letters, 1996

Guest editors' corner software engineering for distributed computing.

Journal of Systems and Software, 1996

Conditional Fault Diameter of Star Graph Networks.

J. Parallel Distrib. Comput., 1996

A Self-Stabilizing Leader Election Algorithm for Tree Graphs.

J. Parallel Distrib. Comput., 1996

Fault Tolerant Ring Embedding in tetravalent Cayley Network Graphs.

Journal of Circuits, Systems, and Computers, 1996

Shortest Routing in Trivalent Cayley Graph Network.

Inf. Process. Lett., 1996

Neurocomputing: Motivations, Models, and Hybridization - Guest Editors' Introduction.

IEEE Computer, 1996

A new fixed degree regular network for parallel processing.

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

1995

An Almost Regular Fault Tolerant Network with Arbitrary Number of Nodes.

J. Parallel Distrib. Comput., 1995

Trivalent Cayley Graphs for Interconnection Networks.

Inf. Process. Lett., 1995

IEH Graphs. A Novel Generalization of Hypercube Graphs.

Acta Inf., 1995

Wildcard Dimensions in Augmented Star and Bubble-Sort Networks.

Proceedings of the MASCOTS '95, 1995

1994

An Analysis of Edge Fault Tolerance in Recursively Decomposable Regular Networks.

IEEE Trans. Computers, 1994

A Self-stabilizing Distributed Algorithm for all-pairs Shortest Path Problem.

Parallel Algorithms Appl., 1994

A new algorithm for

*k*mutual exclusions in distributed systems.
Journal of Systems and Software, 1994

A new family of fixed degree Cayley networks for multiprocessor design.

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

1993

An Examination of Fault Exposure Ratio.

IEEE Trans. Software Eng., 1993

Editor's corner : Applying specification, verification, and validation techniques.

Journal of Systems and Software, 1993

A self-stabilizing algorithm for coloring bipartite graphs.

Inf. Sci., 1993

Fault Diameter of Star Graphs.

Inf. Process. Lett., 1993

Evaluation of Idealized Adaptive Routing on k-ary n-cubes.

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

On the need for simulation for better characterization of software reliability.

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

A new fault tolerant distributed algorithm for longest paths in a DAG.

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

Revolving hierarchy in a hypercube distributed system.

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

Maximally Fault Tolerant Directed Network Graph With Sublogarithmic Diameter For Arbitrary Number of Nodes.

Proceedings of the 1993 International Conference on Parallel Processing, 1993

Software Engineering and Information Technology - Introduction.

Proceedings of the Computing and Information, 1993

1992

Steps to Practical Reliability Meassurement - Guest Editors' Introduction.

IEEE Software, 1992

A Self-Stabilizing Distributed Algorithm to Construct BFS Spanning Trees of a Symmetric Graph.

Parallel Processing Letters, 1992

Another Distributed Algorithm for Multiple Entries to a Critical Section.

Inf. Process. Lett., 1992

A new fault tolerant distributed mutual exclusion algorithm.

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

The nature of fault exposure ratio.

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

1991

A Fault-Tolerant Routing Algorithm for Star Graph Interconnection Network.

Proceedings of the International Conference on Parallel Processing, 1991

Super Star: a new optimally fault tolerant network architecture.

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Generalized Fault Tolerance Properties of Star Graphs.

Proceedings of the Advances in Computing and Information, 1991

An Introduction to Software Reliability Models.

Proceedings of the 17th International Computer Measurement Group Conference, 1991

Network resilience of star graphs: a comparative analysis.

Proceedings of the 19th annual conference on Computer Science, 1991

1990

Fault-tolerant mutual exclusion algorithms.

Journal of Systems and Software, 1990

Performance evaluation of distributed mutual exclusion algorithms for computer networks.

Comput. Syst. Sci. Eng., 1990

A New Parallel Sorting Algorithm and its Efficient VLSI Implementation.

Comput. J., 1990

1989

Fast Parallel Algorithms for Binary Multiplication and Their Implementation on Systolic Architectures.

IEEE Trans. Computers, 1989

Probabilistic analysis of output cost of a heuristic search algorithm.

Inf. Sci., 1989

1988

The Universality of a Class of Modified Single-Stage Shuffle/Exchange Networks.

IEEE Trans. Computers, 1988

Split sequence coalesced hashing.

Inf. Syst., 1988

A new parallel multiplication algorithm and its VLSI implementation.

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

Parallel VLSI computation of all shortest paths in a graph.

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

Worst Case Performance of Weighted Buddy Systems.

Acta Inf., 1987

An O(log n) Parallel Algorithm for Binary Multiplication and its VLSI implementation.

Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Checkpointing strategies for database systems.

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986

A Parallel Algorithm to Compute the Shortest Paths and Diameter of a Graph and Its VLSI Implementation.

IEEE Trans. Computers, 1986

A class of modified single stage S/E networks.

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Weighted Heuristic Search in Networks.

J. Algorithms, 1985

1984

Heuristic Search Approach to Optimal Routing in a Distributed Architecture.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983

A simple way to near minimization of microprogram control memory.

International Journal of Parallel Programming, 1983

1982

Impossible pair constrained test path generation in a program.

Inf. Sci., 1982

A new approach to single-fault-tolerant realization of synchronous sequential machines.

Inf. Sci., 1982

1981

Application of associative memories in designing assemblers.

Inf. Sci., 1981

1980

A new method to test system diagnosability.

Inf. Sci., 1980

Some studies on microprogram optimization.

Proceedings of the 13th annual workshop on Microprogramming, 1980

1979

On Identification of CR Property in File Organisation.

Inf. Process. Lett., 1979

1978

An optimal adaptation logic for delta modulation.

Proceedings of the IEEE International Conference on Acoustics, 1978

1976

Comments on "Derivation of Minimal Complete Sets of Test-Input Sequences Using Boolean Differences".

IEEE Trans. Computers, 1976