Jun Gu

Sheng Xu

IEEE Access, 2023

Establishing a Modeling System in 3-km Horizontal Resolution for Global Atmospheric Circulation triggered by Submarine Volcanic Eruptions with 400 Billion Smoothed Particle Hydrodynamics.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2023

2022

An Explainable Laser Welding Defect Recognition Method Based on Multi-Scale Class Activation Mapping.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2022

Machine learning-based prediction of in-hospital mortality for post cardiovascular surgery patients admitting to intensive care unit: a retrospective observational cohort study based on a large multi-center critical care database.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2022

External validation study on the value of deep learning algorithm for the prediction of hematoma expansion from noncontrast CT scans.

[BibT_eX]

[DOI]

BMC Medical Imaging, 2022

OmniWheg: An Omnidirectional Wheel-Leg Transformable Robot.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Human and Machines - Philosophical Thinking of Artificial Intelligence

[BibT_eX]

[DOI]

Yike Guo

Springer, ISBN: 978-981-19-6304-9, 2022

2021

An improved complementary ensemble empirical mode decomposition method and its application in rolling bearing fault diagnosis.

[BibT_eX]

[DOI]

Yuxing Peng

Digit. Signal Process., 2021

Hiding Iris Biological Features with Encryption.

[BibT_eX]

[DOI]

Proceedings of the 2021 International Conference on Security, 2021

Milvus: A Purpose-Built Vector Data Management System.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Influences of pitch angle for a quadruped robot in bounding gait.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2021

Iris Protection with Verisimilar Feature Structure.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

Generator Available Inertia Estimation Based on Various Disturbance Measurements of PMU.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

2020

The Online Soft Computing Models of key variables based on the Boundary Forest method.

[BibT_eX]

[DOI]

Soft Comput., 2020

On the lightweight authenticated semi-quantum key distribution protocol without Trojan horse attack.

[BibT_eX]

[DOI]

CoRR, 2020

Collusion attack and counterattack on the quantum key agreement via non-maximally entangled cluster states.

[BibT_eX]

[DOI]

CoRR, 2020

Two attacks and counterattacks on the mutual semi-quantum key agreement protocol using Bell states.

[BibT_eX]

[DOI]

CoRR, 2020

Target Detection Based on Simulated Image Domain Migration.

[BibT_eX]

[DOI]

IEEE Access, 2020

A New Method to Assess Fiber Laser Welding Quality of Stainless Steel 304 Based on Machine Vision and Hidden Markov Models.

[BibT_eX]

[DOI]

IEEE Access, 2020

FPGA Realization of Hardware-Flexible Parallel Structure FIR Filters Using Combined Systolic Arrays.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Instrumentation and Measurement Technology Conference, 2020

2019

Deep Residual Squeeze and Excitation Network for Remote Sensing Image Super-Resolution.

[BibT_eX]

[DOI]

Remote. Sens., 2019

Emergency relief routing models for injured victims considering equity and priority.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2019

RC-CNN: Representation-Consistent Convolutional Neural Networks for Achieving Transformation Invariance.

[BibT_eX]

[DOI]

Anfeng He

Xinmei Tian

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Aerial Image and Map Synthesis Using Generative Adversarial Networks.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2018

Double C-NOT attack and counterattack on 'Three-step semi-quantum secure direct communication protocol'.

[BibT_eX]

[DOI]

Po-hua Lin

Quantum Inf. Process., 2018

Statistics attack on 'quantum private comparison with a malicious third party' and its improvement.

[BibT_eX]

[DOI]

Chih-Yung Ho

Quantum Inf. Process., 2018

Transfer Learning for Wearable Long-Term Social Speech Evaluations.

[BibT_eX]

[DOI]

IEEE Access, 2018

Understanding Customer Behavior in Shopping Mall from Indoor Tracking Data.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Computer Supported Cooperative Work in Design, 2018

2017

Localization with Graph Diffusion Property.

[BibT_eX]

[DOI]

Sensors, 2017

Multi-party semi-quantum key distribution-convertible multi-party semi-quantum secret sharing.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2017

Efficient group-based discovery for wireless sensor networks.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2017

Comment on 'improving the security of protocols of quantum key agreement solely using bell states and bell measurement'.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017

Wearable Social Sensing and Its Application in Anxiety Assesment.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2017

2016

Cost optimization based network deployment strategies for future dense networks.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Wireless Personal Multimedia Communications, 2016

Coordinated multi-point transmissions based on interference alignment and neutralization.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

Future network deployment strategy based on user behavior analysis and stochastic geometry.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Network Infrastructure and Digital Content, 2016

2015

Application of support vector machine and genetic algorithm optimization for quality prediction within complex industrial process.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

2014

Cost-Based Join Algorithm Selection in Hadoop.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

A new feature selection method in fishery information processing.

[BibT_eX]

[DOI]

Nan He

Proceedings of the 10th International Conference on Natural Computation, 2014

Poster: Cluster analysis based traffic prediction method from real traffic traces in LTE networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Communications and Networking in China, 2014

Cost-Based Optimization of Logical Partitions for a Query Workload in a Hadoop Data Warehouse.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies and Applications - 16th Asia-Pacific Web Conference, 2014

2013

Efficient Semisupervised MEDLINE Document Clustering With MeSH-Semantic and Global-Content Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2013

Data driven process modeling and simulation: an applied case study.

[BibT_eX]

[DOI]

Zhi Jun Lu

Qian Xiang

Proceedings of the 2013 Summer Simulation Multiconference, 2013

Using Data Mining Method to Predict Yarn Quality within Spinning Process.

[BibT_eX]

Proceedings of the Advances in Data Mining, 13th Industrial Conference, 2013

Dynamic spectrum sharing and user scheduling for CR-MIMO system based on interference alignment.

[BibT_eX]

[DOI]

Zhao Li

Qin Liu

Proceedings of the 20st International Conference on Telecommunications, 2013

2010

A Cascaded Wireless System of SCCP and FMT with Cyclic Delay Diversity.

[BibT_eX]

[DOI]

J. Convergence Inf. Technol., 2010

Integrating flexibility and interactivity in bioinformatics visual programming tools with Focus+Context algorithm.

[BibT_eX]

[DOI]

Xiajiong Shen

Int. J. Data Min. Bioinform., 2010

Research on the growth model of aquaculture organisms based on neural network expert system.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Natural Computation, 2010

Synthesizing: Art of Anonymization.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 21st International Conference, 2010

2009

Towards Compliance and Accountability: a Framework for Privacy Online.

[BibT_eX]

[DOI]

Huanchun Peng

Xiaojun Ye

J. Comput., 2009

A Soft-Sensing Approach to On-Line Predicting Ammonia-Nitrogen Based on RBF Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software and Systems, 2009

Modeling Autonomic QoS Control for Grid Service Using Petri Nets.

[BibT_eX]

[DOI]

Junzhou Luo

Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009

QoS and Preference Based Web Service Evaluation Approach.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009

Reliability Analysis Approach of Grid Monitoring Architecture.

[BibT_eX]

[DOI]

Junzhou Luo

Proceedings of the Fourth ChinaGrid Annual Conference, ChinaGrid 2009, Yantai, Shandong, 2009

2008

An Algebraic Framework for Schema Matching.

[BibT_eX]

[DOI]

Informatica, 2008

Dynamic Purpose-Based Access Control.

[BibT_eX]

[DOI]

Huanchun Peng

Xiaojun Ye

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

A Novel Visual Programming Method Designed for Error Rate Reduction.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

2007

An efficient quadratic placement based on search space traversing technology.

[BibT_eX]

[DOI]

Integr., 2007

2006

General Floorplans with L/T-Shaped Blocks Using Corner Block List.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

A coupling and crosstalk-considered timing-driven global routing algorithm for high-performance circuit design.

[BibT_eX]

[DOI]

Integr., 2006

Formulation Schema Matching Problem for Combinatorial Optimization Problem.

[BibT_eX]

[DOI]

Int. J. Interoperability Bus. Inf. Syst., 2006

2005

Buffer planning as an Integral part of floorplanning with consideration of routing congestion.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

An Algebraic Framework for Schema Matching.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web-Age Information Management, 2005

Schema Homomorphism - An Algebraic Framework for Schema Matching.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2005

Multi-labeled Graph Matching - An algorithm Model for Schema Matching.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2005

IWWS: A Reliability-Based WWW Collaborative Recommender System.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005

2004

Companding transform for reduction in peak-to-average power ratio of OFDM signals.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., 2004

Stairway compaction using corner block list and its applications with rectilinear blocks.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2004

Routing algorithm for multicast under multi-tree model in optical networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Corner block list representation and its application to floorplan optimization.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2004

Area minimization of power distribution network using efficient nonlinear programming techniques.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

UTACO: a unified timing and congestion optimization algorithm for standard cell global routing.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

New Meta-Heuristic for Combinatorial Optimization Problems: Intersection Based Scaling.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

Fast Evaluation of Bounded Slice-Line Grid.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

Corner block list representation and its application with boundary constraints.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2004

A buffer planning algorithm for chip-level floorplanning.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2004

An Efficient Learning Algorithm for Feedforward Neural Network.

[BibT_eX]

[DOI]

Songbo Tan

Proceedings of the Advances in Artificial Intelligence, 2004

An Efficient Rules Induction Algorithm for Rough Set Classification.

[BibT_eX]

[DOI]

Songbo Tan

Proceedings of the Discovery Science, 7th International Conference, 2004

Buffer allocation algorithm with consideration of routing congestion.

[BibT_eX]

[DOI]

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

A buffer planning algorithm with congestion optimization.

[BibT_eX]

[DOI]

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Robust Digital Terrestrial TV Broadcasting System with Error-Resilient Schemes.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2003

Minimizing ADMs on WDM Directed Fiber Trees.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

SSTT: Efficient Local Search for GSI Global Routing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

CNB: A Critical-Network-Based Timing Optimization Method for Standard Cell Global Routing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

Deterministic VLSI Block Placement Algorithm Using Less Flexibility First Principle.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

An efficient hierarchical timing-driven Steiner tree algorithm for global routing.

[BibT_eX]

[DOI]

Integr., 2003

A Novel Timing-Driven Global Routing Algorithm Considering Coupling Effects for High Performance Circuit Design.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

VLSI Module Placement with Pre-Placed Modules and with Consideration of Congestion Using Solution Space Smoothing.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

An integrated floorplanning with an efficient buffer planning algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Physical Design, 2003

Arbitrary convex and concave rectilinear block packing based on corner block list.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Algorithms for analog VLSI 2D stack generation and block merging.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Evaluating a bounded slice-line grid assignment in O(nlogn) time.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

A new pilot assisted frequency synchronization for wireless OFDM systems.

[BibT_eX]

[DOI]

Wen Lei

Jianhua Lu

Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

Dynamic global buffer planning optimization based on detail block locating and congestion analysis.

[BibT_eX]

[DOI]

Proceedings of the 40th Design Automation Conference, 2003

UTACO: a unified timing and congestion optimizing algorithm for standard cell global routing.

[BibT_eX]

[DOI]

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

VLSI module placement with pre-placed modules and considering congestion using solution space smoothing.

[BibT_eX]

[DOI]

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

A buffer planning algorithm based on dead space redistribution.

[BibT_eX]

[DOI]

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002

An Optimum Placement Search Algorithm Based on Extended Corner Block List.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Performance Analysis and Improvement for Some Linear On-Line Bin-Packing Algorithms.

[BibT_eX]

[DOI]

J. Comb. Optim., 2002

Algorithms for multicast connection under multi-path routing model.

[BibT_eX]

[DOI]

Xiao-Dong Hu

Mu-Hong Zhang

Inf. Process. Lett., 2002

Adaptively scheduled stream-shuffling and error concealment for wireless video.

[BibT_eX]

Chuxiang Li

Jianhua Lu

Proceedings of the Visual Communications and Image Processing 2002, 2002

A novel and efficient timing-driven global router for standard cell layout design based on critical network concept.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

Piecewise-scales transform for the reduction of PAPR of OFDM signals.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2002

2001

Efficient Local Search for DAG Scheduling.

[BibT_eX]

[DOI]

Min-You Wu

Wei Shu

IEEE Trans. Parallel Distributed Syst., 2001

Wire segmenting for buffer insertion based on RSTP-MSP.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Optimization of wavelength assignment for QoS multicast in WDM networks.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 2001

Floorplanning with abutment constraints based on corner block list.

[BibT_eX]

[DOI]

Integr., 2001

An improved error resilience scheme for transmission of MPEG-4 audio over EGPRS.

[BibT_eX]

[DOI]

Lei Miao

Jianhua Lu

Proceedings of the 54th IEEE Vehicular Technology Conference, 2001

ECBL: an extended corner block list with solution space including optimum placement.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Physical Design, 2001

Area Minimization of Power Distribution Network Using Efficient Nonlinear Programming Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Floorplanning with Abutment Constraints and L-Shaped/T-Shaped Blocks based on Corner Block List.

[BibT_eX]

[DOI]

Proceedings of the 38th Design Automation Conference, 2001

VLSI floorplanning with boundary constraints based on corner block list.

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2001, 2001

A new congestion-driven placement algorithm based on cell inflation.

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2001, 2001

VLSI block placement using less flexibility first principles.

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2001, 2001

2000

An End-to-End QoS Control Model for Enhanced Internet.

[BibT_eX]

[DOI]

Yaoxue Zhang

Wang Xiaochun

J. Comput. Sci. Technol., 2000

Corner Block List: An Effective and Efficient Topological Representation of Non-Slicing Floorplan.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

On optimizing the satisfiability (SAT) problem.

[BibT_eX]

[DOI]

Ding-Zhu Du

J. Comput. Sci. Technol., 1999

The Multi-SAT Algorithm.

[BibT_eX]

[DOI]

Discret. Appl. Math., 1999

Algorithms for the Satisfiability (SAT) Problem.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Combinatorial Optimization, 1999

1997

Local Search for DAG Scheduling and Task Assignment.

[BibT_eX]

[DOI]

Min-You Wu

Wei Shu

Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997

Multispace Search for Minimizing the Maximum Nodal Degree.

[BibT_eX]

[DOI]

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Multispace search for quorumcast routing.

[BibT_eX]

[DOI]

Proceedings of the Advances in Switching Networks, 1997

Randomized and deterministic local search for SAT and scheduling problems.

[BibT_eX]

[DOI]

Proceedings of the Randomization Methods in Algorithm Design, 1997

1996

The Unison algorithm: fast evaluation of Boolean expressions.

[BibT_eX]

[DOI]

Robert R. Johnson

ACM Trans. Design Autom. Electr. Syst., 1996

Convergence Properties of Optimization Algorithms for the SAT Problem.

[BibT_eX]

[DOI]

Ding-Zhu Du

IEEE Trans. Computers, 1996

A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1996

FAST: A Low-Complexity Algorithm for Efficient Scheduling of DAGs on Parallel Processors.

[BibT_eX]

[DOI]

Yu-Kwong Kwok

Ishfaq Ahmad

Proceedings of the 1996 International Conference on Parallel Processing, 1996

Algorithms for the satisfiability (SAT) problem: A survey.

[BibT_eX]

[DOI]

Proceedings of the Satisfiability Problem: Theory and Applications, 1996

Multispace search for satisfiability and NP-hard problems.

[BibT_eX]

[DOI]

Proceedings of the Satisfiability Problem: Theory and Applications, 1996

1995

Two Packet Routing Algorithms on a Mesh-Connected Computer.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1995

Asynchronous circuit synthesis with Boolean satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

Concurrent automatic test pattern generation algorithm for combinational circuits.

[BibT_eX]

[DOI]

Abdel-Fattah Yousif

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

A multispace search algorithm for molecular energy minimization.

[BibT_eX]

[DOI]

Bin Du

Proceedings of the Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, 1995

1994

Efficient Local Search With Search Space Smoothing: A Case Study of the Traveling Salesman Problem (TSP).

[BibT_eX]

[DOI]

Xiaofei Huang

IEEE Trans. Syst. Man Cybern. Syst., 1994

Algorithms and Average Time Bounds of Sorting on a Mesh-Connected Computer.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1994

Global Optimization for Satisfiability (SAT) Problem.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1994

A divide-and-conquer approach for asynchronous interface synthesis.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on High Level Synthesis, 1994

Average Time Complexity of the SAT 1.2 Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

Multispace Search: A New Optimization Approach.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

Area Efficient Synthesis of Asynchronous Interface Circuits.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

Parallel Algorithms for Satisfiability (SAT) Problem.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Parallel Processing of Discrete Optimization Problems, 1994

A Modular Partitioning Approach for Asynchronous Circuit Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on Design Automation, 1994

1993

Automated pin grid array package routing on multilayer ceramic substrates.

[BibT_eX]

[DOI]

Changsheng Ying

IEEE Trans. Very Large Scale Integr. Syst., 1993

Local search for satisfiability (SAT) problem.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1993

Microword length minimization in microprogrammed controller synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

An efficient algorithm to search for minimal closed covers in sequential machines.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

A Constrained Approach to Multifont Chinese Character Recognition.

[BibT_eX]

[DOI]

Xiaofei Huang

Youshou Wu

IEEE Trans. Pattern Anal. Mach. Intell., 1993

An Efficient Global Search Algorithm for Test Generation.

[BibT_eX]

Abdel-Fattah Yousif

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

Signal Transition Graph Constraints for Speed-independent Ciruit Synthesis.

[BibT_eX]

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

1992

A Novel Discrete Relaxation Architecture.

[BibT_eX]

[DOI]

Wei Wang

IEEE Trans. Pattern Anal. Mach. Intell., 1992

Design Efficient Local Search Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992

An Efficient algorithm for Microword Length Minimization.

[BibT_eX]

[DOI]

Proceedings of the 29th Design Automation Conference, 1992

1991

Fast search algorithms for the n-queens problem.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1991

3000000 Queens in Less Than One Minute.

[BibT_eX]

[DOI]

SIGART Bull., 1991

Searching for a minimal finite state automaton (FSA).

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

1990

A Polynomial Time Algorithm for the N-Queens Problem.

[BibT_eX]

[DOI]

SIGART Bull., 1990

A Parallel Optimal Arc Consistency Algorithm.

[BibT_eX]

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

A Structured Approach for VLSI Circuit Design.

[BibT_eX]

[DOI]

Kent F. Smith

Computer, 1989

1987

A Parallel Architecture for Discrete Relaxation Algorithm.

[BibT_eX]

[DOI]