|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1050 occurrences of 701 keywords
|
|
|
Results
Found 1710 publication records. Showing 1710 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #201 - #300 of 1710 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|