ACM Computing Surveys (CSUR)
Reducing the Diameters of Computer Networks
IEEE Transactions on Computers
ACM SIGAPL APL Quote Quad
An Array Layout Methodology for VLSI Circuits
IEEE Transactions on Computers
SIGGRAPH '86 Proceedings of the 13th annual conference on Computer graphics and interactive techniques
An incidence-matrix-driven panel system for the IBM PC
IBM Systems Journal
A Mapping Strategy for Parallel Processing
IEEE Transactions on Computers
Traffic-Specific Interconnection Networks for Multicomputers
IEEE Transactions on Computers
A Partitioning Strategy for Nonuniform Problems on Multiprocessors
IEEE Transactions on Computers
Performance of a parallel algorithm for standard cell placement on the Intel hypercube
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Layer Assignment Problem for Three-Layer Routing
IEEE Transactions on Computers
Dynamic Testing Strategy for Distributed Systems
IEEE Transactions on Computers
A coordinated approach to partitioning and test pattern generation for pseudoexhaustive testing
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
A scheme for overlaying concurrent testing of VLSI circuits
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Dependability evaluation of a class of multi-loop topologies for local area networks
IBM Journal of Research and Development
A loop-free extended Bellman-Ford routing protocol without bouncing effect
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Parallel Graph Algorithms Based Upon Broadcast Communications
IEEE Transactions on Computers
3-D Object Recognition Using Bipartite Matching Embedded in Discrete Relaxation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Optimization of array accesses by collective loop transformations
ICS '91 Proceedings of the 5th international conference on Supercomputing
Model-based object recognition in dense-range images—a review
ACM Computing Surveys (CSUR)
An efficient partitioning strategy for pseudo-exhaustive testing
DAC '93 Proceedings of the 30th international Design Automation Conference
Linear recursive networks and their applications in topological design and data routing
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
IEEE Transactions on Parallel and Distributed Systems
A shortest path approach to wireframe to solid model conversion
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Linear Recursive Networks and Their Applications in Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Byzantine Agreement in the Presence of Mixed Faults on Processors and Links
IEEE Transactions on Parallel and Distributed Systems
Scientific foundations to the multilevel method
IEEE/ACM Transactions on Networking (TON)
Timing distribution in VHDL behavioral models
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
A provably correct, non-deadlocking parallel event simulation algorithm
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Automatic layout algorithms for function blocks of CMOS gate arrays
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Near-optimal placement using a quadratic objective function
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
CADTOOLS: a CAD algorithm development system
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
A preprocessor for the via minimization problem
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
A hierarchical approach to concurrency control for multidatabases
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Solving Two-Commodity Transportation Problems with Coupling Constraints
Journal of the ACM (JACM)
Network restoration using recurrent neural networks
International Journal of Network Management
Distributed and Parallel Databases
ACM Computing Surveys (CSUR)
Models and Measurements for Quality Assessment of Software
ACM Computing Surveys (CSUR)
Parallel implementation of an efficient microcode compaction algorithm
ACM SIGMICRO Newsletter
Program schemas with concurrency: execution time and hangups
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Interaction graphs for planning problem decomposition
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Finding independent sets in a graph using continuous multivariable polynomial formulations
Journal of Global Optimization
An Efficient VLSI Switch-Box Router
IEEE Design & Test
IEEE Transactions on Knowledge and Data Engineering
Efficient Query Processing for a Subset of Linear Recursive Binary Rules
IEEE Transactions on Knowledge and Data Engineering
Parallel Simulated Annealing Algorithms for Cell Placement on Hypercube Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
A Generalized Scheme for Mapping Parallel Algorithms
IEEE Transactions on Parallel and Distributed Systems
Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
Geometric methods in dynamical systems modelling: electrical, mechanical and control systems
Systems Analysis Modelling Simulation - Special issue: Applications of information systems in environmental modelling
Graph-Theoretic Web Algorithms: An Overview
IICS '01 Proceedings of the International Workshop on Innovative Internet Computing Systems
A Fuzzy-Graph-Based Approach to the Determination of Interestingness of Association Rules
PAKM '02 Proceedings of the 4th International Conference on Practical Aspects of Knowledge Management
Task Modelling in Multiple Contexts of Use
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Exploiting temporal independence in distributed preemptive circuit simulation
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Module positioning algorithms for rectilinear macrocell assemblies
DAC '84 Proceedings of the 21st Design Automation Conference
PACE - a microprogram evaluation system
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
Line digraph iterations and the (d,k) problem for directed graphs
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Resource allocation in rectangular SW banyans
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Verification and optimization for LSI & PCB layout
DAC '81 Proceedings of the 18th Design Automation Conference
On the time overhead of counters and traversal markers
ICSE '81 Proceedings of the 5th international conference on Software engineering
Hardware algorithms for nonnumeric computation
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
An optimal PRAM algorithm for a spanning tree on trapezoid graphs
The Korean Journal of Computational & Applied Mathematics
Schemes for optimal frequency-differential encoding of sinusoidal model parameters
Signal Processing - Special section: Hans Wilhelm Schüßler celebrates his 75th birthday
Network management and system-level diagnosis
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Asynchronous consensus protocol for the unreliable un-fully connected network
ACM SIGOPS Operating Systems Review
Bipartite graph approach to coordinating disparate workflows
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Optimal Sequential and Parallel Algorithms to Compute All Cut Vertices on Trapezoid Graphs
Computational Optimization and Applications
On the use of the cyclomatic number to measure program complexity
ACM SIGPLAN Notices
Reaching agreement on an unknown network with partial graphic information
ACM SIGOPS Operating Systems Review
The multidisciplinary combinatorial approach (MCA) and its applications in engineering
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A Framework for Evaluating Knowledge-Based Interestingness of Association Rules
Fuzzy Optimization and Decision Making
ACM SIGMOD Record
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Reaching fault diagnosis agreement on an unreliable general network
Information Sciences—Informatics and Computer Science: An International Journal
Criticality computation in parameterized statistical timing
Proceedings of the 43rd annual Design Automation Conference
Estimation in sensor networks: a graph approach
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
International Journal of Robotics and Automation
Eventually Dual Failure Agreement
Fundamenta Informaticae
An efficient delay-optimal distributed termination detection algorithm
Journal of Parallel and Distributed Computing
Tours of Graphs, Digraphs, and Sequential Machines
IEEE Transactions on Computers
Fault-Tolerance of Dynamic-Full-Access Interconnection Networks
IEEE Transactions on Computers
IEEE Transactions on Computers
A Representation of Hypergraphs in the Euclidean Space
IEEE Transactions on Computers
Line Digraph Iterations and the (d, k) Digraph Problem
IEEE Transactions on Computers
Heuristic Algorithms for Broadcasting in Point-to-Point Computer Networks
IEEE Transactions on Computers
A Fault-Tolerant Communication Architecture for Distributed Systems
IEEE Transactions on Computers
A tabu search algorithm for structural software testing
Computers and Operations Research
Real-time minimum vertex cover for two-terminal series-parallel graphs
International Journal of High Performance Computing and Networking
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Information Processing Letters
An intelligent information retrieval agent
Knowledge-Based Systems
Why share in peer-to-peer networks?
Proceedings of the 10th international conference on Electronic commerce
Structural modelling and analysis of Object Oriented Systems: a graph theoretic system approach
International Journal of Systems, Control and Communications
An improved heuristic for computing short integral cycle bases
Journal of Experimental Algorithmics (JEA)
The assignment of computational tasks among processors in a distributed system
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
EGOIST: overlay routing using selfish neighbor selection
CoNEXT '08 Proceedings of the 2008 ACM CoNEXT Conference
Minimum cycle bases: Faster and simpler
ACM Transactions on Algorithms (TALG)
Computer Standards & Interfaces
Low-density codes based on chaotic systems for simple encoding
IEEE Transactions on Circuits and Systems Part I: Regular Papers
The anatomy study of consensus agreement in MANETs
Computers and Electrical Engineering
Szpilrajn's theorem on fuzzy orderings
Fuzzy Sets and Systems
Canonical form of a transitive fuzzy matrix
Fuzzy Sets and Systems
An intelligent agent for information retrieval
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Translating a knowledge base into HTML
Knowledge-Based Systems
A graph coloring approach to slicing of object-oriented programs
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Efficient mode enumeration of compositional hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Generation of structured hexahedral meshes in volumes with holes
Finite Elements in Analysis and Design
Path gain algebraic formulation for the scalar linear network coding problem
IEEE Transactions on Information Theory
An Õ(m2n) randomized algorithm to compute a minimum cycle basis of a directed graph
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A faster deterministic algorithm for minimum cycle bases in directed graphs
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
A polynomial time algorithm for minimum cycle basis in directed graphs
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Efficient prüfer-like coding and counting labelled hypertrees
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
Paper: Connectability and structural controllability of composite systems
Automatica (Journal of IFAC)
Evaluating inlining techniques
Computer Languages
An approach to wide area WDM optical network design using genetic algorithm
Computer Communications
Graph theory based segmentation of traced boundary into open and closed sub-sections
Computer Vision and Image Understanding
Formulation of parallel image processing tasks
Pattern Recognition Letters
Most vital links and nodes in weighted networks
Operations Research Letters
A linear-time algorithm for classifying the states of a finite Markov chain
Operations Research Letters
An adaptive parallel algorithm for analyzing activity networks
Operations Research Letters
An energy-efficient adaptive clustering algorithm with load balancing for wireless sensor network
International Journal of Sensor Networks
On deconflicting local coordination among agents
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Eventually Dual Failure Agreement
Fundamenta Informaticae
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Fundamenta Informaticae - Application of Concurrency to System Design
Can computational biology improve the phylogenetic analysis of insulin?
Computer Methods and Programs in Biomedicine
Efficient Diagnosis Protocol to Enhance the Reliability of a Cloud Computing Environment
Journal of Network and Systems Management
Algebraic structure of combined traces
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Journal of Discrete Algorithms
Faster algorithm to find anti-risk path between two nodes of an undirected graph
Journal of Combinatorial Optimization
Hi-index | 0.11 |