RIMS Conference Papers

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 2741 to 2760 of 2985

2741
BEAVER: A Behavioral Formal Verifier of VLSI Design

Seung-Ho Hwangresearcher, IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, 1989

2742
An Efficient Design Correctness Checker of Finite-State Machines

Seung-Ho Hwangresearcher, Proceedings of IEEE International Conference on Computer-Aided Design, pp.410 - 413, 1987

2743
An Accurate Delay Modeling Technique for Switch - level Timing Verification

Seung-Ho Hwangresearcher, ACM/IEEE Design Automation Conference, pp.227 - 233, 1986

2744
Sources of Industrial Productivity and Strategies for Research

Steven Hyung Kimresearcher, Internation Conference of Production Research, pp.117 - 123, 1987

2745
A Mathematical Framework for Intelligent Manufacturing Systems

Steven Hyung Kimresearcher, Proc. Symposium on Integrated and Intelligent Manufacturing, pp.1 - 8, 1986

2746
On a Consultive Expert System for Design Axiomatics

Steven Hyung Kimresearcher, Intelligent Manufacturing Systems, 1986

2747
On an Expert System for Design and Manufacturing

Steven Hyung Kimresearcher, COMPINT '85, ACM and IEEE Computer Society Int. Conf, pp.89 - 95, 1985

2748
Impact of Plasma Charging Damage and Diode Protection on Scaled Thin Oxide

Hyung-Cheol Shinresearcher, IEDM Technical Digest, pp.467 - 470, 1993

2749
Plasma-Etching induced Damage to Thin Oxide

Hyung-Cheol Shinresearcher, IEEE/SEMI Advanced Semiconductor Manufacturing Conference, pp.79 - 83, 1992

2750
Gate Oxide Damage by Plasma Oxide Deposition and Via RIE

Hyung-Cheol Shinresearcher, American Vacuum Society Plasma Etch 1992 Symposium, 1992

2751
MOS Image Sensor Cell Suppressed Blooming

신형철researcher, Proc. of Conference of KITE, pp.308 - 311, 1987

2752
The Postmodern Conception of Reality and Morality:Coover's The Public Burning

Jeong, Sangjun, American Studies Association and Canadian Association for American Studies International Convention, pp.1 - 31, 1989

2753
The $M^k(t)/M/\infty$ system with non-homogeneous Poisson arrivals and $k$ heterogeneous customers in a batch

최봉대, Proceedings in honor of Prof. Chung Nim Lee on lis sixtieth birthday, 1991

2754
Hardy space $H^p$ and martingale theory

최봉대, Proceeding of Workshops in Pure Mathematics, pp.190 - 203, 1987

2755
Almost Sure Convergence Theorems of Weighted Sum of Random Variables

최봉대, The 4th Korea and Japan Joing Conference of Statistics, 1986

2756
Pettis mean Convergence of martingales and Amarts

Choi, Bong Dae, 15th Conference on Stochastic Processes and their Applications, pp.73 - 74, 1985

2757
Recovery of Radiation Hardening of Reactor Pressure Vessel Steel SA 508

윤용구, Proc. of International Symposium on Pressure Vessel Technology, 1989

2758
MULTI-OBJECTIVE HAZARDOUS WASTE MANAGEMENT: AS A TOOL IN THE SITING OF REGIONAL TREATMENT CENTER (ppr# 16)

Ja-Kong Kooresearcher, PBC on HW., 1989

2759
On transitive left-symmetric algebras

Hyo Chul Myungresearcher, Proc. of the 3rd International Conference on Nonassociative Algebras and its Applications, pp.114 - 121, 1994

2760
The compact Malcev algebra and torsion and curvatures of connections of $S^7$

Hyo Chul Myungresearcher, Proc. of the Workshop on Nonassociative Algebraic Models, pp.131 - 141, 1992

rss_1.0 rss_2.0 atom_1.0