Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Xavier Vera, Björn Lisper, Jingling Xue	Data cache locking for higher program predictability.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	data cache analysis, worst-case execution time
8	Robert Ennals, Simon L. Peyton Jones	Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.	ICFP	2003	DBLP DOI BibTeX RDF	haskell, lazy evaluation, online profiling
8	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
8	Edin Hodzic, Weijia Shang	On Time Optimal Supernode Shape.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	Supernode transformation, algorithm partitioning, minimizing running time, parallelizing compilers, tiling, distributed memory multicomputer
8	Michael Thies	Annotating Java libraries in support of whole-program optimization.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java
8	Krishna V. Palem, Rodric M. Rabbah, Vincent John Mooney, Pinar Korkmaz, Kiran Puttaswamy	Design space optimization of embedded memory systems via data remapping.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	data remapping, design space exploration, power aware
8	Cliff Click, John Rose	Fast subtype checking in the HotSpot JVM.	Java Grande	2002	DBLP DOI BibTeX RDF	checkcast, instanceof, typecase, Java, subtype
8	Ana Azevedo, Ilya Issenin, Radu Cornea, Rajesh Gupta 0001, Nikil D. Dutt, Alexander V. Veidenbaum, Alexandru Nicolau	Profile-Based Dynamic Voltage Scheduling Using Program Checkpoints.	DATE	2002	DBLP DOI BibTeX RDF
8	Kirilka Nikolova, Masahiro Sowa	Compiler-Controlled Parallelism-Independent Scheduling Method for Cluster Computing Systems.	HPCS	2002	DBLP DOI BibTeX RDF
8	João Luís Sobral, Alberto José Proença	Designing Scalable Object Oriented Parallel Applications (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
8	Sumit Ghosh	In Search of the Origin of VHDL's Delta Delays.	ISQED	2002	DBLP DOI BibTeX RDF	Delta delay, simulation accuracy, BCL, Conlan, continuous systems, simulation, timing, discrete event simulation, VHDL, hardware, hardware description language, HDLs
8	María J. Martín, David E. Singh, Juan Touriño, Francisco F. Rivera	Exploiting Locality in the Run-Time Parallelization of Irregular Loops.	ICPP	2002	DBLP DOI BibTeX RDF
8	Weijiang Yu, Aloysius K. Mok	Enforcing Resource Bound Safety for Mobile SNMP Agents.	ACSAC	2002	DBLP DOI BibTeX RDF
8	Zhong Wang, Timothy W. O'Neil, Edwin Hsing-Mean Sha	Minimizing Average Schedule Length under Memory Constraints by Optimal Partitioning and Prefetching.	J. VLSI Signal Process.	2001	DBLP DOI BibTeX RDF	scheduling, partitioning, memory, prefetching, DSP architectures
8	Gopal Gupta 0001, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo	Parallel execution of prolog programs: a survey.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	parallelism, logic programming, prolog, constraint programming, Automatic parallelization
8	Laurent Réveillère, Gilles Muller	Improving Driver Robustness: An Evaluation of the Devil Approach.	DSN	2001	DBLP DOI BibTeX RDF
8	Sebastian Link	Consistency Enforcement in Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
8	Daniel A. Reed, Luiz De Rose, Mario Pantano, Jeffrey S. Vetter	Performance Issues in Parallel Processing Systems.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
8	Brian C. Williams	Model-Based Autonomous Systems for Robotic Space Exploration.	HSCC	2000	DBLP DOI BibTeX RDF
8	Peter Thiemann 0001	Compiling Adaptive Programs by Partial Evaluation.	CC	2000	DBLP DOI BibTeX RDF	compilation, semantics, object-oriented programming
8	Leonidas Fegaras, Chandrasekhar Srinivasan, Arvind Rajendran, David Maier 0001	lambda-DB: An ODMG-Based Object-Oriented DBMS.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
8	Martin Büchi, Wolfgang Weck	Generic Wrappers.	ECOOP	2000	DBLP DOI BibTeX RDF
8	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
8	Hao Yu 0008, Lawrence Rauchwerger	Adaptive reduction parallelization techniques.	ICS	2000	DBLP DOI BibTeX RDF
8	Daniel A. Connors, Hillery C. Hunter, Ben-Chung Cheng, Wen-mei W. Hwu	Hardware Support for Dynamic Management of Compiler-Directed Computation Reuse.	ASPLOS	2000	DBLP DOI BibTeX RDF
8	Manish Gupta, Sayak Mukhopadhyay, Navin Sinha	Automatic Parallelization of Recursive Procedures.	IEEE PACT	1999	DBLP DOI BibTeX RDF	parallelizing compilers, automatic parallelization, divide and conquer, interprocedural analysis, symbolic analysis, recursive procedures
8	David K. Lowenthal, Michael James	Run-Time Selection of Block Size in Pipelined Parallel Programs.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
8	Günter Kniesel	Type-Safe Delegation for Run-Time Component Adaptation.	ECOOP	1999	DBLP DOI BibTeX RDF
8	Sungdo Moon, Mary W. Hall	Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization.	PPoPP	1999	DBLP DOI BibTeX RDF
8	Holger Keding, Markus Willems, Martin Coors, Heinrich Meyr	FRIDGE: A Fixed-Point Design and Simulation Environment.	DATE	1998	DBLP DOI BibTeX RDF	FRIDGE, interpolative approach, fixed-C, assignment-time instantiation, simulation, design, interpolation, quantization, fixed-point
8	Véronique Benzaken, Xavier Schaefer	Static Management of Integrity in Object-Oriented Databases: Design and Implementation.	EDBT	1998	DBLP DOI BibTeX RDF
8	Christoph W. Keßler	Applicability of Program Comprehension to Sparse Matrix Computations.	Euro-Par	1997	DBLP DOI BibTeX RDF
8	Gerhard Schrott	Reactive Real-Time Programming with Distributed Agents.	Euro-Par	1997	DBLP DOI BibTeX RDF
8	Véronique Benzaken, Xavier Schaefer	Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.	ECOOP	1997	DBLP DOI BibTeX RDF
8	Wade Holst, Duane Szafron	A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages.	ECOOP	1997	DBLP DOI BibTeX RDF
8	Dingchao Li, Akira Mizuno, Yuji Iwahori, Naohiro Ishii	A Multiprocessor Scheduling Heuristic for Functional Parallelism and its Performance Measure.	ICPADS	1997	DBLP DOI BibTeX RDF
8	Honghui Lu, Alan L. Cox, Sandhya Dwarkadas, Ramakrishnan Rajamony, Willy Zwaenepoel	Compiler and Software Distributed Shared Memory Support for Irregular Applications.	PPoPP	1997	DBLP DOI BibTeX RDF
8	David R. Surma, Edwin Hsing-Mean Sha	Static Communication Scheduling for Minimizing Collisions in Application Specific Parallel Systems.	ASAP	1996	DBLP DOI BibTeX RDF	tightly-coupled networks, scheduling, real-time systems, Communication, graph modeling
8	Yong S. Jun, Suk I. Yoo	Design and Implementation of the spareC++ OODBPL	DEXA	1995	DBLP DOI BibTeX RDF
8	Brad Calder, Dirk Grunwald	Reducing Indirect Function call Overhead in C++ Programs.	POPL	1994	DBLP DOI BibTeX RDF	optimization, object oriented programming, customization, profile-based optimization
8	Shail Aditya, Christine H. Flood, James E. Hicks	Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
8	François Bourdoncle	Abstract Debugging of Higher-Order Imperative Languages.	PLDI	1993	DBLP DOI BibTeX RDF	Pascal
8	Elana D. Granston, Harry A. G. Wijshoff	Managing Pages in Shared Virtual Memory Systems: Getting the Compiler into the Game.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
8	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Calculus for Overloaded Functions with Subtyping.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
8	Benjamin Goldberg	Incremental Garbage Collection Without Tags.	ESOP	1992	DBLP DOI BibTeX RDF
8	R. Ramesh 0001, I. V. Ramakrishnan, David Scott Warren	Automata-Driven Indexing of Prolog Clauses.	POPL	1990	DBLP DOI BibTeX RDF	Prolog
8	Mikael Pettersson	Generating Efficient Code from Continuation Semantics.	CC	1990	DBLP DOI BibTeX RDF
8	Hanne Riis Nielson, Flemming Nielson	Automatic Binding Time Analysis for a Typed Lambda-Calculus.	POPL	1988	DBLP DOI BibTeX RDF
8	Flemming Nielson	Abstract Interpretation of Denotational Definions (A Survey).	STACS	1986	DBLP DOI BibTeX RDF
8	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
8	Susan L. Graham, Steven P. Rhodes	Practical Syntactic Error Recovery.	POPL	1973	DBLP DOI BibTeX RDF
8	C. R. Muthukrishnan, V. Rajaraman	On the conversion of decision tables to computer programs.	Commun. ACM	1970	DBLP DOI BibTeX RDF	diagnostic aids, system analysis, decision table, business applications
7	Robert Hirschfeld, Michael Perscheid, Christian Schubert, Malte Appeltauer	Dynamic contract layers.	SAC	2010	DBLP DOI BibTeX RDF	dynamic contract layers, design by contract, software composition, context-oriented programming
7	David Xinliang Li, Raksit Ashok, Robert Hundt	Lightweight feedback-directed cross-module optimization.	CGO	2010	DBLP DOI BibTeX RDF	cross-module, feedback-directed, inter-procedural, optimization
7	Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann 0001	Static determination of quantitative resource usage for higher-order programs.	POPL	2010	DBLP DOI BibTeX RDF	resource analysis, functional programming, types
7	Pedro Bizarro, Nicolas Bruno, David J. DeWitt	Progressive Parametric Query Optimization.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
7	Alexander Böhm 0002, Carl-Christian Kanne	Processes Are Data: A Programming Model for Distributed Applications.	WISE	2009	DBLP DOI BibTeX RDF
7	Hyun Cho	Using metaprogramming to implement a testing framework.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	transformation, metaprogramming, testing framework
7	Justin Teller, Füsun Özgüner	Scheduling tasks on reconfigurable hardware with a list scheduler.	IPDPS	2009	DBLP DOI BibTeX RDF
7	Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret	Advanced runtime adaptation for Java.	GPCE	2009	DBLP DOI BibTeX RDF	code hotswapping, runtime aspect adaptation and (re)weaving, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming
7	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
7	Jed Liu, Michael D. George, K. Vikram, Xin Qi 0012, Lucas Waye, Andrew C. Myers	Fabric: a platform for secure distributed computation and storage.	SOSP	2009	DBLP DOI BibTeX RDF	security, distributed systems, transactions, information flow
7	Ruslan Fomkin, Tore Risch	Optimization and Execution of Complex Scientific Queries over Uncorrelated Experimental Data.	SSDBM	2009	DBLP DOI BibTeX RDF
7	Rohit Khandekar, Kirsten Hildrum, Sujay S. Parekh, Deepak Rajan, Joel L. Wolf, Kun-Lung Wu, Henrique Andrade, Bugra Gedik	COLA: Optimizing Stream Processing Applications via Graph Partitioning.	Middleware	2009	DBLP DOI BibTeX RDF	operator fusion, scheduling, optimization, graph partitioning, stream processing
7	Ilya Issenin, Erik Brockmeyer, Bart Durinck, Nikil D. Dutt	Data-Reuse-Driven Energy-Aware Cosynthesis of Scratch Pad Memory and Hierarchical Bus-Based Communication Architecture for Multiprocessor Streaming Applications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
7	Xiangrong Zhou, Peter Petrov	Direct address translation for virtual memory in energy-efficient embedded systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	virtual memory, address translation, Low-power embedded systems
7	Zhelong Pan, Rudolf Eigenmann	PEAK - a fast and effective performance tuning system via compiler optimization orchestration.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	optimization orchestration, Performance tuning, dynamic compilation
7	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
7	Salvador Cavadini	Secure slices of insecure programs.	AsiaCCS	2008	DBLP DOI BibTeX RDF	information flow, program slicing, non-interference, program dependences
7	Florin Craciun, Shengchao Qin, Wei-Ngan Chin	A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.	ICFEM	2008	DBLP DOI BibTeX RDF
7	Eryk Laskowski, Marek Tudruj	Optimized Communication Control in Programs for Dynamic Look-Ahead Reconfigurable SoC Systems.	ISPDC	2008	DBLP DOI BibTeX RDF
7	Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup	Runtime concepts for the C++ standard template library.	SAC	2008	DBLP DOI BibTeX RDF	runtime polymorphism, C++, generic programming, standard template library
7	Shiro Kawai	Efficient floating-point number handling for dynamically typed scripting languages.	DLS	2008	DBLP DOI BibTeX RDF
7	Nathan Mishra-Linger, Tim Sheard	Erasure and Polymorphism in Pure Type Systems.	FoSSaCS	2008	DBLP DOI BibTeX RDF
7	Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo	Negative Ternary Set-Sharing.	ICLP	2008	DBLP DOI BibTeX RDF
7	Justin Teller, Fusun Ozgiiner, Robert Ewing 0001	Scheduling reconfiguration at runtime on the TRIPS processor.	IPDPS	2008	DBLP DOI BibTeX RDF
7	Andreas Sewe, Christoph Bockisch, Mira Mezini	Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.	FOAL	2008	DBLP DOI BibTeX RDF	dispatch functions, residual dispatch, aspect-oriented programming, ordered binary decision diagrams, advice, pointcuts
7	Mythri Alle, Keshavan Varadarajan, Ramesh C. Ramesh, Joseph Nimmy, Alexander Fell, Adarsha Rao, S. K. Nandy 0001, Ranjani Narayan	Synthesis of application accelerators on Runtime Reconfigurable Hardware.	ASAP	2008	DBLP DOI BibTeX RDF
7	Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro 0001	Preventing Memory Error Exploits with WIT.	SP	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, attack detection, memory errors
7	Anders Bach Nielsen, Erik Ernst	Optimizing Dynamic Class Composition in a Statically Typed Language.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	Dynamic Class Composition, gbeta, Virtual Machines, Linearization, Mixins, Virtual Classes
7	Angela Nicoara, Gustavo Alonso, Timothy Roscoe	Controlled, systematic, and efficient code replacement for running java programs.	EuroSys	2008	DBLP DOI BibTeX RDF	PROSE, dynamic bytecode instrumentation, run-time method code replacement, run-time modification, inlining
7	Roberto Jimeno, M. S. Jorge, Jorge Luis Ortega-Arjona	Curb your objects!: an orthodox form for C# classes.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	C# programming language, idiom, C#, NET, software pattern
7	Wu-An Kuo, Yi-Ling Chiang, TingTing Hwang, Allen C.-H. Wu	Performance-Driven Crosstalk Elimination at Postcompiler Level-The Case of Low-Crosstalk Op-Code Assignment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
7	Brian K. Guenter	Efficient symbolic differentiation for graphics applications.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	symbolic differentiation
7	Orlando Moreira, Jacob Jan-David Mol, Marco Bekooij	Online resource management in a multiprocessor with a network-on-chip.	SAC	2007	DBLP DOI BibTeX RDF	multiprocessors-on-chip, real-time systems, networks-on-chip
7	K. Shyam, R. Govindarajan	Compiler-Directed Dynamic Voltage Scaling Using Program Phases.	HiPC	2007	DBLP DOI BibTeX RDF
7	John H. Reppy, Yingqi Xiao	Specialization of CML message-passing primitives.	POPL	2007	DBLP DOI BibTeX RDF	static analysis, message passing, ML, concurrent languages
7	Arun Kumar 0002, Anindya Neogi, Sateesh Pragallapati, D. Janaki Ram	Raising Programming Abstraction from Objects to Services.	ICWS	2007	DBLP DOI BibTeX RDF
7	Karthick Parashar, Nitin Chandrachoodan	A Novel Event Based Simulation Algorithm for Sequential Digital Circuit Simulation.	FPL	2007	DBLP DOI BibTeX RDF
7	Jeremy G. Siek, Walid Taha	Gradual Typing for Objects.	ECOOP	2007	DBLP DOI BibTeX RDF
7	Abdulaziz Ghuloum, R. Kent Dybvig	Implicit phasing for R6RS libraries.	ICFP	2007	DBLP DOI BibTeX RDF	binding phases, hygienic macros, macro expansion, scheme, libraries
7	Krutartha Patel, Sridevan Parameswaran, Seng Lin Shee	Ensuring secure program execution in multiprocessor embedded systems: a case study.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	embedded system processors, tensilica, security, multiprocessors, code injection attacks
7	Tobias Becker, Wayne Luk, Peter Y. K. Cheung	Enhancing Relocatability of Partial Bitstreams for Run-Time Reconfiguration.	FCCM	2007	DBLP DOI BibTeX RDF
7	Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung	Automatic On-chip Memory Minimization for Data Reuse.	FCCM	2007	DBLP DOI BibTeX RDF
7	Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum	A simplified java bytecode compilation system for resource-constrained embedded processors.	CASES	2007	DBLP DOI BibTeX RDF	superoperators, embedded systems, java virtual machine, adaptive optimization, profile-guided optimization
7	Nghi Nguyen, Angel Dominguez, Rajeev Barua	Scratch-pad memory allocation without compiler support for java applications.	CASES	2007	DBLP DOI BibTeX RDF	java, embedded systems, compiler, JVM, memory allocation, JIT, scratch-pad
7	Eryk Laskowski, Marek Tudruj	Inter-processor Communication Optimization in Dynamically Reconfigurable Embedded Parallel Systems.	PPAM	2007	DBLP DOI BibTeX RDF
7	Christian Skalka	Type safe dynamic linking for JVM access control.	PPDP	2007	DBLP DOI BibTeX RDF	static type analysis, language-based security, bytecode verification, dynamic linking
7	DaeGon Kim, Lakshminarayanan Renganarayanan, Dave Rostron, Sanjay V. Rajopadhye, Michelle Mills Strout	Multi-level tiling: M for the price of one.	SC	2007	DBLP DOI BibTeX RDF	multi-level tiling, parameterized code generation, parallelism, data locality
7	Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan	Melange: creating a "functional" internet.	EuroSys	2007	DBLP DOI BibTeX RDF