Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Paul Iannetta	Compiling Trees: Combining Data Layouts and the Polyhedral Model. (Compilation des arbres : Représentation mémoire et modèle polyédrique).		2022	RDF
14	Zoe Paraskevopoulou, Anvay Grover	Compiling with continuations, correctly.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
14	Eyasu Getahun Chekole, Martín Ochoa, Sudipta Chattopadhyay 0001	SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems.	Int. J. Crit. Infrastructure Prot.	2021	DBLP DOI BibTeX RDF
14	Timo Betcke, Matthew W. Scroggs	Bempp-cl: A fast Python based just-in-time compiling boundary element library.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
14	Björn Forsberg, Marco Solieri, Marko Bertogna, Luca Benini, Andrea Marongiu	The Predictable Execution Model in Practice: Compiling Real Applications for COTS Hardware.	ACM Trans. Embed. Comput. Syst.	2021	DBLP DOI BibTeX RDF
14	André Kohn 0001, Viktor Leis, Thomas Neumann 0001	Making Compiling Query Engines Practical.	IEEE Trans. Knowl. Data Eng.	2021	DBLP DOI BibTeX RDF
14	Weiyuan Gong, Si Jiang, Dong-Ling Deng	Weighted Quantum Channel Compiling through Proximal Policy Optimization.	CoRR	2021	DBLP BibTeX RDF
14	Davide Ferrari, Ivano Tavernelli, Michele Amoretti	Deterministic Algorithms for Compiling Quantum Circuits with Recurrent Patterns.	CoRR	2021	DBLP BibTeX RDF
14	J.-M. Chauvet	Compiling Turing Machines into Storage Modification Machines.	CoRR	2021	DBLP BibTeX RDF
14	Casey Duckering, Jonathan M. Baker, Andrew Litteken, Frederic T. Chong	Orchestrated Trios: Compiling for Efficient Communication in Quantum Programs with 3-Qubit Gates.	CoRR	2021	DBLP BibTeX RDF
14	Marco Maronese, Lorenzo Moro, Lorenzo Rocutto, Enrico Prati	Quantum Compiling.	CoRR	2021	DBLP BibTeX RDF
14	Zhimin He, Lvzhou Li, Shenggen Zheng, Yongyao Li, Haozhen Situ	Variational quantum compiling with double Q-learning.	CoRR	2021	DBLP BibTeX RDF
14	Qiaoyi Liu, Dillon Huff, Jeff Setter, Maxwell Strange, Kathleen Feng, Kavya Sreedhar, Ziheng Wang, Keyi Zhang, Mark Horowitz, Priyanka Raina, Fredrik Kjolstad	Compiling Halide Programs to Push-Memory Accelerators.	CoRR	2021	DBLP BibTeX RDF
14	Thomas Neumann 0001	Evolution of a Compiling Query Engine. (PDF / PS)	Proc. VLDB Endow.	2021	DBLP DOI BibTeX RDF
14	Liming Zhao, Zhikuan Zhao, Patrick Rebentrost, Joseph F. Fitzsimons	Compiling basic linear algebra subroutines for quantum computers.	Quantum Mach. Intell.	2021	DBLP DOI BibTeX RDF
14	A. M. Viswa Bharathy	A dynamic replicative K-means with self-compiling particle swarm intelligence for dataset classification.	Int. J. Bus. Intell. Data Min.	2021	DBLP DOI BibTeX RDF
14	Diego F. Aranha, Emil Madsen Bennedsen, Matteo Campanelli, Chaya Ganesh, Claudio Orlandi, Akira Takahashi 0002	ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
14	Davide Ferrari, Ivano Tavernelli, Michele Amoretti	Deterministic algorithms for compiling quantum circuits with recurrent patterns.	Quantum Inf. Process.	2021	DBLP DOI BibTeX RDF
14	Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner	Compiling for time-predictability with dual-issue single-path code.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
14	Thomas Gaylord, Bette Finn	Supplementary Materials for "A Course on Literature Searching/Compiling/Understanding for Support of Research/Projects".		2021	DOI RDF
14	Martin Kutrib, Uwe Meyer 0003, Niklas Deworetzki, Marc Schuster	Compiling Janus to RSSA.	RC	2021	DBLP DOI BibTeX RDF
14	Christian Burkert, Maximilian Blochberger, Hannes Federrath	Compiling Personal Data and Subject Categories from App Data Models.	SEC	2021	DBLP DOI BibTeX RDF
14	Ajay Brahmakshatriya, Yunming Zhang, Changwan Hong, Shoaib Kamil 0001, Julian Shun, Saman P. Amarasinghe	Compiling Graph Applications for GPU s with GraphIt.	CGO	2021	DBLP DOI BibTeX RDF
14	Akram El-Korashy, Stelios Tsampas 0001, Marco Patrignani, Dominique Devriese, Deepak Garg 0001, Frank Piessens	CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.	CSF	2021	DBLP DOI BibTeX RDF
14	Johannes Frey, Fabian Götz, Marvin Hofer, Sebastian Hellmann	Managing and Compiling Data Dependencies for Semantic Applications Using Databus Client.	MTSR	2021	DBLP DOI BibTeX RDF
14	Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski	Compiling data-parallel Datalog.	CC	2021	DBLP DOI BibTeX RDF
14	Birgit Saalfeld, Lena Elgert, Bianca Steiner, Klaus-Hendrik Wolf	Compiling Criteria for Assessing Essential Aspects of Home Exercise Performance: A Questionnaire-Based Approach.	MedInfo	2021	DBLP DOI BibTeX RDF
14	Paul Iannetta, Laure Gonnord, Gabriel Radanne	Compiling pattern matching to in-place modifications.	GPCE	2021	DBLP DOI BibTeX RDF
14	Melanie Siegel, Francis Bond	OdeNet: Compiling a GermanWordNet from other Resources.	GWC	2021	DBLP BibTeX RDF
14	Jérémie Koenig, Zhong Shao	CompCertO: compiling certified open C components.	PLDI	2021	DBLP DOI BibTeX RDF
14	Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar	Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.	PLDI	2021	DBLP DOI BibTeX RDF
14	Guillaume Petiot	Compiling Possibilistic Networks to Compute Learning Indicators.	ICAART (2)	2021	DBLP DOI BibTeX RDF
14	Toru Koizumi 0001, Shu Sugita, Ryota Shioya, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai	Compiling and Optimizing Real-world Programs for STRAIGHT ISA.	ICCD	2021	DBLP DOI BibTeX RDF
14	Mathieu Hemery, François Fages, Sylvain Soliman	Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs.	CMSB	2021	DBLP DOI BibTeX RDF
14	Haotian Zhang, Weiyu Dong, Jian Lin 0007	A Partial-Lifting-Based Compiling Concolic Execution Approach.	CSP	2021	DBLP DOI BibTeX RDF
14	Luigi Bonassi, Alfonso Emilio Gerevini, Francesco Percassi, Enrico Scala	On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away.	ICAPS	2021	DBLP BibTeX RDF
14	Haichen Shen, Jared Roesch, Zhi Chen 0030, Wei Chen, Yong Wu, Mu Li 0003, Vin Sharma, Zachary Tatlock, Yida Wang 0003	Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.	MLSys	2021	DBLP BibTeX RDF
14	Nataliia Hrytsiv, Olha Kulyna, Christina Zakala	English - Ukrainian Aviation Terminology: compiling bilingual digital dictionary.	CSIT (2)	2021	DBLP DOI BibTeX RDF
14	Olena Levchenko, Marianna P. Dilai	A Method of Automated Corpus-Based Identification of Metaphors for Compiling a Dictionary of Metaphors: A Case Study of the Emotion Conceptual Domain.	CSIT (2)	2021	DBLP DOI BibTeX RDF
14	Casey Duckering, Jonathan M. Baker, Andrew Litteken, Frederic T. Chong	Orchestrated trios: compiling for efficient communication in Quantum programs with 3-Qubit gates.	ASPLOS	2021	DBLP DOI BibTeX RDF
14	André Schäfer, Wolfram Amme, Thomas S. Heinze	>Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection.	IWSC	2021	DBLP DOI BibTeX RDF
14	Guannan Wei 0001, Oliver Bracevac, Shangyin Tan, Tiark Rompf	Compiling symbolic execution with staging and algebraic effects.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
14	Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann	Compiling effect handlers in capability-passing style.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
14	Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato	Tree Decomposition-based Approach for Compiling Independent Sets.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
14	Arno Luppold, Dominic Oehlert, Heiko Falk	Compiling for the Worst Case: Memory Allocation for Multi-task and Multi-core Hard Real-time Systems.	ACM Trans. Embed. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Gustav Cedersjö, Jörn W. Janneck	Tÿcho: A Framework for Compiling Stream Programs.	ACM Trans. Embed. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Saeid Nosrati, Fatemeh Naderizadeh, Hossein Raeefard	Preparing and compiling a model to identify the outsourcing activities of Khorasan Regional Electricity Company.	Int. J. Bus. Process. Integr. Manag.	2020	DBLP DOI BibTeX RDF
14	Yuan-Hang Zhang, Pei-Lin Zheng, Yi Zhang, Dong-Ling Deng	Topological Quantum Compiling with Reinforcement Learning.	CoRR	2020	DBLP BibTeX RDF
14	Federico Simonetta, Stavros Ntalampiras, Federico Avanzini	ASMD: an automatic framework for compiling multimodal datasets.	CoRR	2020	DBLP BibTeX RDF
14	Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar 0001, Ilya Sergey	Compiling a Higher-Order Smart Contract Language to LLVM.	CoRR	2020	DBLP BibTeX RDF
14	Haichen Shen, Jared Roesch, Zhi Chen 0030, Wei Chen, Yong Wu, Mu Li 0003, Vin Sharma, Zachary Tatlock, Yida Wang 0003	Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.	CoRR	2020	DBLP BibTeX RDF
14	Kornilios Kourtis, Martino Dazzi, Nikolas Ioannou, Tobias Grosser, Abu Sebastian, Evangelos Eleftheriou	Compiling Neural Networks for a Computational Memory Accelerator.	CoRR	2020	DBLP BibTeX RDF
14	Tung D. Le, Gheorghe-Teodor Bercea, Tong Chen 0001, Alexandre E. Eichenberger, Haruki Imai, Tian Jin, Kiyokuni Kawachiya, Yasushi Negishi, Kevin O'Brien	Compiling ONNX Neural Network Models Using MLIR.	CoRR	2020	DBLP BibTeX RDF
14	Karan Sikka, Andrew Silberfarb, John Byrnes, Indranil Sur, Edmond Chow, Ajay Divakaran, Richard Rohwer	Deep Adaptive Semantic Logic (DASL): Compiling Declarative Knowledge into Deep Neural Networks.	CoRR	2020	DBLP BibTeX RDF
14	Adarsha Balaji, Anup Das 0001	Compiling Spiking Neural Networks to Mitigate Neuromorphic Hardware Constraints.	CoRR	2020	DBLP BibTeX RDF
14	Akram El-Korashy, Stelios Tsampas 0001, Marco Patrignani, Dominique Devriese, Deepak Garg 0001, Frank Piessens	CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle.	CoRR	2020	DBLP BibTeX RDF
14	Steven Holtzen, Guy Van den Broeck, Todd D. Millstein	Dice: Compiling Discrete Probabilistic Programs for Scalable Inference.	CoRR	2020	DBLP BibTeX RDF
14	Ana Neri, Rui Soares Barbosa, José N. Oliveira	Compiling quantamorphisms for the IBM Q Experience.	CoRR	2020	DBLP BibTeX RDF
14	Shihao Song, Adarsha Balaji, Anup Das 0001, Nagarajan Kandasamy, James A. Shackleford	Compiling Spiking Neural Networks to Neuromorphic Hardware.	CoRR	2020	DBLP BibTeX RDF
14	Mona Gridseth, Timothy D. Barfoot	DeepMEL: Compiling Visual Multi-Experience Localization into a Deep Neural Network.	CoRR	2020	DBLP BibTeX RDF
14	Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka	Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization.	CoRR	2020	DBLP BibTeX RDF
14	Eyasu Getahun Chekole, Martín Ochoa, Sudipta Chattopadhyay 0001	SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems.	CoRR	2020	DBLP BibTeX RDF
14	Paul Downen, Zena M. Ariola	Compiling With Classical Connectives.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
14	Shihao Song, Adarsha Balaji, Anup Das 0001, Nagarajan Kandasamy, James A. Shackleford	Compiling Spiking Neural Networks to Neuromorphic Hardware.	LCTES	2020	DBLP DOI BibTeX RDF
14	Bradford L. Chamberlain	Compiling Chapel: Keys to Making Parallel Programming Productive at Scale.	PACT	2020	DBLP DOI BibTeX RDF
14	Mona Gridseth, Timothy D. Barfoot	DeepMEL: Compiling Visual Multi-Experience Localization into a Deep Neural Network.	ICRA	2020	DBLP DOI BibTeX RDF
14	Christopher Goes	Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix.	ISoLA (3)	2020	DBLP DOI BibTeX RDF
14	David Castro-Perez, Nobuko Yoshida	Compiling first-order functions to session-typed parallel code.	CC	2020	DBLP DOI BibTeX RDF
14	Marc Dahlem, Klaus Schneider 0001	Compiling synchronous languages to optimal move code for exposed datapath architectures.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Timo Kersten, Thomas Neumann 0001	On another level: how to debug compiling query engines.	DBTest@SIGMOD	2020	DBLP DOI BibTeX RDF
14	Adarsha Balaji, Anup Das 0001	Compiling Spiking Neural Networks to Mitigate Neuromorphic Hardware Constraints.	IGSC (Workshops)	2020	DBLP DOI BibTeX RDF
14	Daniel Judt, Patrick Kochberger, Peter Kieseberg, Sebastian Schrittwieser	Compiling and Analyzing Open Source Malware for Research Purposes.	ICSSA	2020	DBLP DOI BibTeX RDF
14	Christian Duta, Denis Hirn, Torsten Grust	Compiling PL/SQL Away.	CIDR	2020	DBLP BibTeX RDF
14	Balázs Vass, Erika R. Bérczi-Kovács, Costin Raiciu, Gábor Rétvári	Compiling Packet Programs to Reconfigurable Switches: Theory and Algorithms.	EuroP4@CoNEXT	2020	DBLP DOI BibTeX RDF
14	Marco Giunti	GoPi: Compiling Linear and Static Channels in Go.	COORDINATION	2020	DBLP DOI BibTeX RDF
14	Wanwei Liu, Liangze Yin, Tun Li	Compiling FLres on Finite Words.	SETTA	2020	DBLP DOI BibTeX RDF
14	Huamei Qi, Xiaoyan Kui, Zhigang Chen 0001	Teaching practice and exploration of compiling principles under the background of first-class curriculum construction.	ICCSE	2020	DBLP DOI BibTeX RDF
14	Troels Henriksen, Sune Hellfritzsch, Ponnuswamy Sadayappan, Cosmin E. Oancea	Compiling generalized histograms for GPU.	SC	2020	DBLP DOI BibTeX RDF
14	Milos Chromý, Ondrej Cepek	Compiling SL representations of Boolean functions into OBDDs.	ISAIM	2020	DBLP BibTeX RDF
14	Manuela Weibel, Muriel Peter	Compiling a Large Swiss German Dialect Corpus.	SwissText/KONVENS	2020	DBLP BibTeX RDF
14	Maximilian E. Schüle, Jakob Huber, Alfons Kemper, Thomas Neumann 0001	Freedom for the SQL-Lambda: Just-in-Time-Compiling User-Injected Functions in PostgreSQL.	SSDBM	2020	DBLP DOI BibTeX RDF
14	Victor A. Ying, Mark C. Jeffrey, Daniel Sánchez 0003	T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware.	ISCA	2020	DBLP DOI BibTeX RDF
14	Alexander Ferrein, Marcus Meeßen, Nicolas Limpert, Stefan Schiffer 0002	Compiling ROS Schooling Curricula via Contentual Taxonomies.	RiE	2020	DBLP DOI BibTeX RDF
14	Abdul Dakkak	Compiling high-level scripting languages to performant code		2020	RDF
14	Sebastian Poeplau	Increasing the performance of symbolic execution by compiling symbolic handling into binaries. (Exécution symbolique haute performance par la compilation du moteur symbolique dans le programme testé).		2020	RDF
14	Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf	Compiling with continuations, or without? whatever.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
14	Sosuke Moriguchi, Kazuko Takahashi	Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions.	CoRR	2019	DBLP BibTeX RDF
14	Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli	The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits.	CoRR	2019	DBLP BibTeX RDF
14	Michael J. Sullivan, Karl Crary, Salil Joshi 0004	Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency.	CoRR	2019	DBLP BibTeX RDF
14	Behrouz Babaki, Golnoosh Farnadi, Gilles Pesant	Compiling Stochastic Constraint Programs to And-Or Decision Diagrams.	CoRR	2019	DBLP BibTeX RDF
14	Gérard Berry, Lionel Rieg	Towards Coq-verified Esterel Semantics and Compiling.	CoRR	2019	DBLP BibTeX RDF
14	Christian Duta, Denis Hirn, Torsten Grust	Compiling PL/SQL Away.	CoRR	2019	DBLP BibTeX RDF
14	Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu	Heuristics for Quantum Compiling with a Continuous Gate Set.	CoRR	2019	DBLP BibTeX RDF
14	Paul Downen, Zena M. Ariola	Compiling With Classical Connectives.	CoRR	2019	DBLP BibTeX RDF
14	Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey	Compiling CP subproblems to MDDs and d-DNNFs.	Constraints An Int. J.	2019	DBLP DOI BibTeX RDF
14	Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali	Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL.	Frontiers Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	Hesham Hassan	Software Coding and Compiling Techniques for Energy and Power Aware Computing.		2019	DOI RDF
14	Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler	Unraveling Recursion: Compiling an IR with Recursion to System F.	MPC	2019	DBLP DOI BibTeX RDF
14	Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli	Compiling Permutations for Superconducting QPUs.	DATE	2019	DBLP DOI BibTeX RDF
14	Lucas Thies, Christoph Strohmeyer, Jens Ebert, Marc Stamminger, Frank Bauer 0001	Compiling VR/AR Trainings from Business Process Models.	ISMAR Adjunct	2019	DBLP DOI BibTeX RDF