Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Mahdi Soltan Mohammadi, Kazem Cheshmi, Ganesh Gopalakrishnan, Mary W. Hall, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, Michelle Mills Strout	Sparse Matrix Code Dependence Analysis Simplification at Compile Time.	CoRR	2018	DBLP BibTeX RDF
19	Marc Leinweber, Hannes Hartenstein, Philipp Andelfinger	Enabling Cross-Event Optimization in Discrete-Event Simulation Through Compile-Time Event Batching.	CoRR	2018	DBLP BibTeX RDF
19	Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal	A session type provider: compile-time API generation of distributed protocols with refinements in F#.	CC	2018	DBLP DOI BibTeX RDF
19	Jisheng Zhao, Oscar R. Hernandez, Reuben D. Budiardja, M. Graham Lopez, Vivek Sarkar, Jack C. Wells	Compile-Time Library Call Detection Using CAASCADE and XALT.	ISC Workshops	2018	DBLP DOI BibTeX RDF
19	Leonidas Fegaras, Md Hasanuzzaman Noor	Compile-Time Code Generation for Embedded Data-Intensive Query Languages.	BigData Congress	2018	DBLP DOI BibTeX RDF
19	Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié	Compile-Time Silent-Store Elimination for Energy Efficiency: an Analytic Evaluation for Non-Volatile Cache Memory.	RAPIDO	2018	DBLP DOI BibTeX RDF
19	Chun-Xun Lin, Tsung-Wei Huang, Martin D. F. Wong	Routing at compile time.	ISQED	2018	DBLP DOI BibTeX RDF
19	Ionut Tamas, Ioan Salomie, Marcel Antal	Atomic invariants verification and deadlock detection at compile-time.	ICCP	2018	DBLP DOI BibTeX RDF
19	Jeremiah J. Wilke, David S. Hollman, Cannada Lewis, Aram Markosyan, Nicolas Morals	Distributed Memory Futures for Compile-Time, Deterministic-by-Default Concurrency in Distributed C++ Applications.	ESPM2@SC	2018	DBLP DOI BibTeX RDF
19	Nicolai Stawinoga	Fast static analysis for compile-time restructuring of application parallelism on Graphics Processing Units.		2018	RDF
19	Gregor Richards, Ellen Arteca, Alexi Turcotte	The VM already knew that: leveraging compile-time knowledge to optimize gradual typing.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
19	Yingfu Zeng, Ferenc A. Bartha, Walid Taha	Compile-Time Extensions to Hybrid ODEs.	SNR@ETAPS	2017	DBLP DOI BibTeX RDF
19	Drosos Kourounis, Leonidas Gergidis, Michael A. Saunders, Andrea Walther, Olaf Schenk	Compile-Time Symbolic Differentiation Using C++ Expression Templates.	CoRR	2017	DBLP BibTeX RDF
19	Josef Eisl, Stefan Marr, Thomas Würthinger, Hanspeter Mössenböck	Trace Register Allocation Policies: Compile-time vs. Performance Trade-offs.	ManLang	2017	DBLP DOI BibTeX RDF
19	Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean	Clairvoyance: look-ahead compile-time scheduling.	CGO	2017	DBLP BibTeX RDF
19	Xiang Gong, Zhongliang Chen, Amir Kavyan Ziabari, Rafael Ubal, David R. Kaeli	TwinKernels: an execution model to improve GPU hardware scheduling at compile time.	CGO	2017	DBLP BibTeX RDF
19	Arjun Suresh, Erven Rohou, André Seznec	Compile-time function memoization.	CC	2017	DBLP BibTeX RDF
19	Matthias Hellerer, Fabian Buse	Compile-time dynamic and recursive data structures in Modelica.	EOOLT	2017	DBLP DOI BibTeX RDF
19	Aleksandar Zlateski, H. Sebastian Seung	Compile-time optimized and statically scheduled N-D convnet primitives for multi-core and many-core (Xeon Phi) CPUs.	ICS	2017	DBLP DOI BibTeX RDF
19	Stefan Zellmann, Ulrich Lang 0002	C++ Compile Time Polymorphism for Ray Tracing.	VMV	2017	DBLP DOI BibTeX RDF
19	Eugene Burmako	Unification of Compile-Time and Runtime Metaprogramming in Scala.		2017	DOI RDF
19	Thierno Barry	Sécurisation à la compilation de logiciels contre les attaques en fautes. (Securing Software Against Fault Attacks at Compile Time ).		2017	RDF
19	Mehdi Akbari, Hassan Rashidi	A multi-objectives scheduling algorithm based on cuckoo optimization for task allocation problem at compile time in heterogeneous systems.	Expert Syst. Appl.	2016	DBLP DOI BibTeX RDF
19	Ahmed Saeed 0003, Ali Ahmadinia, Mike Just	Tag-Protector: An Effective and Dynamic Detection of Illegal Memory Accesses through Compile Time Code Instrumentation.	Adv. Softw. Eng.	2016	DBLP DOI BibTeX RDF
19	Lifeng Liu, Meilin Liu, Chong-Jun Wang, Jun Wang	Compile-Time Automatic Synchronization Insertion and Redundant Synchronization Elimination for GPU Kernels.	ICPADS	2016	DBLP DOI BibTeX RDF
19	Tie Du, Long Zheng 0003, Shaopeng Chen, Hai Jin 0001	Automatic Security Bug Classification: A Compile-Time Approach.	ICPADS	2016	DBLP DOI BibTeX RDF
19	Giovanni Pardini, Paolo Milazzo	A High-Level Model Checking Language with Compile-Time Pruning of Local Variables.	STAF Workshops	2016	DBLP DOI BibTeX RDF
19	Luis Miguel Sánchez, David del Rio Astorga, Manuel F. Dolz, Javier Fernández 0001	CID: A Compile-Time Implementation Decider for Heterogeneous Platforms Based on C++ Attributes.	UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld	2016	DBLP DOI BibTeX RDF
19	Yujia Zhang, Jianmin Pang	A New Compile-Time Obfuscation Scheme for Software Protection.	CyberC	2016	DBLP DOI BibTeX RDF
19	Bhargava Shastry	Towards Vulnerability Discovery Using Extended Compile-time Analysis.	CoRR	2015	DBLP BibTeX RDF
19	Yannis Lilis, Anthony Savidis	An integrated implementation framework for compile-time metaprogramming.	Softw. Pract. Exp.	2015	DBLP DOI BibTeX RDF
19	Peter Pigula, Milan Nosál	Unified compile-time and runtime java annotation processing.	FedCSIS	2015	DBLP DOI BibTeX RDF
19	Yousun Ko 0001, Bernd Burgstaller, Bernhard Scholz	LaminarIR: compile-time queues for structured streams.	PLDI	2015	DBLP DOI BibTeX RDF
19	Áron Baráth, Zoltán Porkoláb	Compile-time Unit Testing.	SQAMIA	2015	DBLP BibTeX RDF
19	Vlad Ureche	Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages.		2015	DOI RDF
19	Safae Dahmani	Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles. (Data Consistency Models and Protocols, Decision and Optimization at Compile Time for Massively Parallel Architectures).		2015	RDF
19	Sebastian Schrittwieser, Stefan Katzenbeisser 0001, Peter Kieseberg, Markus Huber 0001, Manuel Leithner, Martin Mulazzani, Edgar R. Weippl	Covert Computation - Hiding code in code through compile-time obfuscation.	Comput. Secur.	2014	DBLP DOI BibTeX RDF
19	Weiyu Miao, Jeremy G. Siek	Compile-time reflection and metaprogramming for Java.	PEPM	2014	DBLP DOI BibTeX RDF
19	Munara Tolubaeva, Yonghong Yan 0001, Barbara M. Chapman	Predicting Cache Contention for Multithread Applications at Compile Time.	IPDPS Workshops	2014	DBLP DOI BibTeX RDF
19	Marcel Gort, Jason Helge Anderson	Design re-use for compile time reduction in FPGA high-level synthesis flows.	FPT	2014	DBLP DOI BibTeX RDF
19	Syrine Tlili, José M. Fernandez 0001, Abdelfettah Belghith, Bilel Dridi, Soufien Hidouri	Scalable Security Verification of Software at Compile Time.	SCAM	2014	DBLP DOI BibTeX RDF
19	Anil Kurmus, Reinhard Tartler, Daniela Dorneanu, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Wolfgang Schröder-Preikschat, Daniel Lohmann, Rüdiger Kapitza	Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.	NDSS	2013	DBLP BibTeX RDF
19	Madhur Amilkanthwar, Shankar Balachandran	CUPL: a compile-time uncoalesced memory access pattern locator for CUDA.	ICS	2013	DBLP DOI BibTeX RDF
19	Xiaoxian Liu, Rongcai Zhao, Lin Han	A Compile-Time Cost Model for Automatic OpenMP Decoupled Software Pipelining Parallelization.	SNPD	2013	DBLP DOI BibTeX RDF
19	Hao Chen, Chengmo Yang	Fault detection and recovery efficiency co-optimization through compile-time analysis and runtime adaptation.	CASES	2013	DBLP DOI BibTeX RDF
19	Iván Cores, Gabriel Rodríguez 0001, María J. Martín, Patricia González	Achieving Checkpointing Global Consistency Through a Hybrid Compile Time and Runtime Protocol.	ICCS	2013	DBLP DOI BibTeX RDF
19	Munara Tolubaeva, Yonghong Yan 0001, Barbara M. Chapman	Compile Time Modeling of Off-Chip Memory Bandwidth for Parallel Loops.	LCPC	2013	DBLP DOI BibTeX RDF
19	András Vukics	C++QEDv2: The multi-array concept and compile-time algorithms in the definition of composite quantum systems.	Comput. Phys. Commun.	2012	DBLP DOI BibTeX RDF
19	Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler	Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts.	J. Funct. Program.	2012	DBLP DOI BibTeX RDF
19	Yannis Lilis, Anthony Savidis	Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming.	SERENE	2012	DBLP DOI BibTeX RDF
19	Munara Tolubaeva, Yonghong Yan 0001, Barbara M. Chapman	Compile-Time Detection of False Sharing via Loop Cost Modeling.	IPDPS Workshops	2012	DBLP DOI BibTeX RDF
19	Reinhard Tartler, Anil Kurmus, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Dorneanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel Lohmann	Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.	HotDep	2012	DBLP BibTeX RDF
19	Yannis Lilis, Anthony Savidis	Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs.	TOOLS (50)	2012	DBLP DOI BibTeX RDF
19	Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert	Exploring Compile Time Caching of Explicit Queries in Programming Codes.	SRDS	2012	DBLP DOI BibTeX RDF
19	Alden King	Compile-time Optimization of a Scientific Library through Domain-Specific Source-to-Source Translation.		2012	RDF
19	Xinyu Yuan, Ying Li 0001, ShuiGuang Deng, Jie Chen 0012	Improved Affine Partition Algorithm for Compile-Time and Runtime Performance.	Intell. Autom. Soft Comput.	2011	DBLP DOI BibTeX RDF
19	Ralf Hinze	Typed quote/antiquote or: Compile-time parsing.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
19	Ian Gray, Neil C. Audsley	Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation.	LCTES	2011	DBLP DOI BibTeX RDF
19	Ghazaleh Nazarian, Christos Strydis, Georgi Gaydadjiev	Compatibility Study of Compile-Time Optimizations for Power and Reliability.	DSD	2011	DBLP DOI BibTeX RDF
19	Mark Gebhart, Stephen W. Keckler, William J. Dally	A compile-time managed multi-level register file hierarchy.	MICRO	2011	DBLP DOI BibTeX RDF
19	Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas	On Compile Time Knuth-Morris-Pratt Precomputation.	Stringology	2011	DBLP BibTeX RDF
19	Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov	Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer.	RV	2011	DBLP DOI BibTeX RDF
19	Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-Preikschat	Feature consistency in compile-time-configurable system software: facing the linux 10, 000 feature problem.	EuroSys	2011	DBLP DOI BibTeX RDF
19	Madhura Purnaprajna, Mario Porrmann, Ulrich Rückert 0001, Michael Hussmann, Michael Thies, Uwe Kastens	Runtime Reconfiguration of Multiprocessors Based on Compile-Time Analysis.	ACM Trans. Reconfigurable Technol. Syst.	2010	DBLP DOI BibTeX RDF
19	Gert-Jan van den Braak, Bart Mesman, Henk Corporaal	Compile-time GPU memory access optimizations.	ICSAMOS	2010	DBLP DOI BibTeX RDF
19	Ian Gray, Neil C. Audsley	Supporting islands of coherency for highly-parallel embedded architectures using compile-time virtualisation.	SCOPES	2010	DBLP DOI BibTeX RDF
19	Eric Bodden, Patrick Lam 0001	Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement.	RV	2010	DBLP DOI BibTeX RDF
19	Zoltán Porkoláb, Ábel Sinkovics	Domain-specific language integration with compile-time parser generator library.	GPCE	2010	DBLP DOI BibTeX RDF
19	Wei Shi, Zhiying Wang 0003, Hongguang Ren, Ting Cao, Wei Chen 0009, Bo Su, Hongyi Lu	DSS: Applying asynchronous techniques to architectures exploiting ILP at compile time.	ICCD	2010	DBLP DOI BibTeX RDF
19	Chao Zhang 0008, Tielei Wang, Tao Wei, Yu Chen, Wei Zou	IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time.	ESORICS	2010	DBLP DOI BibTeX RDF
19	Karl Rupp	Symbolic integration at compile time in finite element methods.	ISSAC	2010	DBLP DOI BibTeX RDF
19	Ian Gray	Developing embedded software using compile-time virtualisation.		2010	RDF
19	Conglun Yao	Strongly typed, compile-time safe and loosely coupled data persistence.		2010	RDF
19	Paul M. Carpenter, Alex Ramírez, Eduard Ayguadé	The Abstract Streaming Machine: Compile-Time Performance Modelling of Stream Programs on Heterogeneous Multiprocessors.	SAMOS	2009	DBLP DOI BibTeX RDF
19	Maxime Pelcat, Pierrick Menuet, Slaheddine Aridhi, Jean-François Nezan	Scalable compile-time scheduler for multi-core architectures.	DATE	2009	DBLP DOI BibTeX RDF
19	Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards	Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.	CC	2009	DBLP DOI BibTeX RDF	Concurrency, Synchronization, Static Analysis, Clocks, X10, NuSMV
19	Emanuele Covino, Giovanni Pani, Daniele Scrimieri	Compile-time Computation of Polytime Functions.	J. Univers. Comput. Sci.	2007	DBLP DOI BibTeX RDF
19	Michal Korzycki	A Compile-Time Deadlock Detection Pattern.	Comput. Sci.	2007	DBLP DOI BibTeX RDF
19	Chunhua Liao, Barbara M. Chapman	Invited Paper: A Compile-time Cost Model for OpenMP.	IPDPS	2007	DBLP DOI BibTeX RDF
19	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch	Model Checking Software at Compile Time.	TASE	2007	DBLP DOI BibTeX RDF
19	Scott Owens	Compile-Time Information in Software Components.		2007	RDF
19	Renaud Pawlak	Spoon: Compile-time Annotation Processing for Middleware.	IEEE Distributed Syst. Online	2006	DBLP DOI BibTeX RDF
19	Mohammad I. Daoud, Nawwaf N. Kharma	Efficient Compile-Time Task scheduling for Heterogeneous Distributed Computing Systems.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
19	Juan Chen 0001, Huizhan Yi, Xuejun Yang, Liang Qian	Compile-Time Energy Optimization for Parallel Applications in On-Chip Multiprocessors.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
19	Tarek Hagras, Jan Janecek	A Machine Assignment Mechanism for Compile-Time List-Scheduling Heuristics.	Comput. Artif. Intell.	2005	DBLP BibTeX RDF
19	Tarek Hagras, Jan Janecek	A high performance, low complexity algorithm for compile-time task scheduling in heterogeneous systems.	Parallel Comput.	2005	DBLP DOI BibTeX RDF
19	Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv	Establishing local temporal heap safety properties with applications to compile-time memory management.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
19	Tarek Hagras, Jan Janecek	A Fast Compile-Time Task Scheduling Heuristic for Homogeneous Computing Environments.	Int. J. Comput. Their Appl.	2005	DBLP BibTeX RDF
19	Hai Li 0007, Mark Fisher 0001, Moe Razaz	Compile-Time Task Scheduling using a Fuzzy Inference System.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
19	V. Krishna Nandivada, David Detlefs	Compile-Time Concurrent Marking Write Barrier Removal.	CGO	2005	DBLP DOI BibTeX RDF
19	Ting Lei, Xi Li 0003, Xiao Hu, Xuehai Zhou	Compile-Time Energy Reduction Techniques based on Voltage Scaling Characteristic.	IASTED Conf. on Software Engineering	2005	DBLP BibTeX RDF
19	Russell A. McClure, Ingolf H. Krüger	SQL DOM: compile time checking of dynamic SQL statements.	ICSE	2005	DBLP DOI BibTeX RDF	SQL DOM, SQL strings, dynamic SQL, SQL, SQL injection, impedance mismatch
19	Patrick Rogers, Andy J. Wellings	The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery
19	Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu	A compile-time optimization framework for Ada rendezvous.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	task, asynchronous communication, rendezvous, synchronous communication
19	Tarek Hagras, Jan Janecek	High Performance Duplication-Based Algorithm for Compile-Time Task Scheduling in a Bounded Number of Heterogeneous Machines.	PDCS	2004	DBLP BibTeX RDF
19	Seung-Jai Min, Rudolf Eigenmann	Combined compile-time and runtime-driven, pro-active data movement in software DSM systems.	LCR	2004	DBLP DOI BibTeX RDF
19	Gary Gréwal, Thomas Charles Wilson, Andrew Morton	An EGA approach to the compile-time assignment of data to multiple memories in digital-signal processors.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF
19	Tarek Hagras, Jan Janecek	A High Performance, Low Complexity Algorithm for Compile-Time Job Scheduling in Homogeneous Computing Environments.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
19	Michael F. P. O'Boyle, Elena Stöhr	Compile Time Barrier Synchronization Minimization.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	synchronization reduction, efficient parallelization, barrier minimization, graph algorithms, Compiler optimization
19	Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe	Practical Aspects for a Working Compile Time Garbage Collection System for Mercury	CoRR	2001	DBLP BibTeX RDF