Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Pramod G. Joisha, Prithviraj Banerjee	The Efficient Computation of Ownership Sets in HPF.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	array alignment, array distribution, ownership set, Fourier-Motzkin Elimination technique, parallelizing compiler, HPF
7	Satyam Tyagi, Paul Tarau	A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.	PADL	2001	DBLP DOI BibTeX RDF
7	Peter Thiemann 0001	Enforcing Safety Properties Using Type Specialization.	ESOP	2001	DBLP DOI BibTeX RDF
7	Matthieu Martel, Marc Gengler	Partial Evaluation of Concurrent Programs.	Euro-Par	2001	DBLP DOI BibTeX RDF	Partial Evaluation, Control Flow Analysis, Concurrent Languages, Binding-time Analysis
7	Denis Caromel, Julien Vayssière	Reflections on MOPs, Components, and Java Security.	ECOOP	2001	DBLP DOI BibTeX RDF
7	Matthew Fluet, Stephen Weeks	Contification Using Dominators.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
7	Miki Abu, Israel Ben-Shaul	A Multi-threading Model for Distributed Mobile Objects and Its Realization in FarGo.	ICDCS	2001	DBLP DOI BibTeX RDF	Java, Multi-Threading, Distributed Objects, Mobile Objects
7	Anurag Choudhary, T. V. Prabhakar	TransWeb: A Framework for Development of Transparent Load-Balanced Web Applications.	DOA	2001	DBLP DOI BibTeX RDF	Web Server Load-balancing, Web Applications, Distributed Object, code mobility
7	Sally A. McKee, William A. Wulf, James H. Aylor, Robert H. Klenke, Maximo H. Salinas, Sung I. Hong, Dee A. B. Weikle	Dynamic Access Ordering for Streamed Computations.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Memory systems architecture, memory access ordering, memory access scheduling, memory bandwidth, memory latency
7	Csaba Andras Moritz, Matthew I. Frank, Saman P. Amarasinghe	FlexCache: A Framework for Flexible Compiler Generated Data Caching.	Intelligent Memory Systems	2000	DBLP DOI BibTeX RDF
7	Françoise Harmsze, Adwin H. Timmer, Jef L. van Meerbergen	Memory Arbitration and Cache Management in Stream-Based Systems.	DATE	2000	DBLP DOI BibTeX RDF
7	Tsung-Chuan Huang, Chi-Fan, Po-Hsueh Hsu	An Efficient Run-Time Scheme for Exploiting Parallelism on Multiprocessor Systems.	HiPC	2000	DBLP DOI BibTeX RDF
7	Michael Hind, Anthony Pioli	Which pointer analysis should I use?	ISSTA	2000	DBLP DOI BibTeX RDF	interprocedural pointer analysis, data flow analysis
7	Virgil Andronache, Edwin Hsing-Mean Sha, Nelson L. Passos	Design and analysis of efficient application-specific on-line page replacement techniques.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF
7	Michael Voss, Rudolf Eigenmann	ADAPT: Automated De-Coupled Adaptive Program Transformation.	ICPP	2000	DBLP DOI BibTeX RDF
7	Zhong Wang, Michael Kirkpatrick 0001, Edwin Hsing-Mean Sha	Optimal two level partitioning and loop scheduling for hiding memory latency for DSP applications.	DAC	2000	DBLP DOI BibTeX RDF
7	Robert Kennedy, Sun Chan, Shin-Ming Liu, Raymond Lo, Peng Tu, Fred C. Chow	Partial redundancy elimination in SSA form.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	partial redundancy, data flow analysis, code motion, static single assignment form, common subexpressions
7	Claude Laï	Using Constraints in Local Proofs for CLP Debugging.	PADL	1999	DBLP DOI BibTeX RDF
7	Hongwei Xi	Dead Code Elimination through Dependent Types.	PADL	1999	DBLP DOI BibTeX RDF
7	Derek L. Howard, Mikko H. Lipasti	The Effect of Program Optimization on Trace Cache Efficiency.	IEEE PACT	1999	DBLP DOI BibTeX RDF	compiler optimization, Microarchitecture, superscalar processors, trace cache
7	Nicholas Mitchell, Larry Carter, Jeanne Ferrante	Localizing Non-Affine Array References.	IEEE PACT	1999	DBLP DOI BibTeX RDF	shackling, indirect memory references, inspector-executor, cache, locality, tiling, TLB, remapping
7	Madhavi Gopal Valluri, R. Govindarajan	Evaluating Register Allocation and Instruction Scheduling Techniques in Out-Of-Order Issue Processors.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Out-of-order Issue Processors, Instruction-Level Parallelism, Register Allocation, Instruction Scheduling, Integrated Methods
7	Aziz Moukrim, Eric Sanlaville, Frédéric Guinand	Scheduling with Communication Delays and On-Line Disturbances.	Euro-Par	1999	DBLP DOI BibTeX RDF
7	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
7	Christopher W. Fraser, Todd A. Proebsting	Finite-Static Code Generation.	PLDI	1999	DBLP DOI BibTeX RDF
7	S. Tucker Taft	Programming Language Design and Software Quality.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
7	Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger	How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?	TOOLS (32)	1999	DBLP DOI BibTeX RDF	pragmatical class methods, static type safety, language design, covariance, binary methods
7	Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel	A General Framework to Solve Agreement Problems.	SRDS	1999	DBLP DOI BibTeX RDF
7	Celso L. Mendes, Daniel A. Reed	Integrated Compilation and Scalability Analysis for Parallel Systems.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Guided Compilation, Performance Prediction, Scalability Analysis
7	Laura Mota-Herranz, Matilde Celma	Automatic Generation of Trigger Rules for Integrity Enforcement in Relational Databases with View Definition.	FQAS	1998	DBLP DOI BibTeX RDF
7	Daniela Genius, Martin Trapp 0002, Wolf Zimmermann	An Approach to Improve Locality Using Sandwich Types.	Types in Compilation	1998	DBLP DOI BibTeX RDF
7	Steve Karmesin, James Crotinger, Julian Cummings, Scott Haney, William Humphrey, John Reynders, Stephen Smith 0002, Timothy J. Williams	Array Design and Expression Evaluation in POOMA II.	ISCOPE	1998	DBLP DOI BibTeX RDF
7	Jesús Manuel Almendros-Jiménez	Improving Computations in a Typed Functional Logic Language.	AMAST	1998	DBLP DOI BibTeX RDF
7	Boris Bokowski, Markus Dahm	Poor Man's Genericity for Java.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
7	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Concrete Type-Inference in the Presence of Exceptions.	ESOP	1998	DBLP DOI BibTeX RDF
7	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün	Static Partial Order Reduction.	TACAS	1998	DBLP DOI BibTeX RDF
7	Soo-Mook Moon, Kemal Ebcioglu	Parallelizing Nonnumerical Code with Selective Scheduling and Software Pipelining.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	global instruction scheduling, speculative code motion, instruction-level parallelism, software pipelining, VLIW, superscalar
7	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.	PEPM	1997	DBLP DOI BibTeX RDF
7	Clifford Beshers, Steven Feiner	Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	multivariate data visualization, program transformation, virtual worlds, partial evaluation, dataflow
7	Christoph A. Herrmann, Christian Lengauer	Transformation of Divide & Conquer to Nested Parallel Loops.	PLILP	1997	DBLP DOI BibTeX RDF	parallelization, Haskell, skeleton, divide-and-conquer, space-time mapping, equational reasoning
7	F. Jesús Sánchez, Antonio González 0001	Cache Sensitive Modulo Scheduling.	MICRO	1997	DBLP DOI BibTeX RDF	VLIW machines, Software pipelining, software prefetching, locality analysis
7	Jean-Pierre Talpin	Reactive Types.	TAPSOFT	1997	DBLP DOI BibTeX RDF
7	Azzedine Boukerche, Sajal K. Das 0001	Dynamic Load Balancing Strategies for Conservative Parallel Simulations.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
7	Chih-Ping Chu, Doris L. Carver	Reordering the Statements with Dependence Cycles to Improve the Performance of Parallel Loops.	ICPADS	1997	DBLP DOI BibTeX RDF	Parallelism Exploitation, Dependence Cycles, Statement Reordering, Parallelization, Parallelizing Compilers
7	Piet Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete	Cyclo-Dynamic Dataflow.	PDP	1996	DBLP DOI BibTeX RDF	cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools
7	Richard D. Potter, Gordon B. Steven	Investigating the Limits of Fine-Grained Parallelism in a Statically Scheduled Superscalar Architecture.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
7	Ulana Legedza, William E. Weihl	Reducing Synchronization Overhead in Parallel Simulation.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	synchronization, network simulation, parallel simulation
7	Tyng-Ruey Chuang, Wen-Liang Hwang	A Probabilistic Approach to the Problem of Automatic Selection of Data Representations.	ICFP	1996	DBLP DOI BibTeX RDF
7	Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	ISSTA	1996	DBLP DOI BibTeX RDF
7	Dimitris Plexousakis, John Mylopoulos	Accomodating Integrity Constraints During Database Design.	EDBT	1996	DBLP DOI BibTeX RDF
7	Welf Löwe	Optimization of PRAM-Programs with Input-Dependent Memory Access.	Euro-Par	1995	DBLP DOI BibTeX RDF
7	Sundeep Prakash, Rajive L. Bagrodia	An adaptive synchronization method for unpredictable communication patterns in dataparallel programs.	IPPS	1995	DBLP DOI BibTeX RDF	adaptive synchronization method, unpredictable communication patterns, dataparallel programs, inspector-executor method, IBM SP1 multicomputer, synthetic benchmark codes, performance, parallel programming, compiler, code generation, synchronisation, program compilers, software performance evaluation, communication patterns
7	Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee	Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems.	ASAP	1995	DBLP DOI BibTeX RDF	multiprocessor implementation, synchronization, dataflow, static scheduling, iterative computation
7	Elena Baralis, Stefano Ceri, Stefano Paraboschi	Run-time Detection of Non-Terminating Active Rule Systems.	DOOD	1995	DBLP DOI BibTeX RDF
7	Hiroyuki Seki, Yasunori Ishihara, Minoru Ito	Authorization Analysis of Queries in Object-Oriented Databases.	DOOD	1995	DBLP DOI BibTeX RDF
7	Jeffrey F. Naughton, Raghu Ramakrishnan 0001	How to Forget the Past Without Repeating It.	J. ACM	1994	DBLP DOI BibTeX RDF	deductive database, space optimization
7	Ching-Long Su, Alvin M. Despain	Minimizing branch misprediction penalties for superpipelined processors.	MICRO	1994	DBLP DOI BibTeX RDF
7	Sally A. McKee, Steven A. Moyer, William A. Wulf	Increasing Memory Bandwidth for Vector Computations.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
7	Wolf Zimmermann, Welf Löwe	An Approach to Machine-Independent Parallel Programming.	CONPAR	1994	DBLP DOI BibTeX RDF
7	Rumen Andonov, Sanjay V. Rajopadhye	Optimal Tile Sizing.	CONPAR	1994	DBLP DOI BibTeX RDF	2-dimensional discrete nonlinear optimization, dynamic data dependencies, message vectorization, SPMD programs, communication-computation overlap
7	Steven D. Prestwich	On Logic Program Parallelisation Strategies.	CONPAR	1994	DBLP DOI BibTeX RDF
7	Niall McCarroll 0002, Jon M. Kerridge	A Strategy for Semantic Integrity Enforcement in a Parallel Database Machine.	BNCOD	1994	DBLP DOI BibTeX RDF
7	Damien Doligez, Xavier Leroy	A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.	POPL	1993	DBLP DOI BibTeX RDF	LML
7	Shun-Tak Leung, John Zahorjan	Improving the Performance of Runtime Parallelization.	PPoPP	1993	DBLP DOI BibTeX RDF
7	Andreas Krall, Thomas Berger	Fast Prolog with VAM1p based Prolog Compiler.	PLILP	1992	DBLP DOI BibTeX RDF
7	Jan Van den Bussche, Dirk Van Gucht	Semi-determinism.	PODS	1992	DBLP DOI BibTeX RDF
7	Craig M. Chase, Kay Crowley, Joel H. Saltz, Anthony P. Reeves	Compiler and runtime support for irregularly coupled regular meshes.	ICS	1992	DBLP DOI BibTeX RDF	FORTRAN
7	Scott A. Mahlke, William Y. Chen, Wen-mei W. Hwu, B. Ramakrishna Rau, Michael S. Schlansker	Sentinel Scheduling for VLIW and Superscalar Processors. (long version: TOCS 11(4): 376-408)	ASPLOS	1992	DBLP DOI BibTeX RDF
7	Germán S. Goldszmidt	Elastic servers in CORDS.	CASCON	1992	DBLP BibTeX RDF
7	Charles Koelbel, Piyush Mehrotra	Compiling Global Name-Space Parallel Loops for Distributed Execution.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	message communication, global name-space parallel loops, high-level source program, independently executing tasks, run-timecode, Intel iPSC/2 hypercube, performance, parallel programming, compiler, translation, program compilers, distributed execution, data movement
7	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically Typed Language.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
7	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
7	Andreas Krall, Ulrich Neumerkel	The Vienna Abstract Machine.	PLILP	1990	DBLP DOI BibTeX RDF
7	Guy L. Steele Jr.	Making Asynchronous Parallelism Safe for the World.	POPL	1990	DBLP DOI BibTeX RDF
7	Guang R. Gao, Herbert H. J. Hum, Yue-Bong Wong	An Efficient Scheme for Fine-Grain Software Pipelining.	CONPAR	1990	DBLP DOI BibTeX RDF
7	Rajiv Gupta 0001	A Fresh Look at Optimizing Array Bound Checking.	PLDI	1990	DBLP DOI BibTeX RDF
7	Robert R. Henry, Kenneth M. Whaley, Bruce Forstall	The University of Washington Illustrating Compiler.	PLDI	1990	DBLP DOI BibTeX RDF
7	Sang Lyul Min, Jean-Loup Baer, Hyoung-Joo Kim	An efficient caching support for critical sections in large-scale shared-memory multiprocessors.	ICS	1990	DBLP DOI BibTeX RDF
7	Gregory D. Abram, Turner Whitted	Building block shaders.	SIGGRAPH	1990	DBLP DOI BibTeX RDF
7	David C. Ku, Giovanni De Micheli	Relative Scheduling Under Timing Constraints.	DAC	1990	DBLP DOI BibTeX RDF
7	Mounira Belmesk	An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
7	Karen Shannon, Richard T. Snodgrass	Mapping the Interface Description Language Type Model into C.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Interface Description Language type model, C data structures, macro definitions, type safe, data structures, mapping, efficiency, programming environment, programming environments, high level languages, C language, ease of use, IDL, preprocessor, cooperating processes, run-time efficient
7	Hessam Khoshnevisan, K. M. Sephton	InvX: An Automatic Function Inverter.	RTA	1989	DBLP DOI BibTeX RDF
7	Flemming Nielson, Hanne Riis Nielson	2-level lambda-lifting.	ESOP	1988	DBLP DOI BibTeX RDF
7	Peiyi Tang, Pen-Chung Yew, Chuan-Qi Zhu	Impact of self-scheduling order on performance on multiprocessor systems.	ICS	1988	DBLP DOI BibTeX RDF
7	James E. Smith 0001, Gregory E. Dermer, B. D. Vanderwarn, S. D. Klinger, C. M. Rozewski, D. L. Fowler, K. R. Scidmore, James Laudon	The ZS-1 Central Processor.	ASPLOS	1987	DBLP DOI BibTeX RDF	VisiCalc
7	Mitchell Wand	Finding the Source of Type Errors.	POPL	1986	DBLP DOI BibTeX RDF
7	Hanne Riis Nielson, Flemming Nielson	Pragmatic Aspects of Two-Level Denotational Meta-Languages.	ESOP	1986	DBLP DOI BibTeX RDF
7	Arvola Chan, Umeshwar Dayal, Stephen Fox, Nathan Goodman, Daniel R. Ries, Dale Skeen	Overview of an Ada Compatible Distributed Database Manager.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
7	Ronald H. Perrott	A Language for Array and Vector Processors.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
7	Richard C. Holt, David B. Wortman	A model for implementing Euclid modules and type templates.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	EUCLID
7	Michael Hammer, Sunil K. Sarin	Efficient Monitoring of Database Assertions (Abstract).	SIGMOD Conference	1978	DBLP DOI BibTeX RDF
7	Eduardo B. Fernández, Rita C. Summers, Charles D. Coleman	An Authorization Model for a Shared Data Base.	SIGMOD Conference	1975	DBLP DOI BibTeX RDF
7	Doina Bucur, Marta Z. Kwiatkowska	Software verification for TinyOS.	IPSN	2010	DBLP DOI BibTeX RDF	sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430
7	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
7	Liang Han, Wei Liu 0014, James Tuck 0001	Speculative parallelization of partial reduction variables.	CGO	2010	DBLP DOI BibTeX RDF	reduction variables, parallelization, thread-level speculation, multi-core architecture
7	William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref	SecureBlox: customizable secure distributed data processing.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	secure data management, datalog, distributed query processing
7	Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati	Compiler aided selective lock assignment for improving the performance of software transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
7	Vilas Sridharan, David R. Kaeli	Using hardware vulnerability factors to enhance AVF analysis.	ISCA	2010	DBLP DOI BibTeX RDF	architectural vulnerability factor, fault tolerance, reliability
7	Shuguang Feng, Shantanu Gupta, Amin Ansari, Scott A. Mahlke	Shoestring: probabilistic soft error reliability on the cheap.	ASPLOS	2010	DBLP DOI BibTeX RDF	error detection, fault injection, compiler analysis