The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase program optimization (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-1981 (15) 1982-1993 (16) 1994-1995 (16) 1996-1997 (18) 1998-1999 (17) 2000-2001 (19) 2002-2003 (28) 2004-2005 (18) 2006-2007 (20) 2008 (16) 2009-2010 (17) 2011-2017 (15) 2018-2019 (5)
Publication types (Num. hits)
article(49) book(3) incollection(1) inproceedings(165) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 346 occurrences of 219 keywords

Results
Found 220 publication records. Showing 220 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
95Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
88Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
36Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi Program Optimizations and Transformations in Calculation Form. Search on Bibsonomy GTTSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
34Thomas Kistler, Michael Franz Continuous program optimization: A case study. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF continuous program optimization, dynamic reoptimization, Dynamic code generation
31Michael Voss, Rudolf Eigenmann A framework for remote dynamic program optimization. Search on Bibsonomy Dynamo The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August A framework for unrestricted whole-program optimization. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
27Jens Knoop, Oliver Rüthing Optimization Under the Perspective of Soundness, Completeness, and Reusability. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility
26Alexander Aiken, John H. Williams, Edward L. Wimmers Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF program transformation, exceptions, program optimization, equational reasoning
25Pasquale Armenise A Structured Approach to Program Optimization. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF optimization process, software development paradigm, software engineers, software engineering, program optimization, software lifecycle
22Thomas Eiter, Michael Fink 0001 Uniform Equivalence of Logic Programs under the Stable Model Semantics. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics
20Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu Program Repair as Sound Optimization of Broken Programs. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Uwe Aßmann Graph rewrite systems for program optimization. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF specification, program transformation, program analysis, visual programming, program optimization, compiler generators, stratification, very high-level languages, graph rewrite systems
20Jens Knoop From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
20Wesley K. Kaplow, William Maniatty, Boleslaw K. Szymanski Impact of memory hierarchy on program partitioning and scheduling. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF parallel program scheduling, nonlinear cache-miss rates, loop nest execution simulation, architecturally parameterized cache simulator, loop range, cache-miss ratio, loop interchange, iteration-space blocking, program runtime estimation, IBM 9076 SP1, SuperSPARC, scheduling, parallel programming, optimisation, memory hierarchy, processor scheduling, software performance evaluation, memory architecture, cache storage, program optimization, cache performance, program control structures, program partitioning, Intel i860
20Shane Ryoo, Christopher I. Rodrigues, Sam S. Stone, Sara S. Baghsorkhi, Sain-Zee Ueng, John A. Stratton, Wen-mei W. Hwu Program optimization space pruning for a multithreaded gpu. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, parallel computing, gpgpu
20Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap Optimizing Compilation of CLP(R). Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
19Shlomit S. Pinter, Ron Y. Pinter Program Optimization and Parallelization Using Idioms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF array data flow analysis, computational idioms, intermediate program representation, parallelism, reduction, dependence analysis, graph rewriting, parallel prefix, scan operations
16Ludo Van Put, Dominique Chanet, Koen De Bosschere Whole-program linear-constant analysis with applications to link-time optimization. Search on Bibsonomy SCOPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16John Sanguinetti Program Optimization for a Pipelined Machine: A Case Study. Search on Bibsonomy SIGMETRICS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
16Eryk Laskowski, Marek Tudruj, Richard Olejnik, Bernard Toursel Java Byte Code Scheduling Based on the Most-Often-Used-Paths in Programs with Branches. Search on Bibsonomy ISPDC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Takeshi Chusho A Good Program = A Structured Program + Optimization Commands. Search on Bibsonomy IFIP Congress The full citation details ... 1980 DBLP  BibTeX  RDF
15Yutao Zhong, Xipeng Shen, Chen Ding Program locality analysis using reuse distance. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF stack distance, training-based analysis, reuse distance, Program locality
15Timothy Sherwood, Erez Perelman, Greg Hamerly, Brad Calder Automatically characterizing large scale program behavior. Search on Bibsonomy ASPLOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Makoto Tanji, Hitoshi Iba Program optimization by random tree sampling. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fragment preservation, program sampling, genetic programming, recombination operator
15Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min Selective code transformation for dual instruction set processors. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Dual instruction set processors, mixed-width instruction set architecture, reduced bid-width instruction set architecture
14Michael Voss, Rudolf Eigenmann ADAPT: Automated De-Coupled Adaptive Program Transformation. Search on Bibsonomy ICPP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi An Efficient Staging Algorithm for Binding-Time Analysis. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Sun Yong-qiang, Lu Ru-zhan, Bi Hua Program synthesis based on Boyer-Moore theorem proving techniques. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF Boyer-Moore technique, program sysnthesis, theorem proving, resolution
13Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah TRICK: tracking and reusing compiler's knowledge. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF optimization, compiler, reuse, program analysis, tools
13Yonggang Che, Zhenghua Wang A Lightweight Iterative Compilation Approach for Optimization Parameter Selection. Search on Bibsonomy IMSCCS (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Cédric Bastoul, Paul Feautrier Improving Data Locality by Chunking. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Milena Milenkovic, Aleksandar Milenkovic, Martin Burtscher Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces. Search on Bibsonomy DCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Fumiaki Ohata, Katsuro Inoue JAAT: Java Alias Analysis Tool for Program Maintenance Activities. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Manuel Arenaz, Juan Touriño, Ramon Doallo Program Behavior Characterization Through Advanced Kernel Recognition. Search on Bibsonomy Euro-Par The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Andrew Moss, Dan Page Program interpolation. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic feedback, program interpolation, program optimization
11Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller A language and framework for invariant-driven transformations. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance
11Hai Liu, Eric Cheng, Paul Hudak Causal commutative arrows and their optimization. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
11Albert Sidelnik, I-Jui Sung, Wanmin Wu, María Jesús Garzarán, Wen-mei W. Hwu, Klara Nahrstedt, David A. Padua, Sanjay J. Patel Optimization of tele-immersion codes. Search on Bibsonomy GPGPU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tele-immersion codes, program optimization
11Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou Optimizing code through iterative specialization. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF analysis and transformation, program optimization and specialization, programming languages implementation, compiling techniques
11Alexander Grigoriev, Joyce van Loon, Marc Uetz Algorithms for Optimal Price Regulations. Search on Bibsonomy WINE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Pricing problems, three-level program optimization, social welfare maximization, EU roaming regulation
11Michael Fink 0001 Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF uniform equivalence, knowledge representation, program optimization, answer-set programming
11Tom Rothamel, Yanhong A. Liu Generating incremental implementations of object-set queries. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic incrementalization, query constructs, program optimization
11Torsten Hoefler, Andrew Lumsdaine Overlapping Communication and Computation with High Level Communication Routines. Search on Bibsonomy CCGRID The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-blocking collective communication, MPI, program optimization, Overlap
11Thomas Eiter, Michael Fink 0001, Stefan Woltran Semantical characterizations and complexity of equivalences in answer set programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
11Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser Stratego/XT 0.16: components for transformation systems. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems
11Bjorn De Sutter, Bruno De Bus, Koen De Bosschere Link-time binary rewriting techniques for program compaction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF code abstraction, linker, whole-program optimization, compaction, interprocedural analysis, Program representation, binary rewriting
11Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu Incrementalization across object abstraction. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization
11Zakarya A. Alzamil Application of the operational profile in software performance analysis. Search on Bibsonomy WOSP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF redundant computation, software performance analysis, program optimization, operational profile
11Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program transformation, instruction level parallelism, program optimization, locality optimization, adaptive compilation
11Gianfranco Bilardi, Keshav Pingali Algorithms for computing the static single assignment form. Search on Bibsonomy J. ACM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program transformation, optimizing compilers, program optimization, Control dependence, static single assignment form
11Yanhong A. Liu, Scott D. Stoller Dynamic Programming via Static Incrementalization. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update
11Vijay Menon, Keshav Pingali, Nikolay Mateev Fractal symbolic analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Compilers, program transformation, program optimization, symbolic analysis
11Germán Puebla, Manuel V. Hermenegildo Abstract specialization and its applications. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
11Gregory T. Balls, Scott B. Baden, Phillip Colella SCALLOP: A Highly Scalable Parallel Poisson Solver in Three Dimensions. Search on Bibsonomy SC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF computation-intensive applications, parallel and distributedalgorithms, program optimization and performance programming
11Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary, Prithviraj Banerjee A Layout-Conscious Iteration Space Transformation Technique. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF program optimization, loop transformations, Data reuse, cache locality, memory layouts
11Yanhong A. Liu, Gustavo Gomez Automatic Accurate Cost-Bound Analysis for High-Level Languages. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF cost bound, performance analysis and measurements, program analysis and transformation, space analysis, timing analysis, time analysis, worst-case execution time, program optimization, Cost analysis
11Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation
11C.-C. Hwang, Shih-Kun Huang, D.-J. Chen, D. Chen Object-Oriented Program Behavior Analysis Based on Control Patterns. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java VM, Data Mining, Program Optimization, Code Patterns, Workflow Analysis, Benchmark Design
11Kathryn S. McKinley A Compiler Optimization Algorithm for Shared-Memory Multiprocessors. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF parallelization techniques, performance evaluation, data locality, program optimization, Program parallelization, restructuring compilers
11Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Prithviraj Banerjee A Matrix-Based Approach to the Global Locality Optimization Problem. Search on Bibsonomy IEEE PACT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF optimizing for locality, global (whole program) optimization, combined unified loop and data transformations, loop transformations, data layout optimizations
11Robert Kennedy, Fred C. Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich Strength Reduction via SSAPRE. Search on Bibsonomy CC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF linear function test replacement, program transformation, program analysis, data flow analysis, program optimization, Code motion, partial redundancy elimination, static single assignment, strength reduction, dead code elimination, induction variables
11Jens Knoop Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
11Oliver Rüthing Optimal Code Motion in the Presence of Large Expressions. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF partial redundancy, graph theory, register allocation, graph matching, program optimization, code motion, elimination
11Brad Calder, Dirk Grunwald, Michael P. Jones, Donald C. Lindsay, James H. Martin, Michael Mozer, Benjamin G. Zorn Evidence-Based Static Branch Prediction Using Machine Learning. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF neural networks, performance evaluation, machine learning, decision trees, branch prediction, program optimization
11Keshav Pingali, Gianfranco Bilardi Optimal Control Dependence Computation and the Roman Chariots Problem. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF compilers, program transformation, program optimization, control dependence
11Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001 Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF assignment motion, bitvector problems, definition-use chains, partial dead-code elimination, parallelism, synchronization, shared memory, data flow analysis, program optimization, code motion, strength reduction, interleaving semantics
11Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki On Transformations into Linear Database Logic Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Datalog programs, program transformations, deductive databases, program optimization
11István Forgács An Exact Array Reference Analysis for Data Flow Testing. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF approximate information, definition-use pairs, exact array reference analysis, formulae negation avoidance, precise method, program path execution, program testing, data flow analysis, arrays, program optimization, data flow testing, program parallelization
11Alexander Aiken, Alexandru Nicolau, Steven Novack Resource-Constrained Software Pipelining. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Software pipelining, instruction scheduling, program optimization, global scheduling, fine-grain parallelism
11Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski Region Analysis: A Parallel Elimination Method for Data Flow Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF elimination algorithms, parallel algorithms, Data flow analysis, program optimization, interval analysis
11R. C. Sekar, I. V. Ramakrishnan Fast Strictness Analysis Based on Demand Propagation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF program analysis, program optimization, strictness analysis
11Jens Knoop, Oliver Rüthing, Bernhard Steffen The Power of Assignment Motion. Search on Bibsonomy PLDI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF assignment motion, bit-vector data flow analyses, partially redundant assignment and expression elimination, data flow analysis, program optimization, code motion
11Olav Hansen A method for optimizing large scale parallel applications. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF large-scale parallel program optimization, massively parallel computing systems, scalable tool, performance data presentation, scalable representation, behavioral attribute specification, global system behavior, distributed measurement evaluation, online operation mode, parallel programming, optimisation, software performance evaluation, thresholds, large-scale systems, program execution, online operation
11Yoji Yamada, John C. Gyllenhaal, Grant E. Haab, Wen-mei W. Hwu Data relocation and prefetching for programs with large data sets. Search on Bibsonomy MICRO The full citation details ... 1994 DBLP  DOI  BibTeX  RDF data copying, data relocation, program optimization, software prefetching, cache conflicts
11Mark T. Vandevoorde, John V. Guttag Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF program modularity, formal specifications, compilers, program optimization, software interfaces
11Jens Knoop, Oliver Rüthing, Bernhard Steffen Partial Dead Code Elimination. Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF assignment motion, bit-vector data flow analyses, data flow analysis, program optimization, code motion, partial redundancy elimination, dead code elimination
11Jacob T. Schwartz Automatic Data Structure Choice in a Language of Very High Level. Search on Bibsonomy POPL The full citation details ... 1975 DBLP  DOI  BibTeX  RDF data structure choice, set-theoretic languages, automatic programming, high level languages, program optimization
11Trishul M. Chilimbi On the Stability of Temporal Data Reference Profiles. Search on Bibsonomy IEEE PACT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Grigori Fursin, Albert Cohen 0001, Michael F. P. O'Boyle, Olivier Temam Quick and Practical Run-Time Evaluation of Multiple Program Optimizations. Search on Bibsonomy Trans. HiPEAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
10Grigori Fursin, Albert Cohen 0001, Michael F. P. O'Boyle, Olivier Temam A Practical Method for Quickly Evaluating Program Optimizations. Search on Bibsonomy HiPEAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Christophe Alias Contributions to Program Optimization and High-Level Synthesis. (Contributions à l'optimisation de programmes et à la synthèse de circuits haut-niveau). Search on Bibsonomy 2019   RDF
9Thiago S. F. X. Teixeira, Corinne Ancourt, David A. Padua, William Gropp Locus: A System and a Language for Program Optimization. Search on Bibsonomy CGO The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
9Yi Liu JSOptimizer: an extensible framework for JavaScript program optimization. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
9X. X. Li, W. D. Li, Fazhi He A multi-granularity NC program optimization approach for energy efficient machining. Search on Bibsonomy Advances in Engineering Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
9Shizhen Xu, Yuanchao Xu, Wei Xue, Xipeng Shen, Fang Zheng, Xiaomeng Huang, Guangwen Yang Taming the "Monster": Overcoming Program Optimization Challenges on SW26010 Through Precise Performance Modeling. Search on Bibsonomy IPDPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
9Kamran Shafi, Saber M. Elsayed, Ruhul A. Sarker, Michael Ryan Scenario-based multi-period program optimization for capability-based planning using evolutionary algorithms. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
9Patrick W. Sathyanathan, Wenlei He, Ten H. Tzen Incremental whole program optimization and compilation. Search on Bibsonomy CGO The full citation details ... 2017 DBLP  BibTeX  RDF
9Ziv Scully, Adam Chlipala A program optimization for automatic database result caching. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
9Eric Schkufza, Rahul Sharma 0001, Alex Aiken Stochastic program optimization. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
9Mumtaz Karatas, Bhakti Stephan Onggo Validating an integer non-linear program optimization model of a wireless sensor network using agent-based simulation. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
9Xitong Gao, George A. Constantinides Numerical Program Optimization for High-Level Synthesis. Search on Bibsonomy FPGA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
9Karthik Ramachandra 0002, Ravindra Guravannavar Database-Aware Program Optimization via Static Analysis. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2014 DBLP  BibTeX  RDF
9Rosario Cammarota, Alexandru Nicolau, Alexander V. Veidenbaum, Arun Kejariwal, Debora Donato, Mukund Madhugiri On the Determination of Inlining Vectors for Program Optimization. Search on Bibsonomy CC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
9Vincent Rahli, Mark Bickford, Abhishek Anand Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types. Search on Bibsonomy ITP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
9Pingjing Lu, Bao Li, Zhengbin Pang, Ying Zhang, Shaogang Wang, Jinbo Xu, Yan Liu An Effective Framework of Program Optimization for High Performance Computing. Search on Bibsonomy NCCET The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
9Rosario Cammarota, Arun Kejariwal, Debora Donato, Alexandru Nicolau, Alexander V. Veidenbaum Selective search of inlining vectors for program optimization. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
9Arun Kejariwal Big Data Challenges: A Program Optimization Perspective. Search on Bibsonomy CGC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
9Mohamed A. El-Zawawy Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
9Murat Bolat, Kirk Kelsey, Xiaoming Li, Guang R. Gao Source Code Partitioning in Program Optimization. Search on Bibsonomy ICPADS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
9Michael D. Linderman, Matthew Ho, David L. Dill, Teresa H. Y. Meng, Garry P. Nolan Towards program optimization through automated analysis of numerical precision. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fixed-point numbers, static error analysis, floating-point numbers, numerical precision
Displaying result #1 - #100 of 220 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license