Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Andy King, Paul Soper	Compile-Time Analysis of Concurrent Logic Programs for Multi-processors.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
19	David N. Glass	Compile-time instruction scheduling for superscalar processors.	Compcon	1990	DBLP DOI BibTeX RDF
19	Edward William Giering III, Theodore P. Baker	Compile time scheduling of an Ada subset.	WADAS	1990	DBLP DOI BibTeX RDF
19	Antony L. Hosking, J. Eliot B. Moss	Towards Compile-Time Optimizations for Persistence.	POS	1990	DBLP BibTeX RDF
19	Thomas P. Jensen, Torben Æ. Mogensen	A Backwards Analysis for Compile-time Garbage Collection.	ESOP	1990	DBLP DOI BibTeX RDF
19	Kalyan Muthukumar, Manuel V. Hermenegildo	The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism.	ICLP	1990	DBLP BibTeX RDF
19	Anne Mulkers, William H. Winsborough, Maurice Bruynooghe	Analysis of Shared Data Structures for Compile-Time Garbage.	ICLP	1990	DBLP BibTeX RDF
19	Simon B. Jones, Michael White	Is Compile Time Garbage Collection Worth the Effort?	Functional Programming	1990	DBLP DOI BibTeX RDF
19	Geoff W. Hamilton, Simon B. Jones	Compile-Time Garbage Collection by Necessity Analysis.	Functional Programming	1990	DBLP DOI BibTeX RDF
19	Brian E. Hart, Patrick Valduriez, Scott Danforth	Parallelizing FAD Using Compile-Time Analysis Techniques.	IEEE Data Eng. Bull.	1989	DBLP BibTeX RDF
19	John Peterson	Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time.	FPCA	1989	DBLP DOI BibTeX RDF
19	Vasanth Balasundaram, Ken Kennedy	Compile-time detection of race conditions in a parallel program.	ICS	1989	DBLP DOI BibTeX RDF
19	Feliks Kluzniak	Compile Time Garbage Collection for Ground Prolog.	ICLP/SLP	1988	DBLP BibTeX RDF
19	Evan Tick	Compile-Time Granularity Analysis for Paralle Logic Programming Languages.	FGCS	1988	DBLP BibTeX RDF
19	Christian Lengauer	On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency.	J. Autom. Reason.	1985	DBLP DOI BibTeX RDF
19	James R. Cordy	Compile-Time Detection of Aliasing in Euclid Programs.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
19	Philip Wadler	Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
19	Robert E. Strom	Mechanisms for Compile-Time Enforcement of Security.	POPL	1983	DBLP DOI BibTeX RDF
19	Hamish I. E. Gunn	Compile Time Type Checking of Structure Field Accessing.	Inf. Process. Lett.	1982	DBLP DOI BibTeX RDF
19	F. André, Jean-Pierre Banâtre, Jean-Paul Routeau	A Multiprocessing Approach to Compile-Time Symbol Resolution.	ACM Trans. Program. Lang. Syst.	1981	DBLP DOI BibTeX RDF
19	Jeanne T. Martin	Current topics in fortran development: Macros and Compile-Time Processing.	ACM Annual Conference	1981	DBLP DOI BibTeX RDF
19	Zvi Weiss, Harry J. Saal	Compile time syntax analysis of APL programs.	APL	1981	DBLP DOI BibTeX RDF
19	Juan M. Lafuente	Some Techniques for Compile-Time Analysis of User-Computer Interactions.	IBM J. Res. Dev.	1980	DBLP DOI BibTeX RDF
19	Paul W. Abrahams, Lori A. Clarke	Compile-Time Analysis of Data List-Format List Correspondences.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
19	Gregor von Bochmann	Compile Time Memory Allocation for Parallel Processes.	IEEE Trans. Software Eng.	1978	DBLP DOI BibTeX RDF
19	Jeffrey M. Barth	Shifting Garbage Collection Overhead to Compile Time.	Commun. ACM	1977	DBLP DOI BibTeX RDF
19	Tomás Lang, Eduardo B. Fernández, Rita C. Summers	A system architecture for compile-time actions in databases.	ACM Annual Conference	1977	DBLP DOI BibTeX RDF
19	Peter Henderson 0001	An Approach to Compile-Time Type Checking.	IFIP Congress	1977	DBLP BibTeX RDF
19	Per Brinch Hansen	Disk Scheduling at Compile Time.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
19	David Lorge Parnas, John E. Shore, W. David Elliott	On the need for fewer restrictions in changing compile-time environments.	ACM SIGPLAN Notices	1975	DBLP DOI BibTeX RDF
19	Michael H. Tindall	An Interactive Compile-Time Diagnostic System		1975	RDF
19	A. Hansal	"Software Devices" for Processing Graphs Using PL/I Compile Time Facilities.	Inf. Process. Lett.	1974	DBLP DOI BibTeX RDF
19	Aaron M. Tenenbaum	Compile time type determination in SETL.	ACM Annual Conference (1)	1974	DBLP DOI BibTeX RDF
19	C. J. Burgess	Compile-time error diagnostics in syntax-directed compilers.	Comput. J.	1972	DBLP DOI BibTeX RDF
19	John Nicholls	PL/I compile time extensibility.	ACM SIGPLAN Notices	1969	DBLP DOI BibTeX RDF
19	Jan B. Hext	Compile-Time Type-Matching.	Comput. J.	1967	DBLP DOI BibTeX RDF
19	Craig Chambers	Staged compilation.	PEPM	2002	DBLP DOI BibTeX RDF
17	Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger	Hybrid Analysis: Static & Dynamic Memory Reference Analysis.	Int. J. Parallel Program.	2003	DBLP DOI BibTeX RDF	memory access representation, hybrid analysis, Automatic parallelization
17	Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger	Hybrid analysis: static & dynamic memory reference analysis.	ICS	2002	DBLP DOI BibTeX RDF	hybrid analysis, inter-procedural analysis, run-time parallelization, run-time analysis
17	David W. Wall	Register Windows versus Register Allocation.	PLDI	1988	DBLP DOI BibTeX RDF
17	David W. Wall	Register windows vs. register allocation (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
16	Sam Kamin, Baris Aktemur, Michael Katelman	Staging static analyses for program generation.	GPCE	2006	DBLP DOI BibTeX RDF	static analysis, program generation, staging, run-time code generation
16	Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi 0001, Masato Takeichi	An Efficient Staging Algorithm for Binding-Time Analysis.	LOPSTR	2003	DBLP DOI BibTeX RDF
16	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Aske Plaat	An Efficient Implementation of Java's Remote Method Invocation.	PPoPP	1999	DBLP DOI BibTeX RDF
16	Peter Lee 0001, Mark Leone	Optimizing ML with run-time code generation (with retrospective)	Best of PLDI	1996	DBLP DOI BibTeX RDF
16	Peter Lee 0001, Mark Leone	Optimizing ML with Run-Time Code Generation.	PLDI	1996	DBLP DOI BibTeX RDF
16	François Bry, Michael Eckert	On static determination of temporal relevance for incremental evaluation of complex event queries.	DEBS	2008	DBLP DOI BibTeX RDF	CERA, event queries, temporal relevance, garbage collection, events, rules, complex event processing
16	Armin Rigo	Representation-based just-in-time specialization and the psyco prototype for python.	PEPM	2004	DBLP DOI BibTeX RDF	just-in-time specialization, unlift, representation, python
16	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Implementing Deductive Databases by Mixed Integer Programming.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	negation and disjunction in deductive databases, minimal models
16	Charles Consel	Binding Time Analysis for High Order Untyped Functional Languages.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	SCHEME
15	Sanghyun Park, Eugene Earlie, Aviral Shrivastava, Alex Nicolau, Nikil D. Dutt, Yunheung Paek	Automatic generation of operation tables for fast exploration of bypasses in embedded processors.	DATE	2006	DBLP DOI BibTeX RDF
15	Mira Balaban, Steffen Jurk	Intentions of Operations - Characterization and Preservation.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
15	Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli	Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
15	Thomas Brandes, Frédéric Brégier, Marie Christine Counilh, Jean Roman	Contribution to Better Handling of Irregular Problems in HPF2.	Euro-Par	1998	DBLP DOI BibTeX RDF
15	Brad Calder, Peter Feller, Alan Eustace	Value Profiling.	MICRO	1997	DBLP DOI BibTeX RDF	profiling, invariance, compiler optimization
15	Ding-Kai Chen, Josep Torrellas, Pen-Chung Yew	An efficient algorithm for the run-time parallelization of DOACROSS loops.	SC	1994	DBLP DOI BibTeX RDF
15	Mehrdad Reshadi, Prabhat Mishra 0001, Nikil D. Dutt	Hybrid-compiled simulation: An efficient technique for instruction-set architecture simulation.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	interpretive simulation, partial evaluation, instruction set architecture, Compiled simulation
15	Anne C. Elster, Jan Christian Meyer	A super-efficient adaptable bit-reversal algorithm for multithreaded architectures.	IPDPS	2009	DBLP DOI BibTeX RDF
15	Manuel Carro, José F. Morales 0001, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo	High-level languages for small devices: a case study.	CASES	2006	DBLP DOI BibTeX RDF	program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming
15	Christian Poellabauer, Tao Zhang 0037, Santosh Pande, Karsten Schwan	An Efficient Frequency Scaling Approach for Energy-Aware Embedded Real-Time Systems.	ARCS	2005	DBLP DOI BibTeX RDF
15	Dhruva R. Chakrabarti, Luis A. Lozano, Xinliang D. Li, Robert Hundt, Shin-Ming Liu	Scalable High Performance Cross-Module Inlining.	IEEE PACT	2004	DBLP DOI BibTeX RDF
15	Christopher Dahn, Spiros Mancoridis	Using Program Transformation to Secure C Programs Against Buffer Overflows.	WCRE	2003	DBLP DOI BibTeX RDF
15	Peter Achten, Artem Alimarine, Marinus J. Plasmeijer	When Generic Functions Use Dynamic Values.	IFL	2002	DBLP DOI BibTeX RDF
15	Matthew Flatt	Composable and compilable macros: : you want it when?	ICFP	2002	DBLP DOI BibTeX RDF	language tower, modules, macros
15	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation
15	Koji Kagawa	Monadic Encapsulation with Stack of Regions.	FLOPS	2001	DBLP DOI BibTeX RDF
15	Rich Vuduc, James Demmel, Jeff A. Bilmes	Statistical Models for Automatic Performance Tuning.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
15	Sanjay Ghemawat, Keith H. Randall, Daniel J. Scales	Field analysis: getting useful and low-cost interprocedural information.	PLDI	2000	DBLP DOI BibTeX RDF
15	Morteza Biglari-Abhari, Kamran Eshraghian, Michael J. Liebelt	Improving Binary Compatibility in VLIW Machines through Compiler Assisted Dynamic Rescheduling.	EUROMICRO	2000	DBLP DOI BibTeX RDF
15	Kia Bazargan, Ryan Kastner, Majid Sarrafzadeh	3-D Floorplanning: Simulated Annealing and Greedy Placement Methods for Reconfigurable Computing Systems.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	3-D floorplanning, Reconfigurable computing, floorplanning
15	Hong Tang 0004, Kai Shen, Tao Yang 0009	Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines.	PPoPP	1999	DBLP DOI BibTeX RDF
15	Scott A. Mahlke, Balas K. Natarajan	Compiler Synthesized Dynamic Branch Prediction.	MICRO	1996	DBLP DOI BibTeX RDF	profile information, pipelined processor, compiler analysis, dynamic branch prediction, branch instruction
15	Gilberto Filé, P. Sottero	Abstract Interpretation for Type Checking.	PLILP	1991	DBLP DOI BibTeX RDF
15	Guang R. Gao, Yue-Bong Wong, Qi Ning	A timed Petri-net model for fine-grain loop scheduling.	CASCON	1991	DBLP BibTeX RDF
15	V. Prasad Krothapalli, P. Sadayappan	Exploiting Parallelism Through Run-Time Analysis on a Vector Processor (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	FORTRAN
15	Sang Lyul Min, Yarsun Hsu, Hyoung-Joo Kim	A Design of Performance-optimized Control-based Synchronization.	CONPAR	1990	DBLP DOI BibTeX RDF
14	Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada	On transforming Java-like programs into memory-predictable code.	JTRES	2009	DBLP DOI BibTeX RDF
14	Joseph Gil, Itay Maman	Whiteoak: introducing structural typing into java.	OOPSLA	2008	DBLP DOI BibTeX RDF	structural subtyping, java, abstraction
14	Khaled Z. Ibrahim, François Bodin	Implementing Wilson-Dirac operator on the cell broadband engine.	ICS	2008	DBLP DOI BibTeX RDF	SIMD computer architecture, lattice qcd calculations, multi-core, MPSoC, cell broadband engine, data-parallel computing
14	Kurt Svensson	Faster XML data validation in a programming language with XML datatypes.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion
14	Lixin Su, Mikko H. Lipasti	Speculative optimization using hardware-monitored guarded regions for java virtual machines.	VEE	2007	DBLP DOI BibTeX RDF	precise exceptions, speculative processors, java, virtual machines, transactional memory
14	Pramod G. Joisha, Prithviraj Banerjee	An algebraic array shape inference system for MATLAB.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Typeless array languages, shape algebras, term rewriting
14		Communication Generation for Irregular Parallel Applications.	PARELEC	2006	DBLP DOI BibTeX RDF
14	Peng Wu 0001, Alexandre E. Eichenberger, Amy Wang	Efficient SIMD Code Generation for Runtime Alignment and Length Conversion.	CGO	2005	DBLP DOI BibTeX RDF
14	Ryan Culpepper, Scott Owens, Matthew Flatt	Syntactic Abstraction in Component Interfaces.	GPCE	2005	DBLP DOI BibTeX RDF
14	Steve Carr 0001, Soner Önder	A case for a working-set-based memory hierarchy.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	cache design, loop tiling
14	K. V. Seshu Kumar	When and what to compile/optimize in a virtual machine?	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	relative estimation for hotness detection, selective compilation, tier compilation, online profiling
14	Ismail Kadayif, Mahmut T. Kandemir	Quasidynamic Layout Optimizations for Improving Data Locality.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	array-intensive computations, dynamic optimization, Optimizing compilers, data locality
14	Fen Xie, Margaret Martonosi, Sharad Malik	Intraprogram dynamic voltage scaling: Bounding opportunities with analytic modeling.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	low power, compiler, Analytical model, dynamic voltage scaling, mixed-integer linear programming
14	Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg	Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.	SEFM	2004	DBLP DOI BibTeX RDF	Compiler validation, speculative loop optimizations, formal methods, translation validation
14	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
14	Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhary, Ismail Kadayif	An Integrated Approach for Improving Cache Behavior.	DATE	2003	DBLP DOI BibTeX RDF
14	Kim M. Hazelwood, David Grove	Adaptive Online Context-Sensitive Inlining.	CGO	2003	DBLP DOI BibTeX RDF
14	N. E. Crosbie, Mahmut T. Kandemir, Ibrahim Kolcu, J. Ramanujam, Alok N. Choudhary	Strategies for Improving Data Locality in Embedded Applications.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
14	Daniel Ortega, Mateo Valero, Eduard Ayguadé	A novel renaming mechanism that boosts software prefetching.	ICS	2001	DBLP DOI BibTeX RDF
14	Xin Yuan 0001, Rajiv Gupta 0001, Rami G. Melhem	Compiler Analysis to Support Compiled Communication for HPF-Like Programs.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
14	Esther Stümpel, Michael Thies, Uwe Kastens	VLIW Compilation Techniques for Superscalar Architectures.	CC	1998	DBLP DOI BibTeX RDF
14	Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody	A New General Purpose Parallel Database System.	ISPAN	1997	DBLP DOI BibTeX RDF
14	Jeffrey Dean, Craig Chambers, David Grove	Selective Specialization for Object-Oriented Languages.	PLDI	1995	DBLP DOI BibTeX RDF
14	Farnaz Mounes-Toussi, David J. Lilja, Zhiyuan Li 0001	An evaluation of a compiler optimization for improving the performance of a coherence directory.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF