Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Abraham Mendlson, Shlomit S. Pinter, Ruth Shtokhamer	Compile Time Instruction Cache Optimizations.	CC	1994	DBLP DOI BibTeX RDF
26	Bruno Carpentieri, Z. George Mou	Compile-time transformations and optimization of parallel Divide-and-Conquer algorithms.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C++
26	Vivek Sarkar, John L. Hennessy	Compile-time partitioning and scheduling of parallel programs.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Ahmed Abukmail, Abdelsalam Helal	A Near-Zero Run-Time Energy Overhead within a Computation Outsourcing Framework for Energy Management in Mobile Devices.	ITNG	2008	DBLP DOI BibTeX RDF	Battery Monitor, Outsourcing, Energy Management, Smart Spaces, Energy Monitor
24	Sundararajan Sriram, Edward A. Lee	Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
24	Venkat Chakravarthy, John Regehr, Eric Eide	Edicts: implementing features with flexible binding times.	AOSD	2008	DBLP DOI BibTeX RDF
23	Dan Ernst, Andrew Hamel, Todd M. Austin	Cyclone: A Broadcast-Free Dynamic Instruction Scheduler with Selective Replay.	ISCA	2003	DBLP DOI BibTeX RDF
23	Santosh Pande, Dharma P. Agrawal, Jon Mauney	A Scalable Scheduling Scheme for Functional Parallelism on Distributed Memory Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
22	Belgin Ergenc, Franck Morvan, Abdelkader Hameurlain	Robust Placement of Mobile Relational Operators for Large Scale Distributed Query Optimization.	PDCAT	2007	DBLP DOI BibTeX RDF
22	DeLesley Hutchins	Eliminating distinctions of class: using prototypes to model virtual classes.	OOPSLA	2006	DBLP DOI BibTeX RDF	virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types
22	Mira Balaban, Steffen Jurk	Effect Preservation as a Means for Achieving Update Consistency.	FQAS	2002	DBLP DOI BibTeX RDF
22	David Bernstein, Doron Cohen, Dror E. Maydan	Dynamic memory disambiguation for array references.	MICRO	1994	DBLP DOI BibTeX RDF
22	Ayon Basumallik, Rudolf Eigenmann	Optimizing irregular shared-memory applications for distributed-memory systems.	PPoPP	2006	DBLP DOI BibTeX RDF	computation-communication overlap, iteration reordering, performance, MPI, OpenMP, compiler techniques
22	Moo-Kyoung Chung, Chong-Min Kyung	Improvement of Compiled Instruction Set Simulator by Increasing Flexibility a.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
22	Christoph von Praun, Thomas R. Gross	Static conflict analysis for multi-threaded object-oriented programs.	PLDI	2003	DBLP DOI BibTeX RDF	heap shape graph, object use graph, representations for concurrent programs, program analysis, race detection
21	Xhevahire Tërnava, Mathieu Acher, Benoît Combemale	Specialization of Run-time Configuration Space at Compile-time: An Exploratory Study.	SAC	2023	DBLP DOI BibTeX RDF
21	Xhevahire Tërnava, Mathieu Acher, Benoît Combemale	Specialization of Run-time Configuration Space at Compile-time: An Exploratory Study.	CoRR	2022	DBLP DOI BibTeX RDF
21	Bangtian Liu, Avery Laird, Wai Hung Tsang, Bardia Mahjour, Maryam Mehri Dehnavi	Combining Run-Time Checks and Compile-Time Analysis to Improve Control Flow Auto-Vectorization.	PACT	2022	DBLP DOI BibTeX RDF
21	Luc Lesoil, Mathieu Acher, Xhevahire Tërnava, Arnaud Blouin, Jean-Marc Jézéquel	The interplay of compile-time and run-time options for performance prediction.	SPLC (A)	2021	DBLP DOI BibTeX RDF
21	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
21	Niek J. Bouman	Multiprecision Arithmetic for Cryptology in C++ - Compile-Time Computations and Beating the Performance of Hand-Optimized Assembly at Run-Time.	CoRR	2018	DBLP BibTeX RDF
21	Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel	Variability encoding: From compile-time to load-time variability.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
21	Morteza Mohajjel Kafshdooz, Mohammadkazem Taram, Sepehr Assadi, Alireza Ejlali	A Compile-Time Optimization Method for WCET Reduction in Real-Time Embedded Systems through Block Formation.	ACM Trans. Archit. Code Optim.	2016	DBLP DOI BibTeX RDF
21	Lucian Radu Teodorescu, Vlad Dumitrel, Rodica Potolea	Moving computations from run-time to compile-time: hyper-metaprogramming in practice.	Conf. Computing Frontiers	2014	DBLP DOI BibTeX RDF
21	Christoph Bockisch, Andreas Sewe, Martin Zandberg	ALIA4J's [(just-in-time) compile-time] MOP for advanced dispatching.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
21	Carlo Brandolese, William Fornaciari	A Framework for Compile-time and Run-time Management of Non-functional Aspects in WSNs Nodes.	DSD	2009	DBLP DOI BibTeX RDF
21	Chun-Yu Shei, Arun Chauhan 0001, Sidney Shaw	Compile-time disambiguation of MATLAB types through concrete interpretation with automatic run-time fallback.	HiPC	2009	DBLP DOI BibTeX RDF
21	Chun-Yu Shei, Arun Chauhan 0001	Compile-Time Disambiguation of MATLAB Types through Concrete Interpretation with Automatic Run-Time Fallback.	eScience	2008	DBLP DOI BibTeX RDF	octave, compiler, type inference, MATLAB, constant propagation
21	Alastair F. Donaldson, Paul Keir, Anton Lokhmotov	Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
21	A. Louise Perkins, M. J. Miller	A compile time configurable, load time modifyable ocean model.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
21	Sungdo Moon, Byoungro So, Mary W. Hall	Combining compile-time and run-time parallelization.	Sci. Program.	1999	DBLP DOI BibTeX RDF
21	Sandhya Dwarkadas, Honghui Lu, Alan L. Cox, Ram Rajamony, Willy Zwaenepoel	Combining compile-time and run-time support for efficient software distributed shared memory.	Proc. IEEE	1999	DBLP DOI BibTeX RDF
21	Bruce S. Siegell, Peter Steenkiste	Automatic selection of load balancing parameters using compile-time and run-time information.	Concurr. Pract. Exp.	1997	DBLP DOI BibTeX RDF
21	Allen Leung, Krishna V. Palem, Cristian Ungureanu	Run-Time versus Compile-Time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Trade-Off.	J. Parallel Distributed Comput.	1997	DBLP DOI BibTeX RDF
21	Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche	A Uniform Approach for Compile-Time and Run-Time Specialization.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
21	Allen Leung, Krishna V. Palem, Cristian Ungureanu	Run-time versus compile-time instruction scheduling in superscalar (RISC) processors: performance and tradeoffs.	HiPC	1996	DBLP DOI BibTeX RDF
21	Rajiv Gupta 0001, Madalene Spezialetti	Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real- Time Tasks.	RTSS	1994	DBLP DOI BibTeX RDF
21	Shamik D. Sharma, Ravi Ponnusamy, Bongki Moon, Yuan-Shin Hwang, Raja Das, Joel H. Saltz	Run-time and compile-time support for adaptive irregular problems.	SC	1994	DBLP DOI BibTeX RDF
21	Henri E. Bal, M. Frans Kaashoek	Object Distribution in Orca using Compile-Time and Run-Time Techniques.	OOPSLA	1993	DBLP DOI BibTeX RDF
21	Richard Neves, Robert B. Schnabel	Efficient Compile-Time/ Run-Time Contraction of Fine Grain Data Parallel Codes.	LCPC	1993	DBLP DOI BibTeX RDF
21	Shridhar B. Shukla, Brian Little, Amr Zaky	A Compile-Time Technique for Contorlling Real-Time Execution of Task-Level Data-Flow Graphs.	ICPP (2)	1992	DBLP BibTeX RDF
21	Edward William Giering III	Compile time processing of Ada task constructs for real-time programming.		1991	RDF
21	Camillo Bruni, Toon Verwaest	PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	PyPy, RPython, whole-system virtual machine, translation toolchain, compile-time meta-programming Game Boy, 8-bit CPU, Python, high-level language
21	Jurriaan Hage, Stefan Holdermans	Heap recycling for lazy languages.	PEPM	2008	DBLP DOI BibTeX RDF	compile-time garbage collection, lazy functional programming, type-based program analysis
21	Tarek Hagras, Jan Janecek	A Static Task Scheduling Heuristic for Homogeneous Computing Environments.	PDP	2004	DBLP DOI BibTeX RDF	homogeneous computing, list scheduling, compile time scheduling, task graph scheduling
21	Bozhidar Dimitrov, Vernon Rego	Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Heterogeneous thread migration, compile-time code transformations, C++, user-level threads
21	Germán Puebla, Manuel V. Hermenegildo	Implementation of Multiple Specialization in Logic Programs.	PEPM	1995	DBLP DOI BibTeX RDF	compile-time analysis, multiple program specialization, optimization, multimedia, distributed computing, logic programming, graphical user interfaces, reconfiguration, abstract interpretation, direct manipulation, user interface management system
21	Milan M. Jovanovic, Milo Tomasevic, Veljko M. Milutinovic	A simulation-based comparison of two reflective memory approaches.	HICSS (1)	1995	DBLP DOI BibTeX RDF	simulation-based comparison, reflective memory approaches, Reflective Memory/Memory Channel, RM/MC system, bus-based system architecture, update consistency mechanism, block transfers, simulation analysis, synthetic workload model, real-time response, run-time actions, compile-time actions, performance evaluation, real-time systems, virtual machines, shared memory systems, distributed memory systems, system buses, message latency, data handling, distributed shared memory systems, shared data
21	David J. Lilja, Pen-Chung Yew	Improving Memory Utilization in Cache Coherence Directories.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	memory utilization, cache coherence directories, large-scale shared memorymultiprocessors, software-directed schemes, compile-time memory disambiguation, dynamically tagged directory, high-level sharing information, configurationmanagement, discrete event simulation, compiler optimizations, program compilers, shared memory systems, trace-driven simulations, buffer storage, storage allocation, interprocedural analysis
21	Soo-Mook Moon, Kemal Ebcioglu	An efficient resource-constrained global scheduling technique for superscalar and VLIW processors.	MICRO	1992	DBLP DOI BibTeX RDF	compile-time parallelization, instruction-level parallelism, VLIW, superscalar
21	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
21	Alexandru Nicolau	Run-Time Disambiguation: Coping with Statically Unpredictable Dependencies.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	statically unpredictable dependencies, run-time disambiguation, indirect memory references, run-time behavior, static transformations, static dependency analysis, Bulldog compiler, parallelism, code, program compilers, antialiasing, memory disambiguation, compile time, RTD
21	Xiaolan Joy Zhang, Sujay S. Parekh, Bugra Gedik, Henrique Andrade, Kun-Lung Wu	Workload characterization for operator-based distributed stream processing applications.	DEBS	2010	DBLP DOI BibTeX RDF	stream processing system, profiling, workload characterization
21	Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup	Minimizing dependencies within generic classes for faster and smaller programs.	OOPSLA	2009	DBLP DOI BibTeX RDF	generalized hoisting, scary assignments and initializations, generics, templates
21	Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen	A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.	SAS	2007	DBLP DOI BibTeX RDF
21	N. P. Manoj, K. V. Manjunath, R. Govindarajan	CAS-DSM: A Compiler Assisted Software Distributed Shared Memory.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	Coherent Virtual Machine (CVM), Stanford University Intermediate Form (SUIF), performance evaluation, software distributed shared memory
21	Giovanni Lagorio	Another step towards a smart compilation manager for Java.	SAC	2004	DBLP DOI BibTeX RDF	Java, separate compilation
21	Spyridon Triantafyllis, Manish Vachharajani, Neil Vachharajani, David I. August	Compiler Optimization-Space Exploration.	CGO	2003	DBLP DOI BibTeX RDF
21	Robert Harper 0001, Mark Lillibridge	A Type-Theoretic Approach to Higher-Order Modules with Sharing.	POPL	1994	DBLP DOI BibTeX RDF
21	Alexander Paar, Walter F. Tichy	Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL.	ASE	2006	DBLP DOI BibTeX RDF
21	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
21	Jack W. Davidson, Christopher W. Fraser	Automatic generation of peephole optimizations.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
21	Jack W. Davidson, Christopher W. Fraser	Automatic generation of peephole optimizations (with retrospective)	Best of PLDI	1984	DBLP DOI BibTeX RDF
19	Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou	SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems.	CGO	2024	DBLP DOI BibTeX RDF
19	Alexis Engelke, Tobias Schwarz	Compile-Time Analysis of Compiler Frameworks for Query Compilation.	CGO	2024	DBLP DOI BibTeX RDF
19	Simon Henniger, Nada Amin	The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
19	Jules Penuchot, Joel Falcou	ctbench - compile-time benchmarking and analysis.	J. Open Source Softw.	2023	DBLP DOI BibTeX RDF
19	Pratik Fegade, Tianqi Chen, Phillip B. Gibbons, Todd C. Mowry	ACRoBat: Optimizing Auto-batching of Dynamic Deep Learning at Compile Time.	CoRR	2023	DBLP DOI BibTeX RDF
19	Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel	Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.	CoRR	2023	DBLP DOI BibTeX RDF
19	Richard Ostertág	On the usefulness of linear types for correct nonce use enforcement during compile time.	CoRR	2023	DBLP DOI BibTeX RDF
19	Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare, Purushottam Kar	Advances in Automated Pedagogical Compile-time Error Repair.	ISEC	2023	DBLP DOI BibTeX RDF
19	Simon Henniger, Nada Amin	The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea).	ECOOP	2023	DBLP DOI BibTeX RDF
19	Stephen Nicholas Swatman, Ana Lucia Varbanescu, Andy D. Pimentel, Andreas Salzburger, Attila Krasznahorkay	Systematically Exploring High-Performance Representations of Vector Fields Through Compile-Time Composition.	ICPE	2023	DBLP DOI BibTeX RDF
19	Arslan Khan, Dongyan Xu, Dave Jing Tian	Low-Cost Privilege Separation with Compile Time Compartmentalization for Embedded Systems.	SP	2023	DBLP DOI BibTeX RDF
19	Maciej Bendkowski	Automatic compile-time synthesis of entropy-optimal Boltzmann samplers.	CoRR	2022	DBLP DOI BibTeX RDF
19	Anastasiia Birillo, Elena Lyulina, Maria Malysheva, Vladislav Tankov, Timofey Bryksin	Reflekt: a Library for Compile-Time Reflection in Kotlin.	CoRR	2022	DBLP BibTeX RDF
19	Zhihe Zhao, Neiwen Ling, Nan Guan, Guoliang Xing	Aaron: Compile-Time Kernel Adaptation for Multi-DNN Inference Acceleration on Edge GPU.	SenSys	2022	DBLP DOI BibTeX RDF
19	Julian Reisch, Peter Großmann	Automatic Refactoring and Compile Time Optimization of Cpp Projects by Directly Including Header Files.	ICCTA	2022	DBLP DOI BibTeX RDF
19	Xhevahire Tërnava, Mathieu Acher, Luc Lesoil, Arnaud Blouin, Jean-Marc Jézéquel	Scratching the Surface of ./configure: Learning the Effects of Compile-Time Options on Binary Size and Gadgets.	ICSR	2022	DBLP DOI BibTeX RDF
19	Anastasiia Birillo, Elena Lyulina, Maria Malysheva, Vladislav Tankov, Timofey Bryksin	Reflekt: a Library for Compile-Time Reflection in Kotlin.	ICSE (SEIP)	2022	DBLP DOI BibTeX RDF
19	Van Man Nguyen	Compile-time Validation and Optimization of MPI Nonblocking Communications. (Vérification et optimisation à la compilation des communications MPI non-bloquantes).		2022	RDF
19	Fateme S. Hosseini, Chengmo Yang	A Compile-Time Framework for Tolerating Read Disturbance in STT-RAM.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2021	DBLP DOI BibTeX RDF
19	Sandip Ghosal, R. K. Shyamasundar	Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language.	CoRR	2021	DBLP BibTeX RDF
19	Michael Blesel, Michael Kuhn 0003, Jannek Squar	heimdallr: Improving Compile Time Correctness Checking for Message Passing with Rust.	ISC Workshops	2021	DBLP DOI BibTeX RDF
19	Weitian Xing, Yuanhui Cheng, Werner Dietl	Ensuring correct cryptographic algorithm and provider usage at compile time.	FTfJP@ECOOP	2021	DBLP DOI BibTeX RDF
19	Tarindu Jayatilaka, Hideto Ueno, Giorgis Georgakoudis, Eunjung Park, Johannes Doerfert	Towards Compile-Time-Reducing Compiler Optimization Selection via Machine Learning.	ICPP Workshops	2021	DBLP DOI BibTeX RDF
19	Yu-Hsin Hung, Bing-Jhong Jheng, Hong-Wei Li, Wen-Yang Lai, Sanoop Mallissery, Yu-Sung Wu	Mixed-mode Information Flow Tracking with Compile-time Taint Semantics Extraction and Offline Replay.	DSC	2021	DBLP DOI BibTeX RDF
19	Yauhen Klimiankou	Compile-Time Evaluations on Target ISA Basis.	CSIT (2)	2021	DBLP DOI BibTeX RDF
19	Yujie Zhao, Zhanyong Tang, Guixin Ye, Dongxu Peng, Dingyi Fang, Xiaojiang Chen, Zheng Wang 0001	Compile-time code virtualization for android applications.	Comput. Secur.	2020	DBLP DOI BibTeX RDF
19	Smith Dhumbumroong, Krerk Piromsopa	BoundWarden: Thread-enforced spatial memory safety through compile-time transformations.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
19	Akshay Bhosale, Rudolf Eigenmann	Compile-time Parallelization of Subscripted Subscript Patterns.	IPDPS Workshops	2020	DBLP DOI BibTeX RDF
19	Lars Kroll	Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems.		2020	RDF
19	Leonidas Fegaras	Compile-Time Query Optimization for Big Data Analytics.	Open J. Big Data	2019	DBLP BibTeX RDF
19	Paul M. Carpenter, Alex Ramírez, Eduard Ayguadé	The Abstract Streaming Machine: Compile-Time Performance Modelling of Stream Programs on Heterogeneous Multiprocessors.	Trans. High Perform. Embed. Archit. Compil.	2019	DBLP DOI BibTeX RDF
19	Akshay Bhosale, Rudolf Eigenmann	Compile-time Parallelization of Subscripted Subscript Patterns.	CoRR	2019	DBLP BibTeX RDF
19	Youcong Ni, Xin Du, Peng Ye 0002, Ruliang Xiao, Yuan Yuan, Wangbiao Li	Frequent pattern mining assisted energy consumption evolutionary optimization approach based on surrogate model at GCC compile time.	Swarm Evol. Comput.	2019	DBLP DOI BibTeX RDF
19	David B. Thomas	Compile-Time Generation of Custom-Precision Floating-Point IP using HLS Tools.	ARITH	2019	DBLP DOI BibTeX RDF
19	Nataliya Osipova, Oleksandr Kyriukhin	Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6.	ICTERI	2019	DBLP BibTeX RDF
19	Martin Kellogg	Compile-Time Detection of Machine Image Sniping.	ASE	2019	DBLP DOI BibTeX RDF
19	Yuanlong Xiao, Dongjoon Park, Andrew Butt, Hans Giesen, Zhaoyang Han, Rui Ding, Nevo Magnezi, Raphael Rubin, André DeHon	Reducing FPGA Compile Time with Separate Compilation for FPGA Building Blocks.	FPT	2019	DBLP DOI BibTeX RDF