Search results for "optimizing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Sid Ahmed Ali Touati, Denis Barthou	On the decidability of phase ordering problem in optimizing compilation.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	input data I, library generation, parameters space exploration, optimizing compilation, phase ordering, iterative compilation
36	James R. Ezick	An optimizing compiler for batches of temporal logic formulas.	ISSTA	2004	DBLP DOI BibTeX RDF	model checking, temporal logic, optimizing compiler
36	Youfeng Wu	Accuracy of Profile Maintenance in Optimizing Compilers.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF	profile maintenance, probabilistic approximation, performance evaluation, optimizing compiler, Profile-guided optimization
32	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Meenakshi A. Kandaswamy	A Unified Framework for Optimizing Locality, Parallelism, and Communication in Out-of-Core Computations.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	I/O-intensive codes, loop and data transformations, file layouts, optimizing compilers, out-of-core computations
29	E. Zhang, Yanshan Li, Mingli Liu, Zhonghua Liu	Modeling and Optimizing of Human Upper Limb Posture of Mechanical System Human-Machine Interface.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Posture Modeling, Human-Machine Interface, Optimum Design
27	Chao Gui, Prasant Mohapatra	A framework for self-healing and optimizing routing techniques for mobile ad hoc networks.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Self-healing and optimizing routing techniques, Energy-aware SHORT, Path-aware SHORT, Hop comparison array, Ad hoc networks, Routing protocol
27	Syed I. Nayer, Hesham H. Ali	A Dynamic Energy-Aware Algorithm for Self-Optimizing Wireless Sensor Networks.	IWSOS	2008	DBLP DOI BibTeX RDF	Gur game, genetic algorithms, Quality of Service (QoS), Wireless sensor networks, connected dominating set, self optimizing, ants algorithms
27	Simon Oberthür, Carsten Böke, Björn Griese	Dynamic online reconfiguration for customizable and self-optimizing operating systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time operating system, self-optimizing
27	Chao Gui, Prasant Mohapatra	SHORT: self-healing and optimizing routing techniques for mobile ad hoc networks.	MobiHoc	2003	DBLP DOI BibTeX RDF	energy-aware SHORT, path-aware SHORT, self-healing and optimizing routing techniques, ad hoc networks, routing protocol
27	Bruce A. Draper, Walid A. Najjar, A. P. Wim Böhm, Jeffrey Hammes, Robert Rinker, Charlie Ross, Monica Chawathe, José Bins	Compiling and Optimizing Image Processing Algorithms for FPGAs.	CAMP	2000	DBLP DOI BibTeX RDF	SA-C, language features, SA-C algorithms, performance numbers, image processing routines, Annapolis Microsystems WildForce board, Xilinx 4036XL FPGAs, FPGAs, VHDL, optimizing compiler, high-level language, data flow graphs, data flow graphs, image processing algorithms
27	Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary	Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines.	IEEE PACT	1997	DBLP DOI BibTeX RDF	storage layout, SUN SPARCstation 5, IBM SP-2, SGI Challenge, Convex Exemplar, parallel architectures, parallel architectures, optimizing compilers, interprocessor communication, cache performance, distributed memory machines, shared memory machines, loop nests, data decomposition, compiler algorithms
27	Rafael H. Saavedra, Alan Jay Smith	Performance Characterization of Optimizing Compilers.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	execution time prediction, CPU performance characterization, Performance evaluation, benchmarking, optimizing compilers
25	Seung Woo Son 0001, Mahmut T. Kandemir	Energy-aware data prefetching for multi-speed disks.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	multi-speed disks, low power, prefetching, optimizing compiler
25	Dattatraya Kulkarni	Transformations for Improving Data Access Locality in Non-Perfectly Nested Loops.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Loop and Data Transformations, Size-reduction Transformations, Performance, Optimizing Compiler, Locality of reference
25	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Prithviraj Banerjee	A Matrix-Based Approach to the Global Locality Optimization Problem.	IEEE PACT	1998	DBLP DOI BibTeX RDF	optimizing for locality, global (whole program) optimization, combined unified loop and data transformations, loop transformations, data layout optimizations
25	Tatsushi Inagaki, Junpei Niwa, Takashi Matsumoto 0002, Kei Hiraki	Supporting Software Distributed Shared Memory with an Optimizing Compiler.	ICPP	1998	DBLP DOI BibTeX RDF
23	Fritz Henglein	Optimizing relational algebra operations using generic equivalence discriminators and lazy products.	PEPM	2010	DBLP DOI BibTeX RDF	cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
23	Mingqiang Wei, Ming-Yong Pang, Zhi-Geng Pan	Optimizing Triangulation of Implicit Surface Based on Quadric Error Metrics.	CW	2010	DBLP DOI BibTeX RDF	digital geometry processing, Optimizing Triangulation, meshing, implicit surface, polygonization
23	Tongqiang Tony Wu, Warren B. Powell, Alan Whisman	The optimizing-simulator: An illustration using the military airlift problem.	ACM Trans. Model. Comput. Simul.	2009	DBLP DOI BibTeX RDF	Approximate dynamic programming, control of simulation, military logistics, modeling information, optimizing-simulator
23	Song-lin Yang, Wei Xi, Lian-xiang Ma, Hong-qin Zhang, Zhao-long Yang	Optimizing-Computation of Controlling Parameters of Intelligent Propulsion System of a Hydrofoil Sliding Craft Propelled by Adjustable-Pitch Screw.	NCM	2009	DBLP DOI BibTeX RDF	hydrofoil sliding craft, adjustable-pitch screw, propulsion system, optimizing-computation, fuzzy-genetic algorithm
23	Asif Iqbal 0001, Naeem Ullah Dar	A Self Progressing Fuzzy Rule-Based System for Optimizing and Predicting Machining Process.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Self Progressing, Machining Process, Optimizing, Fuzzy Rule-Based System
23	Jinguo He	Optimizing 2-D Triangulations by the Steepest Descent Method.	PACIIA (2)	2008	DBLP DOI BibTeX RDF	steepest descent method, optimizing, triangulations
23	Patrick Hosein	Self-optimizing interference management for the OFDMA downlink.	WICON	2008	DBLP DOI BibTeX RDF	self optimizing networks, 4G, interference coordination
23	Venkatraman Ramakrishna, Max Robinson, Kevin Eustice, Peter L. Reiher	An Active Self-Optimizing Multiplayer Gaming Architecture.	Clust. Comput.	2006	DBLP DOI BibTeX RDF	Self-optimizing middleware, Packet aggregation, Multicast, Active networks, Multiplayer games
23	Gurmeet Singh, Carl Kesselman, Ewa Deelman	Optimizing Grid-Based Workflow Execution.	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	optimizing workflow performance, workflow execution engine, scheduling, Grid computing, resource allocation
23	Keith D. Cooper, Devika Subramanian, Linda Torczon	Adaptive Optimizing Compilers for the 21st Century.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	configurable compilers, order of optimization, biased random search, optimizing compilers
23	Frank Vahid, Ann Gordon-Ross	A self-optimizing embedded microprocessor using a loop table for low power.	ISLPED	2001	DBLP DOI BibTeX RDF	parameterized architectures, self-optimizing architecture, embedded systems, low-power, system-on-a-chip, platforms, cores, tuning
23	Takahiko Horiuchi, Kazuo Toraichi, Kazuhiko Yamamoto, Hiromitsu Yamada	Relaxation optimizing processes in extended probabilistic space.	ICDAR	1995	DBLP DOI BibTeX RDF	relaxation optimizing processes, extended probabilistic space, probability theoretic model, relaxation matching method, Dempster-Shafer, pattern recognition, image processing, probability, image recognition, iterative methods, incompleteness
23	Shun Yan Cheung, Mustaque Ahamad, Mostafa H. Ammar	Optimizing Vote and Quorum Assignments for Reading and Writing Replicated Data.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	vote optimizing, quorum assignments, writing replicated data, weighted voting protocol, node availabilities, operation mix, distributed system, protocols, fault tolerant computing, distributed processing, reading, optimal performance, enumeration algorithm
23	Roger W. Hockney	Characterizing Computers and Optimizing the FACR(l) Poisson-Solver on Parallel Unicomputers.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	parallel algorithms, parallelism, parallel computers, optimizing algorithms, processor array, Computer performance, pipelined computer, Poisson solvers, vector computer
21	Sara Kalvala, Richard Warburton, David Lacey	Program transformations using temporal logic side conditions.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	temporal logic, program transformation, rewriting, Optimizing compilers
21	Harmen L. A. van der Spek, Sven Groot, Erwin M. Bakker, Harry A. G. Wijshoff	A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Linked list data structures, Parallel processing, Optimizing compilers
21	Seung Woo Son 0001, Guangyu Chen, Ozcan Ozturk 0001, Mahmut T. Kandemir, Alok N. Choudhary	Compiler-Directed Energy Optimization for Parallel Disk Based Systems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Disk subsystem, I/O traces, parallel I/O, optimizing compilers, power-aware computing
21	Yi Li, Peng-fei Zhao, Baikun Wan, Dong Ming	An Improved Hybrid Projection Function for Eye Precision Location.	MIMI	2007	DBLP DOI BibTeX RDF	facial feature location, eye precision location, projective function, optimizing proportion factor
21	Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor 0001, Stephen Fickas, Hausi A. Müller	Software engineering for adaptive and self-managing systems.	ICSE	2006	DBLP DOI BibTeX RDF	self-adaptive, self-healing, autonomic, self-management, self-optimizing
21	Seung Woo Son 0001, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary	Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems.	PPoPP	2005	DBLP DOI BibTeX RDF	low power, optimizing compiler, parallel disk
21	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Improved Compilation of Prolog to C Using Moded Types and Determinism Information.	PADL	2004	DBLP DOI BibTeX RDF	Prolog, C, optimizing compilation, global analysis
21	Nick Benton	Simple relational correctness proofs for static analyses and program transformations.	POPL	2004	DBLP DOI BibTeX RDF	partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic
21	Mahmut T. Kandemir, Ozcan Ozturk 0001, Mustafa Karaköy	Dynamic on-chip memory management for chip multiprocessors.	CASES	2004	DBLP DOI BibTeX RDF	chip multiprocessors, optimizing compiler, memory bank
21	Gianfranco Bilardi, Keshav Pingali	Algorithms for computing the static single assignment form.	J. ACM	2003	DBLP DOI BibTeX RDF	program transformation, optimizing compilers, program optimization, Control dependence, static single assignment form
21	Guilin Chen, Mahmut T. Kandemir, Hendra Saputra, Mary Jane Irwin	Exploiting bank locality in multi-bank memories.	CASES	2003	DBLP DOI BibTeX RDF	affine program, bank locality, embedded systems, energy consumption, optimizing compilers
21	Hendra Saputra, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Jie S. Hu, Chung-Hsing Hsu, Ulrich Kremer	Energy-conscious compilation based on voltage scaling.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	energy-aware compilation, optimizing compilers, voltage scaling, loop transformations
21	Cagdas Akturan, Margarida F. Jacome	RS-FDRA: a register sensitive software pipelining algorithm for embedded VLIW processors.	CODES	2001	DBLP DOI BibTeX RDF	embedded systems, software pipelining, retiming, optimizing compilers, VLIW processors
21	Zhang Subing, Liu Zemin	A Qos Routing Algorithm Based on Ant Algorithm.	LCN	2000	DBLP DOI BibTeX RDF	QoS routing algorithm, QoS constrained routing, globally optimizing ant algorithm, quality of service, optimisation, shortest path, network topology, multimedia communication, multimedia applications, simulation results, telecommunication network routing
21	Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary	Improving Cache Locality by a Combination of Loop and Data Transformation.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	loop and data transformations, Caches, locality, optimizing compilers, data reuse
21	William Blume, Rudolf Eigenmann	Nonlinear and Symbolic Data Dependence Testing.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Data-dependence test, optimizing compilers, program parallelization
21	Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao	Heap Analysis and Optimizations for Threaded Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis
21	Jan-Ming Ho, De-Ron Liang, Kuo-Hui Tsai	On multicast routing in Clos networks.	ISPAN	1996	DBLP DOI BibTeX RDF	online multicast routing, off-line routing, quality of service, performance evaluation, NP-complete, multiprocessor interconnection networks, video conferencing, network routing, multicast routing, high speed networks, system performance, shortest path problem, Clos networks, network throughput, Steiner tree problem, optimizing criteria
21	Cliff Click, Keith D. Cooper	Combining Analyses, Combining Optimizations.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	value numbering, data-flow analysis, optimizing compilers, constant propagation
21	Alberto Broggi	Word parallelism vs spatial parallelism: a performance optimization technique on the PAPRICA system.	PDP	1995	DBLP DOI BibTeX RDF	word parallelism, spatial parallelism, performance optimization technique, PAPRICA system, hardware efficiency, SIMD systems, data bus efficiency, packed data sets, processing array, optimizing assembly-to-assembly translator, automatic conversion, binary data sets, thinning filter, performance evaluation, parallel architectures, optimisation, parallel machines, hardware design, data storage, program interpreters, external memory, dynamic mapping, assembly language
21	Larry Carter, Jeanne Ferrante, Susan Flynn Hummel	Hierarchical tiling for improved superscalar performance.	IPPS	1995	DBLP DOI BibTeX RDF	hierarchical tiling, superscalar performance, inner-loop performance, compiler phases, scalar replacement, storage mapping, superscalar pipelined processors, automatic preprocessor, performance evaluation, parallel processing, parallelization, message passing, message passing, register allocation, instruction scheduling, optimizing compiler, data locality, archival storage
21	Frank Vahid, Daniel D. Gajski	Clustering for improved system-level functional partitioning.	ISSS	1995	DBLP DOI BibTeX RDF	N-way partitioning, fast heuristics, hardware components, highly-optimizing heuristics, multiple system components, reduced runtimes, system-level functional partitioning, clustering, formal specification, quality, VHDL, software components, merging, logic partitioning
21	Mahesh Mehendale, Sunil D. Sherlekar, G. Venkatesh 0001	Synthesis of multiplier-less FIR filters with minimum number of additions.	ICCAD	1995	DBLP DOI BibTeX RDF	MCM based structures, iterative elimination, low pass FIR filters, circuit CAD, FIR filters, network synthesis, optimizing transformations, binary representations
21	Miriam Leeser, John W. O'Leary	Verification of a subtractive radix-2 square root algorithm and implementation.	ICCD	1995	DBLP DOI BibTeX RDF	subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations
21	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
21	Kechang Dai	Code Parallelization for the LGDG Large-Grain Dataflow Computation.	CONPAR	1990	DBLP DOI BibTeX RDF	global data flow analysis, function-preserving code parallelization, Programming language, optimizing compiler, dataflow computation
20	Weihua Zhang, Lili Liu, Chen Zhang, HongJiang Zhang, Binyu Zang, Chuanqi Zhu	Optimizing techniques for saturated arithmetic with first-order linear recurrence.	SAC	2009	DBLP DOI BibTeX RDF	FOLR, SAWF, optimization, SIMD
20	Matthias Riebisch, Robert Brcina	Optimizing Design for Variability Using Traceability Links.	ECBS	2008	DBLP DOI BibTeX RDF	Optimisation of Design, Traceability, Variability, Characteristic
20	Dang Minh Quan, Jörn Altmann, Laurence Tianruo Yang	Optimizing the Execution Time of the SLA-based Workflow in the Grid with Parallel Processing Technology.	APSCC	2008	DBLP DOI BibTeX RDF
20	Qing Zhu, Shan Wang 0001, Guorong Li, Guangqiang Liu, Xiaoyong Du 0001	QoS-Based Services Selecting and Optimizing Algorithms on Grid.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Information Grid, SOA, Service Composition, Selecting Algorithm
20	Liulan Lin, Huicun Zhang, Yuan Yao 0010, Aili Tong, Qingxi Hu, Minglun Fang	Application of Image Processing and Finite Element Analysis in Bionic Scaffolds' Design Optimizing and Fabrication.	LSMS (2)	2007	DBLP DOI BibTeX RDF
20	Jingqi Yan, Xin Yang, Pengfei Shi, David Zhang 0001	Mesh Parameterization by Minimizing the Synthesized Distortion Metric with the Coefficient-Optimizing Algorithm.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	barycentric mapping, texture mapping, conformal mapping, Mesh parameterization, harmonic mapping
20	Marcus Hutter	Self-Optimizing and Pareto-Optimal Policies in General Environments Based on Bayes-Mixtures.	COLT	2002	DBLP DOI BibTeX RDF
20	Thomas Brandes, Cécile Germain	A Tracing Protocol for Optimizing Data Parallel Irregular Computations.	Euro-Par	1998	DBLP DOI BibTeX RDF
20	Bogong Su, Jian Wang 0046, Zhizhong Tang, Wei Zhao, Yimin Wu	A software pipelining based VLIW architecture and optimizing compiler.	MICRO	1990	DBLP BibTeX RDF
20	Apostolos Nikolaos Refenes	Optimizing connectionist datasets with ConSTrainer.	SPDP	1990	DBLP DOI BibTeX RDF
18	Yingbin Liang, Venugopal V. Veeravalli	Gaussian Orthogonal Relay Channels: Optimal Resource Allocation and Capacity.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
16	Peter Van Weert	Efficient Lazy Evaluation of Rule-Based Programs.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	Optimizing compilation, lazy evaluation, production rules, matching algorithms, constraint handling rules
16	George C. Caragea, Alexandros Tzannes, Fuat Keceli, Rajeev Barua, Uzi Vishkin	Resource-Aware Compiler Prefetching for Many-Cores.	ISPDC	2010	DBLP DOI BibTeX RDF	parallel architectures, optimizing compilers
16	Lexi Xu, Yue Chen 0002, Yue Gao 0001	Self-organizing Load Balancing for Relay Based Cellular Networks.	CIT	2010	DBLP DOI BibTeX RDF	Self-organizing network (SON), Fixed Relay Station (FRS), Load balancing (LB), Self-optimizing
16	Jinguo He	A New 2-D Triangulation Optimization Algorithm.	WKDD	2010	DBLP DOI BibTeX RDF	optimizing, triangulations
16	Yuan Tao, Hongwei Yang	Research Progress of Policy of Applications of High Performance Computing on Multicore Platform.	APWCS	2010	DBLP DOI BibTeX RDF	Performance Optimizing Strategy, High Performance Computing, Multicore Processors
16	Guangming Dai, Yanzhi Li, Wei Zheng	Research on an orthogonal and model based multi-objective genetic algorithm.	GEC Summit	2009	DBLP DOI BibTeX RDF	OMEA, orthogonal design, multi-objective optimizing, probability-model
16	David Vengerov	A reinforcement learning framework for online data migration in hierarchical storage systems.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Self-optimizing systems, Multi-tier storage, Fuzzy rulebase, Reinforcement learning, Markov decision process, Cost functions, Data migration
16	Kun-Yuan Hsieh, Yung-Chia Lin, Chien-Ching Huang, Jenq Kuen Lee	Enhancing Microkernel Performance on VLIW DSP Processors via Multiset Context Switch.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	VLIW DSP processor, optimizing context switch overhead, microkernel design
16	Zhiyuan Li 0001	Simultaneous Minimization of Capacity and Conflict Misses.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	array padding, caches, optimizing compilers, loop transformation
16	Andrei Sergeevich Terechko, Henk Corporaal	Inter-cluster communication in VLIW architectures.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	intercluster communication, pipelining, Instruction-level parallelism, register allocation, VLIW, instruction scheduler, optimizing compiler, clock frequency, cluster assignment
16	Jens Otto Sørensen	Even straight forward data warehouses are complicated.	DOLAP	2007	DBLP DOI BibTeX RDF	optimizing read/write, data warehouse, query language, dimensions
16	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
16	Nick Benton, Peter Buchlovsky	Semantics of an effect analysis for exceptions.	TLDI	2007	DBLP DOI BibTeX RDF	partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems
16	Matthew B. Dwyer, Rahul Purandare	Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.	ASE	2007	DBLP DOI BibTeX RDF	optimizing run-time monitors, static error detection
16	Lee Pike, Mark Shields, John Matthews	A verifying core for a cryptographic language compiler.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, certification, optimizing compiler, ACL2, high-assurance, certifying compiler, verifying compiler
16	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
16	Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu 0003	Translation and Run-Time Validation of Loop Transformations.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
16	Sid Ahmed Ali Touati	Register Saturation in Instruction Level Parallelism.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	Register requirement, instruction level parallelism, integer linear programming, optimizing compilation, register pressure
16	Ozcan Ozturk 0001, Mahmut T. Kandemir, Mary Jane Irwin	Increasing on-chip memory space utilization for embedded chip multiprocessors through data compression.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	data compression, chip multiprocessors, optimizing compiler
16	Seung Woo Son 0001, Guangyu Chen, Mahmut T. Kandemir	Disk layout optimization for reducing energy consumption.	ICS	2005	DBLP DOI BibTeX RDF	low power, optimizing compiler, disk layout
16	Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001	Improving Data Locality by Array Contraction.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	array contraction, loop shifting, optimization, performance, Compiler, memory, optimizing compilers, data locality
16	Francisco Corbera, Rafael Asenjo, Emilio L. Zapata	A Framework to Capture Dynamic Data Structures in Pointer-Based Codes.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	shape graphs, irregular codes, Shape analysis, optimizing compiler, pointers, recursive data structures
16	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
16	David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen	Compiler Optimization Correctness by Temporal Logic.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	model checking, temporal logic, optimizing compilers, compiler verification
16	Zhiyuan Li 0001, Yonghong Song	Automatic tiling of iterative stencil loops.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Caches, optimizing compilers, loop transformations
16	Ozcan Ozturk 0001, Mahmut T. Kandemir, Mary Jane Irwin, Ibrahim Kolcu	Tuning data replication for improving behavior of MPSoC applications.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	power consumption, cache coherence, MPSoC, data replication, optimizing compiler
16	Min Zhao 0009, Bruce R. Childers, Mary Lou Soffa	Predicting the impact of optimizations for embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	code models, embedded systems, prediction, optimizing compilers, loop optimizations, resource models, optimization models
16	Volker Barthelmann	Inter-task register-allocation for static operating systems.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	context-switch optimization, optimizing for space, register allocation
16	Rajeev Joshi, Greg Nelson, Keith H. Randall	Denali: A Goal-directed Superoptimizer.	PLDI	2002	DBLP DOI BibTeX RDF	superoptimizer, optimizing compiler
16	Dae-Hwan Kim, Hyuk-Jae Lee	Iterative procedural abstraction for code size reduction.	CASES	2002	DBLP DOI BibTeX RDF	post-pass optimization, embedded systems, optimizing compiler, code size reduction, procedural abstraction
16	Mahmut T. Kandemir	Compiler-Directed Collective-I/O.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	file layouts, parallel I/O, Optimizing compilers, data-intensive applications, collective I/O
16	Mahmut T. Kandemir	A dynamic locality optimization algorithm for linear algebra codes.	SAC	2001	DBLP DOI BibTeX RDF	dynamic optimizations, optimizing compilers, data reuse, cache locality, memory layouts
16	Mahmut T. Kandemir	A compiler technique for improving whole-program locality.	POPL	2001	DBLP DOI BibTeX RDF	static optimizations, optimizing compilers, data reuse, cache locality, memory layouts