Search results for "compile"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Sekhar Darbha, Santosh Pande	A robust compile time method for scheduling task parallelism on distributed memory machines.	IEEE PACT	1996	DBLP DOI BibTeX RDF
17	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
17	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
17	Srinivasan Parthasarathy 0001, Wei Li 0015, Michal Cierniak, Mohammed Javeed Zaki	Compile-time inter-query dependence analysis.	SPDP	1996	DBLP DOI BibTeX RDF
17	Jocelyne Erhel, Mounir Hahad, Thierry Priol	Extended Abstract: "No-Compile-Time Knowledge" Distribution of Finite Element Computations on Multiprocessors.	HICSS (1)	1996	DBLP DOI BibTeX RDF
17	Santosh Pande	A Compile Time Partitioning Method for DOALL Loops on Distributed Memory Systems.	ICPP, Vol. 3	1996	DBLP DOI BibTeX RDF
17	M. Manjunathaiah	Compile-time analysis of array sections for parallelization and parallel program verification.		1996	RDF
17	Manuel V. Hermenegildo, Francesca Rossi 0001	Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions.	J. Log. Program.	1995	DBLP DOI BibTeX RDF
17	Chih-Yung Chang, Jang-Ping Sheu	Compile-time scheduling of multithread data localities on multiple vector processors.	Concurr. Pract. Exp.	1995	DBLP DOI BibTeX RDF
17	Michael Hanus	Compile-time Analysis of Nonlinear Constraints in CLP(R).	New Gener. Comput.	1995	DBLP DOI BibTeX RDF
17	Farnaz Mounes-Toussi, David J. Lilja	The Potential of Compile-Time Analysis to Adapt the Cache Coherence Enforcement Strategy to the Data Sharing Characteristics.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
17	Hans Roelsgaard Jensen, Peter Koch 0001	Simulated Annealing Applied to Compile Time Scheduling onto Multiple DSP Architectures.	Parallel and Distributed Computing and Systems	1995	DBLP BibTeX RDF
17	Geoff W. Hamilton	Compile-Time Garbage Collection for Lazy Functional Languages	IWMM	1995	DBLP DOI BibTeX RDF
17	John Willis, Zhiyuan Li 0001, Tsang-Puu Lin	Use of embedded scheduling to compile VHDL for effective parallel simulation.	EURO-DAC	1995	DBLP DOI BibTeX RDF
17	Tor E. Jeremiassen, Susan J. Eggers	Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations.	PPoPP	1995	DBLP DOI BibTeX RDF
17	Gino Maa	Integrating compile-time and runtime parallelism management through revocable thread serialization.		1995	RDF
17	Abraham Mendlson, Shlomit S. Pinter, Ruth Shtokhamer	Compile time instruction cache optimizations.	SIGARCH Comput. Archit. News	1994	DBLP DOI BibTeX RDF
17	Roman Gross, Robert W. Marti	Compile Time Constraint Solving in a Constraint Database System.	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF
17	Francisco Bueno	Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
17	Lasse Natvig	Compile and Runtime Padding: An Approach to Realising Synchronous MIMD Execution.	IFIP Congress (1)	1994	DBLP BibTeX RDF
17	Mourad Raji Werth, John Zahorjan, Paul Feautrier	Using Compile-Time Conditional Analysis to Improve the Performance of Compiler Parallelized Programs.	EUROSIM	1994	DBLP BibTeX RDF
17	Mourad Raji Werth, Paul Feautrier	Optimizing Communications by Using Compile Time Analysis.	CONPAR	1994	DBLP DOI BibTeX RDF
17	Ko-Yang Wang	Precise Compile-Time Performance Prediction for Superscalar-Based Computers.	PLDI	1994	DBLP DOI BibTeX RDF	IBM RS/6000
17	Kwangkeun Yi	Compile-time Detection of Uncaught Exceptions in Standard ML Programs.	SAS	1994	DBLP DOI BibTeX RDF
17	J. Sang, G. W. Peters	Thread Migration on Heterogeneous Systems via Compile-Time Transformations.	ICPADS	1994	DBLP DOI BibTeX RDF
17	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
17	Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo	A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs.	PASCO	1994	DBLP BibTeX RDF
17	Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer	Compile-Time Detection of Information Flow in Sequential Programs.	ESORICS	1994	DBLP DOI BibTeX RDF	formal verification, program analysis, computer security, information flow, verification tools
17	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
17	Evan Tick, Xiaoxiong Zhong	A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation.	New Gener. Comput.	1993	DBLP DOI BibTeX RDF
17	Peter Schnorf, Mahadevan Ganapathi, John L. Hennessy	Compile-time Copy Elimination.	Softw. Pract. Exp.	1993	DBLP DOI BibTeX RDF
17	Patricia Borensztejn, Jesús Labarta, Cristina Barrado	Measures of parallelism at compile time.	PDP	1993	DBLP DOI BibTeX RDF
17	Henri E. Bal, M. Frans Kaashoek	Object Distribution in Orca using Compile-Time and Run-Time Techniques.	OOPSLA	1993	DBLP DOI BibTeX RDF
17	Andreas Kågedal	Improvements in Compile-Time Analysis for Ground Prolog.	PLILP	1993	DBLP DOI BibTeX RDF
17	Tim Sheard	Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection.	AMAST	1993	DBLP BibTeX RDF
17	S. M. S. Syed-Mustaffa, Hugh Glaser	Predicting Optimal AND-Parallelism at Compile Time.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
17	Simon B. Jones, Andrew S. Tyas	The Implementer's Dilemma: A Mathematical Model of Compile Time Garbage Collection.	Functional Programming	1993	DBLP DOI BibTeX RDF
17	Elana D. Granston	Toward a Compile-Time Methodology for Reducing False Sharing and Communication Traffic in Shared Virtual Memory Systems.	LCPC	1993	DBLP DOI BibTeX RDF
17	Richard Neves, Robert B. Schnabel	Efficient Compile-Time/ Run-Time Contraction of Fine Grain Data Parallel Codes.	LCPC	1993	DBLP DOI BibTeX RDF
17	Kalluri Eswar, P. Sadayappan, Chua-Huang Huang	Compile-Time Characterization of Recurrent Patterns in Irregular Computations.	ICPP (2)	1993	DBLP DOI BibTeX RDF
17	Olivier Temam, Elana D. Granston, William Jalby	To copy or not to copy: a compile-time technique for assessing when data copying should be used to eliminate cache conflicts.	SC	1993	DBLP DOI BibTeX RDF
17	Vasanth Bala, Jeanne Ferrante, Larry Carter	Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization.	PPoPP	1993	DBLP DOI BibTeX RDF
17	John M. Mellor-Crummey	Compile-Time Support for Efficient Data Race Detection in Shared-Memory Parallel Programs.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
17	Jyh-Herng Chow	Compile-Time Analysis of Explicitly Parallel Programs		1993	RDF
17	Geoffrey William Hamilton	Compile-time optimisation of store usage in lazy functional programs.		1993	RDF
17	Vítor Manuel de Morais Santos Costa	Compile-time analysis for the parallel execution of logic programs in Andorra-1.		1993	RDF
17	Thomas W. Getzinger	Abstract Interpretation for the Compile-Time Optimization of Logic Programs		1993	RDF
17	Kalyan Muthukumar, Manuel V. Hermenegildo	Compile-Time Derivation of Variable Dependency Using Abstract Interpretation.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
17	Marc Feeley, Guy Lapalme	Closure Generation Based on Viewing Lambda as Epsilon Plus Compile.	Comput. Lang.	1992	DBLP DOI BibTeX RDF
17	David E. Hudak, Santosh G. Abraham	Compile-Time Optimization of Near-Neighbor Communication for Scalable Shared Memory Architecture.	J. Parallel Distributed Comput.	1992	DBLP DOI BibTeX RDF
17	Simon Hughes	Compile-Time Garbage Collection for Higher-Order Functional Languages.	J. Log. Comput.	1992	DBLP DOI BibTeX RDF
17	Andy Mück	CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs.	PLILP	1992	DBLP DOI BibTeX RDF
17	S. Duvvuru, R. Sundararajan, Evan Tick, A. V. S. Sastry, L. Hansen, Xiaoxiong Zhong	A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs.	IWMM	1992	DBLP DOI BibTeX RDF
17	Jyh-Herng Chow, Williams Ludwell Harrison III	Compile-Time Analysis of Parallel Programs that Share Memory.	POPL	1992	DBLP DOI BibTeX RDF
17	Jürgen Knopp	Improving the Performance of Parallel LISP by Compile Time Analysis.	CC	1992	DBLP DOI BibTeX RDF
17	Jan Vitek, R. Nigel Horspool, James S. Uhl	Compile-Time Analysis of Object-Oriented Programs.	CC	1992	DBLP DOI BibTeX RDF
17	David B. Whalley	Fast Instruction Cache Performance Evaluation Using Compile-Time Analysis.	SIGMETRICS	1992	DBLP DOI BibTeX RDF	instruction cache, trace analysis, cache simulation, trace generation
17	Manish Gupta, Prithviraj Banerjee	Compile-Time Estimation of Communication Costs on Multicomputers.	IPPS	1992	DBLP DOI BibTeX RDF
17	Marie-Christine Eglin-Leclerc, Jacques Julliand, Guy-René Perrin	How to Compile Systems of Recurrence Equations into Networks of Communicating Processes.	CONPAR	1992	DBLP DOI BibTeX RDF	asynchronous interpretation, parallel programming, program translation
17	Vasanth Bala, Jeanne Ferrante	Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization of Data Movement (Extended Abstract).	SIGPLAN Workshop	1992	DBLP DOI BibTeX RDF
17	Xiaoxiong Zhong, Evan Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, R. Sundararajan	Towards an Efficient Compile-Time Granularity Analysis Algorithm.	FGCS	1992	DBLP BibTeX RDF
17	G. N. Srinivasa Prasanna, Anant Agarwal	Compile-time Techniques for Processor Allocation in Macro Dataflow Graphs for Multiprocessors.	ICPP (2)	1992	DBLP BibTeX RDF
17	Jeff Baxter, Balkrishna Ramkumar, Janak H. Patel	Compile Time Parallel Resource Allocation for Unbounded Tree Structure Task Graphs.	ICPP (1)	1992	DBLP BibTeX RDF
17	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
17	Yeh-Ching Chung, Sanjay Ranka	Applications and Performance Analysis of a Compile-Time Optimization Approach for List Scheduling Algorithms on Distributed Memory Multiprocessors.	SC	1992	DBLP DOI BibTeX RDF
17	Stephen W. Keckler, William J. Dally	Processor Coupling: Integrating Compile Time and Runtime Scheduling for Parallelism.	ISCA	1992	DBLP DOI BibTeX RDF
17	Andrew Malcolm King	Compile-time analysis of concurrent logic programs for multiprocessors.		1992	RDF
17	Katsuro Inoue, Koji Torii	Implementing and Analysis of Compile-time Garbage Collection.	New Gener. Comput.	1991	DBLP DOI BibTeX RDF
17	Tom M. Mitchell	Plan-Then-Compile Architectures.	SIGART Bull.	1991	DBLP DOI BibTeX RDF
17	Santosh G. Abraham, David E. Hudak	Compile-Time Partitioning of Iterative Parallel Loops to Reduce Cache Coherency Traffic.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	adaptive data partitioning, iterative parallel loops, cache coherency traffic, ADP, communication-reducing back end, machine-specific partitioner, multiprocessor model, programexecution factors, vector notation, global data set, arrayaccesses, underlying system architecture, cache line sizes, hexagonal partitions, parallel programming, parallel machines, program compilers, parallelizing compilers, buffer storage, interprocessor communication, interprocessor communication, communication patterns, parallelprograms
17	Niels Jørgensen, Kim Marriott, Spiro Michaylov	Some Global Compile-Time Optimizations for CLP(R).	ISLP	1991	DBLP BibTeX RDF
17	Ian T. Foster, William H. Winsborough	Copy Avoidance through Compile-Time Analysis and Local Reuse.	ISLP	1991	DBLP BibTeX RDF
17	Catherine Mongenet, Philippe Clauss, Guy-René Perrin	A Geometrical Coding to Compile Affine Recurrence Equations on Regular Arrays.	IPPS	1991	DBLP DOI BibTeX RDF
17	Jamie E. Hoch, D. M. Davenport, V. Gerald Grafe, K. M. Steele	Compile-time partitioning of a non-strict language into sequential threads.	SPDP	1991	DBLP DOI BibTeX RDF
17	Nicholas Carriero, David Gelernter	A Foundation for Advanced Compile-time Analysis of Linda Programs.	LCPC	1991	DBLP DOI BibTeX RDF
17	Charles Koelbel	Compile-time generation of regular communications patterns.	SC	1991	DBLP DOI BibTeX RDF
17	Edward William Giering III	Compile time processing of Ada task constructs for real-time programming.		1991	RDF
17	Evan Tick	Compile-time granularity analysis for parallel logic programming languages.	New Gener. Comput.	1990	DBLP DOI BibTeX RDF
17	Michael Kifer, Eliezer L. Lozinskii	On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF	recursive rules, filtering, projection, selection, inference, deductive databases, dataflow, graph representation, fixpoint
17	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
17	David N. Glass	Compile-time instruction scheduling for superscalar processors.	Compcon	1990	DBLP DOI BibTeX RDF
17	Edward William Giering III, Theodore P. Baker	Compile time scheduling of an Ada subset.	WADAS	1990	DBLP DOI BibTeX RDF
17	Antony L. Hosking, J. Eliot B. Moss	Towards Compile-Time Optimizations for Persistence.	POS	1990	DBLP BibTeX RDF
17	Thomas P. Jensen, Torben Æ. Mogensen	A Backwards Analysis for Compile-time Garbage Collection.	ESOP	1990	DBLP DOI BibTeX RDF
17	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
17	Anne Mulkers, William H. Winsborough, Maurice Bruynooghe	Analysis of Shared Data Structures for Compile-Time Garbage.	ICLP	1990	DBLP BibTeX RDF
17	Simon B. Jones, Michael White	Is Compile Time Garbage Collection Worth the Effort?	Functional Programming	1990	DBLP DOI BibTeX RDF
17	Geoff W. Hamilton, Simon B. Jones	Compile-Time Garbage Collection by Necessity Analysis.	Functional Programming	1990	DBLP DOI BibTeX RDF
17	Brian E. Hart, Patrick Valduriez, Scott Danforth	Parallelizing FAD Using Compile-Time Analysis Techniques.	IEEE Data Eng. Bull.	1989	DBLP BibTeX RDF
17	Alex Abacus	Parameterizing C Code at Compile and Run Time.	Struct. Program.	1989	DBLP BibTeX RDF
17	Lee A. Becker, Ron Bartlett, Fardin Soroushian	Using simulation to compile diagnostic rules from a manufacturing process representation.	SIGART Newsl.	1989	DBLP DOI BibTeX RDF
17	John Peterson	Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time.	FPCA	1989	DBLP DOI BibTeX RDF
17	Vasanth Balasundaram, Ken Kennedy	Compile-time detection of race conditions in a parallel program.	ICS	1989	DBLP DOI BibTeX RDF
17	Robert Strandh	Classes of Equational Programs that Compile into Efficient Machine Code.	RTA	1989	DBLP DOI BibTeX RDF
17	Wayne D. Dettloff, Melodie D. Tebbs	The Omnitest System: A No-Generate, No-Compile, Interactive Test Methodology.	ITC	1989	DBLP DOI BibTeX RDF
17	Feliks Kluzniak	Compile Time Garbage Collection for Ground Prolog.	ICLP/SLP	1988	DBLP BibTeX RDF
17	Evan Tick	Compile-Time Granularity Analysis for Paralle Logic Programming Languages.	FGCS	1988	DBLP BibTeX RDF
17	Christian Lengauer	On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency.	J. Autom. Reason.	1985	DBLP DOI BibTeX RDF
17	James R. Cordy	Compile-Time Detection of Aliasing in Euclid Programs.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
17	Philip Wadler	Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF