A5073697723- VLSI and Analog Circuit Testing
- Distributed and Parallel Computing Systems
- Formal Methods in Verification
- Radiation Effects in Electronics
- Advanced Data Storage Technologies
- Algorithms and Data Compression
- Cellular Automata and Applications
- Model-Driven Software Engineering Techniques
- Digital Image Processing Techniques
- Computational Geometry and Mesh Generation
- VLSI and FPGA Design Techniques
- Machine Learning and Algorithms
- Metaheuristic Optimization Algorithms Research
- Software Testing and Debugging Techniques
- Integrated Circuits and Semiconductor Failure Analysis
- Logic, programming, and type systems
- Complex Systems and Decision Making
- 3D IC and TSV technologies
- Power Systems and Technologies
- Advanced Computational Techniques and Applications
- Eicosanoids and Hypertension Pharmacology
- Coding theory and cryptography
- Cancer, Hypoxia, and Metabolism
- AI-based Problem Solving and Planning
- Robotics and Sensor-Based Localization
Pohang University of Science and Technology
1991-2024
IBM (United States)
1974-2003
University of Illinois Urbana-Champaign
1971-1991
IBM Research - Thomas J. Watson Research Center
1981
Poughkeepsie Public Library District
1977
The convex hulls of sets n points in two and three dimensions can be determined with O(n log n) operations. presented algorithms use the “divide conquer” technique recursively apply a merge procedure for nonintersecting hulls. Since any hull algorithm requires at least operations, time complexity proposed is optimal within multiplicative constant.
MINI is a heuristic logic minimization technique for many-variable problems. It accepts as input Boolean specification expressed an input-output table, thus avoiding long list of minterms. seeks minimal implicant solution, without generating all prime implicants, which can be converted to implicants if desired. New and effective subprocesses, such expanding, reshaping, removing redundancy from cubes, are iterated until there no further reduction in the solution. The process general that it...
Tissue engineering, an interdisciplinary field, aims to restore, maintain, or enhance tissue function by developing biological substitutes. To establish optimal microenvironment, biofabrication is acknowledged as a revolutionary technology facilitating the construction of multiscale three-dimensional architectures utilising various living cells and biomaterials. A critical challenge in this domain precise assembly soft matter-delicate pliable structures - essential for creating functional...
IBM's 6250 bpi 3420 series tape units require a powerful error-correcting code for the standard 9-track format. The optimal rectangular (ORC), presented here, is designed to correct any single-track error or, given erasure pointers, double-track in tape. achieves this by conforming codeword of which two orthogonal sides are check bits. specially tailored from general class b-adjacent codes. ORC can be implemented without buffer encoding and offers simple error-correction mechanism....
The Yorktown Expert System/MVS Manager (or YES/MVS for short) is a continuous real-time expert system that exerts active control over computing and provides advice to computer operators. on routine operations detects, diagnoses, responds problems in the operator's domain. This paper discusses system, its domain of application, issues arise design development an runs continuously real time.
The Data Abstraction Research Group was formed in the early 1990s, to bring focus work of Mathematical Sciences Department emerging area knowledge discovery and data mining (KD & DM). Most activities this group have been performed technical predictive modeling, roughly at intersection machine learning, statistical database technology. There has a major emphasis on using business industrial problems motivate research agenda. Major accomplishments include advances methods for feature analysis,...
For the automated design of PLAs (programmable logic arrays) with a minimum size, computationally efficient procedures are needed that can minimize functions large number variables. such minimization procedures, excessively long processing time and an memory requirement major problems to overcome. An absolute procedure is presented for standard reduced computation space. The improvement achieved by this procedure, which based on decomposition ratio sets, mainly due detection all essential...
In integrated circuits, components are frequently interconnected by horizontal and vertical wires in respective wiring planes whether on chip, card, or board. The wire changes direction through “vias” that connect the orthogonal planes. Because of technology constraints, arrangement vias must conform with certain neighborhood restrictions. We present results guaranteed minimum number maximum possible a given cell for various constraints. These numbers provide an early means control global...
This article describes simple methods of generating many-variable test-case problems for heuristic logic minimization studies. Covering and coloring are converted into Boolean functions that useful test cases minimization.
This paper proposes a test generation algorithm which can be applied to practical VLSI circuits. The key idea of the is construct sensitized path from primary output site fault. change construction order very effective especially for redundant faults, where their fault effects never propagate any output. Whether or not effect propagates easily checked by using 15-value logic. In this case, we save computation time processing sensitization. Another advantage approach that number backtracks...