Filters








139,478 Hits in 5.6 sec

Hybrid-compiled simulation

Mehrdad Reshadi, Prabhat Mishra, Nikil Dutt
2009 ACM Transactions on Embedded Computing Systems  
This article presents a hybrid instruction-set-compiled simulation (HISCS) technique for generation of fast instruction-set simulators that combines the benefit of both compiled and interpretive simulation  ...  Our experimental results using two contemporary processors (ARM7 and SPARC) demonstrate an order-of-magnitude reduction in compilation time as well as a 70% performance improvement, on average, over the  ...  One may like to explore various ways of defining instruction classes and study their impact on compilation efficiency.  ... 
doi:10.1145/1509288.1509292 fatcat:rlcve75yercsxi3egzazawsp54

Hybrid MPI/StarSs - a case study [article]

Jose Gracia, Christoph Niethammer, Manuel Hasert, Steffen Brinkmann, Rainer Keller, Colin W. Glass
2012 arXiv   pre-print
In this paper we apply hybrid MPI/StarSs to a Lattice-Boltzmann code.  ...  In particular, we present the hybrid programming model, the benefits we expect, the challenges in porting, and finally a comparison of the performance of MPI/StarSs hybrid, MPI/OpenMP hybrid and the original  ...  A CASE STUDY: LATTICE-BOLTZMANN Before starting to port an application to a new programming model, most application developers in applied computational science will balance expected performance gain against  ... 
arXiv:1204.4086v1 fatcat:pmlenbda2ncsjijzyds6nzxzbu

Compile-Time Extensions to Hybrid ODEs

Yingfu Zeng, Ferenc Bartha, Walid Taha
2017 Electronic Proceedings in Theoretical Computer Science  
With this goal, we show how compile-time transformations can be used to extend the basic hybrid ODE formalism traditionally supported in hybrid reachability tools such as SpaceEx or Flow*.  ...  Most of these tools allow users to express hybrid system as automata with a set of ordinary differential equations (ODEs) associated with each state, as well as rules for transitions between states.  ...  To illustrate the practical value of the formalism, we present two case studies that have been carried out using the implementation (Appendix A).  ... 
doi:10.4204/eptcs.247.5 fatcat:kea42xrybfce7n73slsdtcusyy

A Case Study for a New Invasive Extension of Intel's Threading Building Blocks

Martin Schreiber, Tobias Weinzierl, Josef Weidendorfer, Carsten Trinitis
2018 International Conference on High Performance Embedded Architectures and Compilers  
Some brief performance studies suggest that a flexible, permanently changing assignment of cores to compute ranks can outperform a static distribution, while greedly haggling over cores throughout a simulation  ...  We study codes deploying multiple MPI ranks to one node where each rank is parallelised with TBB.  ...  The invasive infrastructure supports both granularity paradigms and any hybrid combination of them.  ... 
doi:10.14459/2018md1428538 dblp:conf/hipeac/SchreiberW18 fatcat:aydmrzfxgne3bp5oew7bdko2hy

Task-Queue Based Hybrid Parallelism: A Case Study [chapter]

Karl Fürlinger, Olaf Schenk, Michael Hagemann
2004 Lecture Notes in Computer Science  
The hybrid version allows the solver to run on a larger number of processors in a cost effective way with very reasonable performance.  ...  In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver.  ...  If this is not the case, the task is put back in the queue.  ... 
doi:10.1007/978-3-540-27866-5_82 fatcat:jg27h5me3nbqflwsp5dj7tdbji

A hybrid just-in-time compiler for android

Guillermo A. Perez, Chung-Min Kao, Yeh-Ching Chung, Wei-Chung Hsu
2012 Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems - CASES '12  
It is a Java Virtual Machine running a basic trace-based JIT compiler, unlike web browser JavaScript engines that usually run a combination of both method and trace-based JIT types.  ...  We developed a methodbased JIT compiler based on the Low Level Virtual Machine framework that delivers performance improvement comparable to that of an Ahead-Of-Time compiler.  ...  to our study.  ... 
doi:10.1145/2380403.2380418 dblp:conf/cases/PerezKCH12 fatcat:eqpo4wmwlvdc3i62enincdrk7e

HPS: hybrid profiling support

H. Mousa, C. Krintz
2005 14th International Conference on Parallel Architectures and Compilation Techniques (PACT'05)  
Toward this end, we present HPS, a Hybrid Profiling Support system.  ...  In particular, we empirically evaluate hot data stream, hot call pair, and hot method identification using a number of parameterizations of bursty tracing, a popular sampling scheme used in dynamic optimization  ...  Toward this end, we present HPS, a Hybrid Profiling Support system.  ... 
doi:10.1109/pact.2005.24 dblp:conf/IEEEpact/MousaK05 fatcat:kj2s5g6v35caxechpwei4hnibi

A Hybrid Framework to Accelerate Adaptive Compilation Systems [chapter]

Gabriel Krisman Bertazi, Anderson Faustino da Silva, Edson Borin
2014 Lecture Notes in Computer Science  
We discuss the shortcomings of the virtual execution method and propose a hybrid mechanism, which leverages the virtual execution method to select a few optimizations sets before performing the execution  ...  Virtual execution is a method to reduce the prohibitive overhead of the execution step on adaptive compilation systems.  ...  Hence, the virtual execution method may still select a poor optimizations set. The Hybrid Framework The hybrid framework is a two-phase process.  ... 
doi:10.1007/978-3-319-11863-5_10 fatcat:lrtkvg7dffhvbcqe3qkptknigy

Finding Effective Compiler Optimization Sequences: A Hybrid Approach

Nilton Luiz Queiroz Junior, Anderson Faustino da Silva, Luis Gustavo Araujo Rodriguez
2020 Computing and informatics  
This paper proposes a hybrid approach that combines the best of machine learning and iterative compilation.  ...  A thorough analysis of the results reveals that the hybrid approach is a considerable improvement over machine learning and iterative compilation.  ...  Furthermore, the hybrid approach applies a learning scheme for recently-compiled programs.  ... 
doi:10.31577/cai_2020_6_1117 fatcat:zijjdgognjf5nfbbwfjwq7vdfq

CoLab: A hybrid knowledge representation and compilation laboratory

Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer
1995 Annals of Operations Research  
A case study in the realm of mechanical engineering has been an important driving force behind the development of COLAB.  ...  These formalisms with thei r translators and transformers have been developed as part of COLAB, a compilation laboratory for studying what we call, respectively, 'vertical ' and ' horizontal ' compilation  ...  Acknow ledgements The research presented in this paper and the development of COLAB have been carried out by the knowledge-compilation group of the ARC-TEC project at the DFKI, supported by the BMFT under  ... 
doi:10.1007/bf02031716 fatcat:djzxr64dgvce5bdiug7sdfgoca

Quantum circuit compilation and hybrid computation using Pauli-based computation [article]

F.C.R. Peres, Ernesto F. Galvão
2022 arXiv   pre-print
Our results demonstrate the practical advantage of PBC techniques for circuit compilation and hybrid computation.  ...  We also simulate hybrid quantum computation, where a classical computer effectively extends the working memory of a small quantum computer by k virtual qubits, at a cost exponential in k.  ...  EFG acknowledges funding of the Portuguese institution FCT -Fundação para a Ciência e a Tecnologia via project CEECINST/00062/2018.  ... 
arXiv:2203.01789v1 fatcat:f6lepqpnfnghjdg3apd5was7oy

Modular Compilation for a Hybrid Non-Causal Modelling Language

Guerric Chupin, Henrik Nilsson
2021 Electronics  
cases where true modular compilation is a primary objective.  ...  The idea is to generate (machine) code that can compute derivatives of any order of an expression as needed, thus allowing for ahead-of-time modular compilation of a hybrid non-causal language.  ...  FRP Functional Reactive Programming JIT Just-in-time compilation  ... 
doi:10.3390/electronics10070814 fatcat:olg62ykznnad7gtxrpvvbxevqa

Treating Masculinity: A Commentary on The Hybrid Case Study of "Tommy"

Ginelle Wolfe, Ronald F. Levant
2020 Pragmatic Case Studies in Psychotherapy  
Christopher Dewey (2020) wrote up the hybrid case study of "Tommy," a college student who presents with symptoms of masculine depression and alcohol use problems.  ...  The importance of this case study is heightened by the current national conversation about masculinity. Context is provided for the topic of men and depression.  ...  on the Hybrid Case Study of "Tommy" G.Wolfe & R.F.  ... 
doi:10.14713/pcsp.v16i3.2080 fatcat:t5qbcl55y5hc3b6cxuqy3rh6ai

Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation [article]

Anton Fuxjaeger, Vaishak Belle
2020 arXiv   pre-print
In this work, we propose a new implementation regime that leverages propositional knowledge compilation for scaling up inference.  ...  Weighted model integration (WMI) extends weighted model counting (WMC) in providing a computational abstraction for probabilistic inference in mixed discrete-continuous domains.  ...  Vaishak Belle was supported by a Royal Society University Research Fellowship. We would also like to thank our reviewers for their helpful suggestions.  ... 
arXiv:1811.12127v2 fatcat:4ntcctbcvnfgnmtc5bgwtovgdi

Compiling the strategy plan using a hybrid of BSC – ISM

Mahboobeh Kazemi
2015 Management Science Letters  
In the method introduced in this paper, after identifying the key measure of function assessment in case study of tile and ceramic by using ISM stages, causeand-effect relations among the measures have  ...  In this paper, Interpretive Structural Modeling (ISM) approach is used to produce a strategic planning for tile and ceramic industry.  ...  Case study: Strategy planning of tile and ceramic industry using BSC-ISM compound model The measures of function assessment in a case study of tile and ceramic factories in Kerman province have been identified  ... 
doi:10.5267/j.msl.2014.12.012 fatcat:n2gbo4zl6bhbhgvbuy3oejjj5y
« Previous Showing results 1 — 15 out of 139,478 results