Chua-Huang Huang

According to our database1, Chua-Huang Huang
  • authored at least 69 papers between 1984 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
A Design of GS1 EPCglobal Application Level Events Extension for IoT Applications.
IEICE Transactions, 2016

2014
Adding IEEE 1451 Transducer Capability to EPCglobal Information Service.
Proceedings of the 2014 IEEE International Conference on Internet of Things, 2014

2012
Complex sensing event process of IoT application based on epcglobal architecture and IEEE 1451.
Proceedings of the 3rd IEEE International Conference on the Internet of Things, 2012

2010
A Novel Construction Method for n-Dimensional Hilbert Space-Filling Curves.
IEICE Transactions, 2010

A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example.
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

2009
An integrated information system for real estate agency-based on service-oriented architecture.
Expert Syst. Appl., 2009

2008
Tensor Product Formulation for Hilbert Space-Filling Curves.
J. Inf. Sci. Eng., 2008

Lossless compression of medical images using Hilbert space-filling curves.
Comp. Med. Imag. and Graph., 2008

A Service-Oriented Architecture Based Vendor Managed Inventory System.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

An Integrated Information System for Real Estate Agency Based on Service-Oriented Architecture.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Efficient Searching Algorithms for Multi-Dimensional Space Data Using Hilbert Space-Filling Curves.
Proceedings of the 2008 International Conference on Foundations of Computer Science, 2008

2007
Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve Indices.
Proceedings of the 2007 International Conference on Image Processing, 2007

A Rule-Based Disease Diagnostic System Using a Temporal Relationship Model.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

2006
A Programming Methodology for Designing Block Recursive Algorithms.
J. Inf. Sci. Eng., 2006

A Multi-Role Collaborative Method and Platform for Developing Software Requirements.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

2004
Quantum Gates Revisited: A Tensor Product Based Interpretation Model.
Proceedings of the International Conference on Embedded Systems and Applications, 2004

Algebraic Formulation and Program Generation of Three-Dimensional Hilbert Space-Filling Curves.
Proceedings of the International Conference on Imaging Science, Systems and Technology, 2004

2003
Tensor Product Formulation for Hilbert Space-Filling Curves.
Proceedings of the 32nd International Conference on Parallel Processing (ICPP 2003), 2003

2002
A Programming Methodology for Designing Block Recursive Algorithms on Various Computer Networks.
Proceedings of the 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 2002

Tensor Product Modeling of Fault Tolerant Multiprocessor Architectures.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

2001
A Programming Methodology for Designing Parallel Prefix Algorithms.
Proceedings of the 2001 International Conference on Parallel Processing, 2001

Communication-Free Partitioning of Nested Loops.
Proceedings of the Compiler Optimizations for Scalable Parallel Systems Languages, 2001

2000
Statement-Level Communication-Free Partitioning Techniques for Parallelizing Compilers.
The Journal of Supercomputing, 2000

Efficient Index Generation for Compiling Two-Level Mappings in Data-Parallel Programs.
J. Parallel Distrib. Comput., 2000

1998
Reuse-Driven Tiling for Improving Data Locality.
International Journal of Parallel Programming, 1998

A technique for overlapping computation and communication for block recursive algorithms.
Concurrency - Practice and Experience, 1998

1997
Optimal Algorithms for All-to-All Personalized Communication on Rings and Two Dimensional Tori.
J. Parallel Distrib. Comput., 1997

Reuse-Driven Tiling for Data Locality.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

Table-Lookup Approach for Compiling Two-Level Data-Processor Mappings in HPF.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

1996
Efficient Index Set Generation for Compiling HPF Array Statements on Distributed-Memory Machines.
J. Parallel Distrib. Comput., 1996

Compiling Array Expressions for Efficient Execution on Distributed-Memory Machines.
J. Parallel Distrib. Comput., 1996

A Framework for Generating Distributed-Memory Parallel Programs for Block Recursive Algorithms.
J. Parallel Distrib. Comput., 1996

An Algebraic Theory for Modeling Directt Interconnection Networks.
J. Inf. Sci. Eng., 1996

Introduction.
International Journal of Parallel Programming, 1996

Statement-Level Communication-Free Partitioning Techniques for Parallelizing Compilers.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

1995
A Tensor Product Formulation of Strassen's Matrix Multiplication Algorithm with Memory Reduction.
Scientific Programming, 1995

A Clustering Algorithm for Parallel Sparse Cholesky Factorization.
Parallel Processing Letters, 1995

Compiling Array Statements for Efficient Execution on Distributed-Memory Machines: Two-Level Mappings.
Proceedings of the Languages and Compilers for Parallel Computing, 1995

Multi-phase array redistribution: modeling and evaluation.
Proceedings of IPPS '95, 1995

1994
Implementing Fast Fourier Transforms on Distributed-Memory Multiprocessors Using Data Redistributions.
Parallel Processing Letters, 1994

EXTENT: a portable programming environment for designing and implementing high-performance block recursive algorithms.
Proceedings of the Proceedings Supercomputing '94, 1994

Incremental Generation of Index Sets for Array Statement Execution on Distributed-Memory Machines.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

On sparse matrix reordering for parallel factorization.
Proceedings of the 8th international conference on Supercomputing, 1994

An approach to communication-efficient data redistribution.
Proceedings of the 8th international conference on Supercomputing, 1994

Communication-Efficient Implementation of Block Recursive Algorithms on Distributed-Memory Machines.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

1993
Communication-Free Hyperplane Partitioning of Nested Loops.
J. Parallel Distrib. Comput., 1993

An Algebraic Theory for Modeling Multistage Interconnection Networks.
J. Inf. Sci. Eng., 1993

Efficient transposition algorithms for large matrices.
Proceedings of the Proceedings Supercomputing '93, 1993

A Methodology for Generating Efficient Disk-Based Algorithms from Tensor Product Formulas.
Proceedings of the Languages and Compilers for Parallel Computing, 1993

A Tensor Product Formulation of Strassen's Matrix Multiplication Algorithm with Memory Reduction.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

On Compiling Array Expressions for Efficient Execution on Distributed-Memory Machines.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

Supernodal Sparse Cholesky Facotrization on Distributed-Memory Multiprocessors.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

Compile-Time Characterization of Recurrent Patterns in Irregular Computations.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992
A Methodology for Generating Data Distributions to Optimize Communication.
Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

On Data Dependence Analysis for Compiling Programs on Distributed-Memory Machines (Extended Abstract).
SIGPLAN Workshop, 1992

On the Automatic Generation of Data Distributions.
SIGPLAN Workshop, 1992

An Algebraic Theory for Modeling Direct Interconnection Networks.
Proceedings of the Proceedings Supercomputing '92, 1992

On the Synthesis of Parallel Programs from Tensor Product Formulas for Block Recursive Algorithms.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

Generating Parallel Programs from Tensor Product Formulas: A Case Study of Strassen's Matrix Multiplication Algorithm.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

1991
Multilinear algebra and parallel programming.
The Journal of Supercomputing, 1991

Communication-Free Hyperplane Partitioning of Nested Loops.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

On the Synthesis of Programs for Various Parallel Architectures.
Proceedings of the International Conference on Parallel Processing, 1991

1990
Multilinear algebra and parallel programming.
Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

1989
An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem.
Acta Inf., 1989

1987
The Derivation of Systolic Implementations of Programs.
Acta Inf., 1987

An Implemented Method for Incremmental Systolic Design.
Proceedings of the PARLE, 1987

1986
The automated proof of a trace transformation for a bitonic sort.
Theor. Comput. Sci., 1986

A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1984
The Static Derivation of Concurrency and its Mechanzed Certification.
Proceedings of the Seminar on Concurrency, 1984


  Loading...