Filters








329,167 Hits in 3.7 sec

Optimizing abstract abstract machines

J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
2013 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13  
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound.  ...  The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally  ...  machine into a family of abstract interpreters.  ... 
doi:10.1145/2500365.2500604 dblp:conf/icfp/JohnsonLMH13 fatcat:oqfftpsyyzfbjgyweeloyuj7gy

Optimizing abstract abstract machines

J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
2013 SIGPLAN notices  
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound.  ...  The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally  ...  machine into a family of abstract interpreters.  ... 
doi:10.1145/2544174.2500604 fatcat:3t3dxu55r5c2fp5av3xoncjnhe

Virtual-Machine Abstraction and Optimization Techniques

Stefan Brunthaler
2009 Electronical Notes in Theoretical Computer Science  
Specifically virtual machines whose abstraction level is higher than that of the native machine they run on, have performance issues.  ...  Several common existing optimization techniques fail to deliver their full potential on such machines.  ...  Fig. 7 . 7 Illustration of Virtual Machine Abstraction Levels. Important are the different ratios of a : b which affects the relative optimization potential of various optimization techniques.  ... 
doi:10.1016/j.entcs.2009.11.011 fatcat:lmr2byze7bfntb4oguxyrdkdxa

Program Optimization Using Abstract State Machines

Gabriel SOFONEA, Marian Pompiliu CRISTESCU, Laurentiu CIOVICA
2006 Informatică economică  
Some good techniques in optimization are in folding the constants, elimination of dead code, or improvement of the loops.  ...  Concrete Type Analysis: A Comparison of Optimization Techniques for Object-Oriented Languages", Technical Report TRCS 95-04, Computer Science Department, University of California, Santa Barbara, March  ...  pe obiecte, descriind diferite aspecte ale unor astfel de limbaje, dar abordarea prezentată în lucrarea de faţă este mai abstractă în sensul de a da mai multe descrieri generale utilizând doar stări abstracte  ... 
doaj:16601ab55d3d48cea00afed3b3b101ce fatcat:ecb2fiagtjanvmv52hh6z5rvjq

Description and Optimization of Abstract Machines in a Dialect of Prolog

JOSÉ F. MORALES, MANUEL CARRO, MANUEL HERMENEGILDO
2015 Theory and Practice of Logic Programming  
AbstractIn order to achieve competitive performance, abstract machines for Prolog and related languages end up being large and intricate, and incorporate sophisticated optimizations, both at the design  ...  This makes them laborious to code, optimize, and, especially, maintain and extend. Writing the abstract machine (and ancillary code) in a higher-level language can help tame this inherent complexity.  ...  optimization will carry over to a complete, optimized abstract machine.  ... 
doi:10.1017/s1471068414000672 fatcat:os744fi5x5dbza5kpjv2v43zym

Minimum Time Trajectory Optimization of CNC Machining with Tracking Error Constraints

Qiang Zhang, Shurong Li, Jianxin Guo
2014 Abstract and Applied Analysis  
An off-line optimization approach of high precision minimum time feedrate for CNC machining is proposed.  ...  optimal control problem.  ...  The estimated tracking Abstract and Applied Analysis error curves corresponding to the optimized TEC-SMTT are shown in Figure 8(b) .  ... 
doi:10.1155/2014/835098 fatcat:kghweqhzx5bzzj6xqgxuhqqfbu

Breaking the Computation and Communication Abstraction Barrier in Distributed Machine Learning Workloads [article]

Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Sarikivi
2022 arXiv   pre-print
Breaking this abstraction with a holistic consideration can provide many optimizations to provide performance improvements in distributed workloads.  ...  CoCoNeT contains several machine learning aware transformations to optimize a program and a compiler to generate high performance kernels.  ...  In machine learning systems today, computation and communication are treated as independent abstractions implemented in different libraries.  ... 
arXiv:2105.05720v5 fatcat:qg5o27bgljbi3eyvthreygrzgu

SRAM optimized porting and execution of machine learning classifiers on MCU-based IoT devices

Bharath Sudharsan, Pankesh Patel, John G. Breslin, Muhammad Intizar Ali
2021 Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems  
However, any increase in the training data results in a linear increase in the space complexity of the trained Machine Learning (ML) models, which means they cannot be deployed on IoT devices that have  ...  To alleviate such memory issues, we recently proposed an SRAM-optimized classifier porting, stitching, and efficient deployment method in [3] .  ...  Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.  ... 
doi:10.1145/3450267.3451999 fatcat:a7paesyxo5gpni4i5voo4hpmme

機械学習に現れる最適化問題と量子アニーリング
Optimization problem in machine learning and possible application of quantum annealing

Masayuki Ohzeki
2016 Meeting Abstracts of the Physical Society of Japan (Nihon Butsuri Gakkai koen gaiyoshu)  
doi:10.11316/jpsgaiyo.71.2.0_1197 fatcat:mch6znnfdzaf3afvxbnv2j5w4a

光発振器ネットワークで組合せ最適化問題を解くコヒーレントイジングマシン
Coherent Ising machine for optimization problems using optical oscillator network

Shoko Utsunomiya
2016 Meeting Abstracts of the Physical Society of Japan (Nihon Butsuri Gakkai koen gaiyoshu)  
doi:10.11316/jpsgaiyo.71.2.0_1195 fatcat:u4txqaz4jzfhhgaexhl6rm2qhq

An optimizing compiler for the abstract state machine language CASM

Philipp Paulweber, Andreas Krall
2014
Die Abstrakte Zustandsmaschine (Abstract State Machine, ASM) ist eine mathematisch basierte formale Methode.  ...  The Abstract State Machine (ASM) is a well known formal method which is based on an algebraic concept.  ...  In 2007 Ouimet introduced the Timed Abstract State Machine (TASM) [56] .  ... 
doi:10.34726/hss.2014.24884 fatcat:tbdg6upgdzfzxaapfixq4l55yq

IDDF2020-ABS-0075 Optimizing the use of gastroscope for ICU patients based on machine learning model

Yi Yu
2020 Abstracts   unpublished
Abstracts A36 Gut 2020;69(Suppl 2):A1-A95  ...  support vector machine model (0.826).  ... 
doi:10.1136/gutjnl-2020-iddf.62 fatcat:5x32vsnilfe2xjmgs2pmygu3uy

Towards Description and Optimization of Abstract Machines in an Extension of Prolog [chapter]

José F. Morales, Manuel Carro, Manuel Hermenegildo
Logic-Based Program Synthesis and Transformation  
will carry over to a complete, optimized abstract machine.  ...  Competitive abstract machines for Prolog are usually large, intricate, and incorpórate sophisticated optimizations. This makes them difñcult to code, optimize, and, especially, maintain and extend.  ...  Automatic Generation of Abstract Machine Variations Substantial work has been devoted to abstract machine generation strategies such as, e.g., [10, 11] , which explore different design variations with  ... 
doi:10.1007/978-3-540-71410-1_7 dblp:conf/lopstr/MoralesCH06 fatcat:k34twqnotbbklfdahcfwp2d6zu

Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization

Clément Béra, Eliot Miranda, Marcus Denker, Stéphane Ducasse
2016 Journal of Object Technology  
The approach consists of the symbolic execution of an optimized and an unoptimized bytecode compiled method side by side, deoptimizing the abstract stack at each deoptimization point (where dynamic deoptimization  ...  is possible) and comparing the deoptimized and unoptimized abstract stack to detect bugs.  ...  In this context, if the optimizer generates machine code optimized methods, the virtual machine has to be extended to properly install and use these methods.  ... 
doi:10.5381/jot.2016.15.2.a1 fatcat:5hchktfsqvdjrglimrthrfdvnq

Code selection through object code optimization

Jack W. Davidson, Christopher W. Fraser
1984 ACM Transactions on Programming Languages and Systems  
This paper shows how thorough object code optimization has simplified a compiler and made it easy to retarget.  ...  With this technique, cross-compilers have been built for seven machines, some in as few as three person days. These cross-compilers emit code comparable to hostspecific compilers.  ...  YC achieves local code quality through optimization instead of case checking, so its abstract machine need not be a union machine.  ... 
doi:10.1145/1780.1783 fatcat:mnsyxsaoi5d5bik664mcnrnpr4
« Previous Showing results 1 — 15 out of 329,167 results