• Title/Summary/Keyword: Stack Machine

Search Result 90, Processing Time 0.025 seconds

Compiling Lazy Functional Programs to Java on the basis of Spineless Taxless G-Machine with Eval-Apply Model (Eval-Apply 모델의 STGM에 기반하여 지연 계산 함수형 프로그램을 자바로 컴파일하는 기법)

  • Nam, Byeong-Gyu;Choi, Kwang-Hoon;Han, Tai-Sook
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.5
    • /
    • pp.326-335
    • /
    • 2002
  • Recently there have been a number of researches to provide code mobility to lazy functional language (LFL) programs by translating LFL programs to Java programs. These approaches are basically baled on architectural similarities between abstract machines of LFLs and Java. The abstract machines of LFLs and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built- in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFLs by translating LFLs to Java utilizing these common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead in Java. Benchmark program translated to Java programs by our translation scheme run faster on JDK 1.3 than those translated by the previous schemes.

Implementation of Nondeterministic Compiler Using Monad (모나드를 이용한 비결정적 컴파일러 구현)

  • Byun, Sugwoo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.19 no.2
    • /
    • pp.151-159
    • /
    • 2014
  • We discuss the implementation of a compiler for an imperative programming language, using monad in Haskell. This compiler involves a recursive-descent parser conducting nondeterministic parsing, in which backtracking occurs to try with other rules when the application of a production rule fails to parse an input string. Haskell has some strong facilities for parsing. Its algebraic types represent abstract syntax trees in a smooth way, and program codes by monad parsing are so concise that they are highly readable and code size is reduced significantly, comparing with other languages. We also deal with the runtime environment of the assembler and code generation whose target is the Stack-Assembly language based on a stack machine.

Stack Allocation-based Memory Performance Improvement Technique on Android 2.3 Dalvik Virtual Machine (안드로이드 2.3 달빅 가상머신에서 스택 할당 기법을 통한 메모리 성능 향상 기법)

  • Lim, Yeong-Kyu;Kim, Cheong-Ghil;Kim, Shin-Dug
    • Journal of Digital Contents Society
    • /
    • v.12 no.4
    • /
    • pp.551-557
    • /
    • 2011
  • In this paper, we propose a stack allocation technique of Android Java objects in order to reduce the number of garbage collection which is one of major reason on Android performance degradation when running applications. The proposed technique is to allocate Java objects into stack rather than heap memory. To do so, stacked objects could escape the garbage collection process. We experiment the proposed technique in the latest Android 2.3 version. For the simulation, we take advantage of the well known Java benchmark, Caffeinemark, and our own. The result shows the performance degradation of Dalvik Virtual Machine execution time caused by the stack allocation of Java objects is very slight and the proposed method considerably reduces the frequency of garbage collection. This will increase application performance and give better user interfaces to Android phone users.

Position Control of Ultra-Precision Machine Tool Post using Piezoelectric Material(1) (압전 재료를 이용한 초정밀 가공기용 공구 위치 제어(1))

  • 김승한;송하성;송재욱;김의중
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1996.11a
    • /
    • pp.162-166
    • /
    • 1996
  • This paper presents a position control of ultra-precision machine tool post using piezoelectric material. A stack-type piezoelectric actuator Is employed in a hinge-type tool holder. An assumed linear transfer function of the practical nonlinear plant is established through the comparison of transfer functions and step responses in the experiments and the simulations. Several types of feedforward/feedback controllers are designed via computer simulations using the assumed linear transfer function. The position tracking control experiments are undertaken to show the control efficiency of each controller.

  • PDF

Analysis of Data Transfers in Java Virtual Machine (자바가상기계에서 데이터 이동 분석)

  • Yang, Hee-jae
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.1
    • /
    • pp.835-838
    • /
    • 2005
  • It is widely known that most operations performed in JVM belongs to data transfers at all times as JVM is based on abstract stack machine. Hence it is necessary to analyze the fashion of internal data transfers in JVM to develop a more efficient machine. We have analyzed in this paper the data transfer operations between operand stack, local variable array, heap, and constant pool in bytecode level.

  • PDF

A Study on Filling Balance of Semi-stack Mold for Molding Simultaneously Different Products (이종제품 동시성형을 위한 세미스택 몰드의 균형충전에 관한 연구)

  • Lee, Hui-Chul;Lee, Hee-Jin;Kim, Kyung-Ho;Hwang, Jae-Young;Kim, Young-Sik;Ryu, Ho-Yeun
    • Design & Manufacturing
    • /
    • v.8 no.2
    • /
    • pp.50-55
    • /
    • 2014
  • Recently, semi-stack mold have been developed for satisfying the various elements required in the mold industry. The mold is possible using with general-purpose injection molding machine by weight reduction through the improvement of the mold structure. In order to do that, tension core, spiral cooling system and half runner system were applied. It is effective for increased productivity and decreased of loss to the materials. However, the mold is required the filling balance in order to improve the quality and efficiency. Thus this study performed that optimum design and analysis of semi-stack mold for filling balance.

  • PDF

Transport current Losses of the HTS Stacked Tapes at Various Gap between Tapes (고온초전도 적층선재에서의 층간 거리에 따른 전송전류 손실)

  • 임형우;이승욱;이희준;차귀수;이지광
    • Proceedings of the Korea Institute of Applied Superconductivity and Cryogenics Conference
    • /
    • 2003.02a
    • /
    • pp.254-256
    • /
    • 2003
  • AC loss is one of the important superconducting power machine that we have to consider deeply using the stack wires with the HTS. AC magnetic field is occurred around the wires when the electric current is conducted to the stack wires. It also brings electric field to the wires and occurs self field loss, whose quantity is appeared differently by distance of the stack wires. In this paper, transport current losses of a stack short sample of HTS were compared with Norris equation and measured value.

  • PDF

A Study on the Design and Efficiency of Membrane-Electrolyte Assembly in PEFC (PEFC 막-전극 접합체의 설계 및 효율에 관한 연구)

  • Kim H. G.;Kim Y. S.;Kim H. Y.;Yang Y. M.;Nah S. C.
    • Proceedings of the Korean Society of Machine Tool Engineers Conference
    • /
    • 2005.05a
    • /
    • pp.180-184
    • /
    • 2005
  • An experimental study is performed to evaluate the performance and the efficiency by humidifying MEA and by making the double-tied catalyst layers in a fuel cell system which is taken into account the physical and thermal concept. An electrical output produced by PEFC(polymer Electrolyte Fuel Cell) is measured to assess the performance of the stack and the efficiency is also evaluated according to the different situation in which is placed with and without the humidification of MEA (Membrane Electrolyte Assembly). Subsequently, It is found that the measured values of stack voltage and current are influenced by the stack temperature, humidification, and the double-tied catalyst layers which gives more enhanced values to apply for electric units.

  • PDF

TA Study on the Performance and the Efficiency in Polymer Electrolyte embrane Fuel Cell (고분자전해질형 연료전지의 성능해석 및 효율에 관한 연구)

  • Kim Hong-Gun;Kim Yoo-Shin;Yang Sung-Mo;Nah Seok-Chan
    • Transactions of the Korean Society of Machine Tool Engineers
    • /
    • v.14 no.4
    • /
    • pp.75-80
    • /
    • 2005
  • An experimental study is carried out to investigate the performance and the efficiency humidifying Membrane Electrolyte Assembly and having the double-tied catalyst layers in a fuel cell system which is taken into account the physical and thermal concept. Subsequently, an electric output produced by PEMFC(Polymer Electrolyte Membrane Fuel Cell) is measured to assess the performance of a stack, and the efficiency is also evaluated according to the different situation in which unit cell is placed with and without the humidification of the MEA. It is found that the measured values of stack voltage and current are influenced by the stack temperature, humidification, and the double-tied catalyst layers which give more enhanced values to be applied to electric units.

Improvement on the estimation of workable-quantity per unit time for boring machine (기초공사 천공기계 시간당작업량 산정 개선방안)

  • Ahn, Bang-Ryul
    • Proceedings of the Korean Institute of Building Construction Conference
    • /
    • 2015.05a
    • /
    • pp.138-139
    • /
    • 2015
  • Human productivity of Boring Machine for stack is provided but not its hourly workable quantity(Q-value) in the Equipment ownership cost and expenses section of the Poom-Same that is used for construction cost estimation of public sectors in Korea, which leads to less realistic and subjective estimation for the works. The optimized Q-value of the machine is proposed as a result of thorough investigation into many of its operations.

  • PDF