The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for optimizations with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1971 (30) 1977-1982 (18) 1983-1986 (21) 1987 (16) 1988 (21) 1989 (17) 1990 (40) 1991 (22) 1992 (36) 1993 (34) 1994 (71) 1995 (68) 1996 (75) 1997 (82) 1998 (102) 1999 (116) 2000 (161) 2001 (192) 2002 (243) 2003 (263) 2004 (328) 2005 (359) 2006 (386) 2007 (406) 2008 (371) 2009 (290) 2010 (145) 2011 (67) 2012 (83) 2013 (68) 2014 (90) 2015 (98) 2016 (129) 2017 (109) 2018 (102) 2019 (98) 2020 (130) 2021 (118) 2022 (123) 2023 (126) 2024 (29)
Publication types (Num. hits)
article(1227) book(4) incollection(56) inproceedings(3870) phdthesis(122) proceedings(4)
Venues (Conferences, Journals, ...)
CoRR(149) IPDPS(113) PLDI(104) LCPC(75) CGO(62) DAC(60) ICS(59) CC(58) MICRO(56) SIGMOD Conference(53) ACM Trans. Program. Lang. Syst...(51) Euro-Par(49) IEEE Trans. Comput. Aided Des....(49) SC(48) POPL(47) PPoPP(46) More (+10 of total 1366)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4621 occurrences of 2215 keywords

Results
Found 5283 publication records. Showing 5283 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
34Florian T. Schneider, Vijay Menon 0002, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai Dynamic optimization for efficient strong atomicity. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity
34Mahmut T. Kandemir, Prithviraj Banerjee, Alok N. Choudhary, J. Ramanujam, U. Nagaraj Shenoy A global communication optimization technique based on data-flow analysis and linear algebra. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF message vectorization, parallelism, global optimizations, data-flow analysis, communication optimizations, distributed-memory machines
32Ross Tate, Michael Stepp, Sorin Lerner Generating compiler optimizations from proofs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF proof generalization, compiler optimization, explanation-based learning
32Sudipta Kundu, Zachary Tatlock, Sorin Lerner Proving optimizations correct using parameterized program equivalence. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compiler optimization, correctness, translation validation
32Nissim Harel, Hasnain A. Mandviwala, Kathleen Knobe, Umakishore Ramachandran Methods of Memory Optimizations in Streaming Applications. Search on Bibsonomy ICPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Yuan Chou, Lawrence Spracklen, Santosh G. Abraham Store Memory-Level Parallelism Optimizations for Commercial Applications. Search on Bibsonomy MICRO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Jerry Hom, Ulrich Kremer Inter-program optimizations for conserving disk energy. Search on Bibsonomy ISLPED The full citation details ... 2005 DBLP  DOI  BibTeX  RDF execution context, inverse barrier
32Youfeng Wu, Maurício Breternitz Jr., Tevi Devor Continuous Trip Count Profiling for Loop Optimizations in Two-Phase Dynamic Binary Translato. Search on Bibsonomy Interaction between Compilers and Computer Architectures The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Joseph Zambreno, Mahmut T. Kandemir, Alok N. Choudhary Enhancing Compiler Techniques for Memory Energy Optimizations. Search on Bibsonomy EMSOFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Alex K. Jones, Debabrata Bagchi, Satrajit Pal, Xiaoyong Tang, Alok N. Choudhary, Prithviraj Banerjee PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations. Search on Bibsonomy CASES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF FPGA, low-power, compiler, SoC, synthesis, pipelining, VHDL, IP, ASIC, high-performance, FSM, Verilog, HDL, levelization
32Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Wu Ye Influence of compiler optimizations on system power. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Jack L. Lo, Susan J. Eggers Improving Balanced Scheduling with Compiler Optimizations that Increase Instruction-Level Parallelism. Search on Bibsonomy PLDI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
32Anthony Danalis, Lori L. Pollock, D. Martin Swany, John Cavazos MPI-aware compiler optimizations for improving communication-computation overlap. Search on Bibsonomy ICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mpi-aware compiler optimizations, data flow analysis, communication-computation overlap
32Jinghao Zhu, Xi Zhang On global optimizations with polynomials. Search on Bibsonomy Optim. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Positive semi-definite programs, Global optimizations, Polynomials
32Ilya Issenin, Nikil D. Dutt Using FORAY Models to Enable MPSoC Memory Optimizations. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FORAY model, affine index expressions, Embedded systems, MPSoC, memory optimizations, scratch pad memory
32Jean-Baptiste Tristan, Xavier Leroy Formal verification of translation validators: a case study on instruction scheduling optimizations. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF the coq proof assistant, translation validation, scheduling optimizations, verified compilers
32Yefim Shuf, Ian M. Steiner Characterizing a Complex J2EE Workload: A Comprehensive Analysis and Opportunities for Optimizations. Search on Bibsonomy ISPASS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF J2EE workload, Java benchmarks, SPECjvm98, SPECjbb2000, Java 2 Enterprise Edition, SPECjAppServer2004, systems research, software research, cache-to-cache modified data transfers, intelligent thread co-scheduling, Java heap, bursty data cache, Java virtual method calls, optimizations, performance analysis, garbage collection, instruction cache, data prefetching, commercial workload
32Rajiv Chakravorty, Suman Banerjee 0001, Pablo Rodriguez 0001, Julian Chesterfield, Ian Pratt 0001 Performance optimizations for wireless wide-area networks: comparative study and experimental evaluation. Search on Bibsonomy MobiCom The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CDMA 2000, multi-layer performance optimizations, TCP, HTTP, UMTS, proxy, 3G, GPRS, cellular, cross-layer interactions
32Xuemin Lin 0001 Delay Optimizations in Quorum Consensus. Search on Bibsonomy ISAAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Replicated Data Management and Optimizations, Quorum Consensus
32Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin, Hyun Suk Kim, Wu Ye Energy-driven integrated hardware-software optimizations using SimplePower. Search on Bibsonomy ISCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF energy optimization and estimation, energy simulator, hardware-software interaction, system energy, compiler optimizations, low-power architectures
32Kevin P. Acken, Mary Jane Irwin, Robert Michael Owens, Amulya K. Garga Architectural Optimizations For A Floating Point Multiply-Accumulate Unit In A Graphics Pipeline. Search on Bibsonomy ASAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF floating point multiply-accumulate unit, three-dimensional graphics engines, normalized space, virtual reality, virtual reality, parallelism, computer graphics, scientific visualization, matrix multiplication, matrix multiplications, data visualisation, floating point arithmetic, architectural optimizations, graphics pipeline
30Min Zhao 0009, Bruce R. Childers, Mary Lou Soffa A Framework for Exploring Optimization Properties. Search on Bibsonomy CC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Yasushi Negishi, Hiroki Murata, Takao Moriyama A proposal of operation history management system for source-to-source optimization of HPC programs. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF high performance computing, productivity, performance optimization, version management
30Ke Meng, Russ Joseph, Robert P. Dick, Li Shang Multi-optimization power management for chip multiprocessors. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cache resizing, voltage/frequency scaling, dynamic power management, chip multi-processor
30Brad T. Vander Zanden Optimizing Toolkit-generated Graphical Interfaces. Search on Bibsonomy ACM Symposium on User Interface Software and Technology The full citation details ... 1994 DBLP  DOI  BibTeX  RDF automatic redisplay, structured graphics, optimization, constraints, development tools
29Haoxing Ren, David Z. Pan, Charles J. Alpert, Gi-Joon Nam, Paul G. Villarrubia Hippocrates: First-Do-No-Harm Detailed Placement. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF synthesis optimizations, Hippocrates, first-do-no-harm detailed placement, pin-based timing constraint, electrical constraints, reduced wire-length
29Alex Gontmakher, Avi Mendelson, Assaf Schuster, Gregory Shklover Code Compilation for an Explicitly Parallel Register-Sharing Architecture. Search on Bibsonomy ICPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF register sharing, explicitly parallel code, optimizations, multithreading, register allocation, Fine grain parallelization
29Alex Ramírez, Josep Lluís Larriba-Pey, Mateo Valero Software Trace Cache. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF compiler optimizations, branch prediction, Pipeline processors, trace cache, instruction fetch
29Seung-Jai Min, Ayon Basumallik, Rudolf Eigenmann Supporting Realistic OpenMP Applications on a Commodity Cluster of Workstations. Search on Bibsonomy WOMPAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF OpenMP Applications, optimizations, benchmarks, performance characteristics, Software Distributed Shared Memory
29Li-Ling Chen, Youfeng Wu Aggressive Compiler Optimization and Parallelization with Thread-Level Speculation. Search on Bibsonomy ICPP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF high-performance architecture and region formation, compiler optimizations, speculative execution, thread-level parallelism
29Lutz Prechelt Exploiting Domain-Specific Properties: Compiling Parallel Dynamic Neural Network Algorithms into Efficient Code. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF high-level parallel language, Compiler optimizations, communication optimization, dynamic data structures, irregular problems
29Paul Lokuciejewski, Peter Marwedel Combining Worst-Case Timing Models, Loop Unrolling, and Static Loop Analysis for WCET Minimization. Search on Bibsonomy ECRTS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF WCET minimization, WCET-driven optimizations, High-Level Optimizations, compiler, WCET
29Maria João Frade, Ando Saabas, Tarmo Uustalu Foundational certification of data-flow analyses. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
29Deborah Whitfield, Mary Lou Soffa An Approach for Exploring Code-Improving Transformations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automatic generation of optimizers, code-improving transformations, enabling and disabling of optimizations, parallelizing transformations, specification of program optimizations
27Alex Shye, Benjamin Scholbrock, Gokhan Memik Into the wild: studying real user activity patterns to guide power optimizations for mobile architectures. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Lei Huang 0006, Deepak Eachempati, Marcus W. Hervey, Barbara M. Chapman Exploiting global optimizations for openmp programs in the openuh compiler. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel ssa, openmp, compiler analysis
27Sagar Chaki, Ofer Strichman Three optimizations for Assume-Guarantee reasoning with L*. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Learning, Software verification, Compositionality, Assume-Guarantee
27Alexandros Bartzas, Miguel Peón Quirós, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Jose Manuel Mendias Enabling run-time memory data transfer optimizations at the system level with automated extraction of embedded software metadata information. Search on Bibsonomy ASP-DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Kelly Heffner, David Tarditi, Michael D. Smith 0001 Extending Object-Oriented Optimizations for Concurrent Programs. Search on Bibsonomy PACT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Qing Yi, Keith Seymour, Haihang You, Richard W. Vuduc, Daniel J. Quinlan POET: Parameterized Optimizations for Empirical Tuning. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Konrad Malkowski, Padma Raghavan, Mary Jane Irwin Memory Optimizations For Fast Power-Aware Sparse Computations. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Jin Lin, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai Recovery code generation for general speculative optimizations. Search on Bibsonomy ACM Trans. Archit. Code Optim. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Recovery code, multi-level data speculation, speculative SSA form
27Tao Zhang 0037, Xiaotong Zhuang, Santosh Pande Compiler Optimizations to Reduce Security Overhead. Search on Bibsonomy CGO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Wei-Yu Chen, Costin Iancu, Katherine A. Yelick Communication Optimizations for Fine-Grained UPC Applications. Search on Bibsonomy IEEE PACT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Bruce E. Martin Uncovering Database Access Optimizations in the Middle Tier with TORPEDO. Search on Bibsonomy ICDE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Jinpyo Kim, Sreekumar V. Kodakara, Wei-Chung Hsu, David J. Lilja, Pen-Chung Yew Dynamic Code Region (DCR) Based Program Phase Tracking and Prediction for Dynamic Optimizations. Search on Bibsonomy HiPEAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Jin Lin, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai A Compiler Framework for Recovery Code Generation in General Speculative Optimizations. Search on Bibsonomy IEEE PACT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Rajiv Chakravorty, Julian Chesterfield, Pablo Rodriguez 0001, Suman Banerjee 0001 Measurement Approaches to Evaluate Performance Optimizations for Wide-Area Wireless Networks. Search on Bibsonomy PAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Gerolf Hoflehner, Knud Kirkegaard, Rod Skinner, Daniel M. Lavery, Yong-Fong Lee, Wei Li 0015 Compiler Optimizations for Transaction Processing Workloads on Itanium® Linux Systems. Search on Bibsonomy MICRO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Yves Bertot, Benjamin Grégoire, Xavier Leroy A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Jean-Francois Collard, Daniel M. Lavery Optimizations to Prevent Cache Penalties for the Intel ® Itanium 2 Processor. Search on Bibsonomy CGO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27R. David Weldon, Steven S. Chang, Hong Wang 0003, Gerolf Hoflehner, Perry H. Wang, Daniel M. Lavery, John Paul Shen Quantitative Evaluation of the Register Stack Engine and Optimizations for Future Itanium Processors. Search on Bibsonomy Interaction between Compilers and Computer Architectures The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi An efficient profile-analysis framework for data-layout optimizations. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27David Parello, Olivier Temam, Jean-Marie Verdun On increasing architecture awareness in program optimizations to bridge the gap between peak and sustained processor performance: matrix-multiply revisited. Search on Bibsonomy SC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Ronald Veldema, Rutger F. H. Hofman, Raoul Bhoedjang, Ceriel J. H. Jacobs, Henri E. Bal Source-level global optimizations for fine-grain distributed shared memory systems. Search on Bibsonomy PPoPP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Jian Li 0061, Rajesh K. Gupta 0001 HDL presynthesis optimizations using a tabular model. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27David Wonnacott Extending Scalar Optimizations for Arrays. Search on Bibsonomy LCPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Kemal Ebcioglu, Erik R. Altman, Sumedh W. Sathaye, Michael Gschwind Optimizations and Oracle Parallelism with Dynamic Translation. Search on Bibsonomy MICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27David C. Cann, Paraskevas Evripidou Advanced Array Optimizations for High Performance Functional Languages. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Cliff Click, Keith D. Cooper Combining Analyses, Combining Optimizations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF value numbering, data-flow analysis, optimizing compilers, constant propagation
27Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Paul Lokuciejewski, Timon Kelter, Peter Marwedel Superblock-Based Source Code Optimizations for WCET Reduction. Search on Bibsonomy CIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Optimizations, Embedded Systems, Real-Time, Compiler, WCET, Superblock
27Antonia Zhai, Shengyue Wang, Pen-Chung Yew, Guojin He Compiler optimizations for parallelizing general-purpose applications under thread-level speculation. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compiler optimizations, parallelizing compiler, thread-level speculation, multicore systems
27Suzanne Rivoire, Mehul A. Shah, Parthasarathy Ranganathan, Christos Kozyrakis, Justin Meza Models and Metrics to Enable Energy-Efficiency Optimizations. Search on Bibsonomy Computer The full citation details ... 2007 DBLP  DOI  BibTeX  RDF energy-efficiency optimizations, JouleSort benchmark, power models, green computing
27Soumyajit Dey, Monu Kedia, Anupam Basu Architectural Optimizations for Text to Speech Synthesis in Embedded Systems. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF embedded processor architectures, online incoming text streams, embedded systems, embedded devices, architectural optimizations, text to speech synthesis
27Mahmut T. Kandemir, J. Ramanujam, Ugur Sezer Improving the energy behavior of block buffering using compiler optimizations. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF block buffering, embedded systems, data cache, Energy optimizations, compiler transformations
27J. Ramanujam, Satish Krishnamurthy, Jinpyo Hong, Mahmut T. Kandemir Address Code and Arithmetic Optimizations for Embedded Systems. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF address arithmetic optimization, array access to scalar access conversion, embedded systems, compiler optimizations, pointers
25Bhavish Agarwal, Pushkar V. Chitnis, Amit Dey, Kamal Jain, Vishnu Navda, Venkata N. Padmanabhan, Ramachandran Ramjee, Aaron Schulman, Neil Spring Stratus: energy-efficient mobile communication using cloud support. Search on Bibsonomy SIGCOMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cloud proxy, energy, smartphone
25Grigori Fursin, Olivier Temam Collective Optimization. Search on Bibsonomy HiPEAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Kenneth Hoste, Lieven Eeckhout Cole: compiler optimization level exploration. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-objective search, compiler optimization
25Jerry Hom, Ulrich Kremer Execution context optimization for disk energy. Search on Bibsonomy CASES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF synchronization, user study, multiprogramming, runtime adaptation
25Kyungwoo Lee, Zino Benaissa, Juan Rodriguez A dynamic tool for finding redundant computations in native code. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compiler generated code, dynamic instrumentation, performance tools, dynamic data-flow analysis
25Pramod G. Joisha Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, reference counting
25Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles Hardware atomicity for reliable software speculation. Search on Bibsonomy ISCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, optimization, checkpoint, atomicity, speculation, isolation
25Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers Automated soundness proofs for dataflow analyses and transformations via local rules. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated correctness proofs, compiler optimization
25Brian S. White, Sally A. McKee, Bronis R. de Supinski, Brian Miller 0001, Daniel J. Quinlan, Martin Schulz 0001 Improving the computational intensity of unstructured mesh applications. Search on Bibsonomy ICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Amir Kamil, Jimmy Su, Katherine A. Yelick Making Sequential Consistency Practical in Titanium. Search on Bibsonomy SC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Caroline Tice, Susan L. Graham A Practical, Robust Method for Generating Variable Range Tables. Search on Bibsonomy CC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25José E. Moreira, Samuel P. Midkiff, Manish Gupta 0002 From flop to megaflops: Java for technical computing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF java, Java, compilers, arrays
25Keith D. Cooper, Philip J. Schielke, Devika Subramanian Optimizing for Reduced Code Space using Genetic Algorithms. Search on Bibsonomy Workshop on Languages, Compilers, and Tools for Embedded Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Stuart Cheshire, Mary Baker Internet Mobility 4x4. Search on Bibsonomy SIGCOMM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Internet
25Ali-Reza Adl-Tabatabai, Thomas R. Gross Source-Level Debugging of Scalar Optimized Code. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Gary Brooks, Gilbert J. Hansen, Steve Simmons A New Approach to Debugging Optimized Code. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF FORTRAN
24Xiaolong Tang, Jaakko Järvi Generic flow-sensitive optimizing transformations in C++ with concepts. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF high-level optimizations, C++, concepts, rewriting
24Maria João Frade, Ando Saabas, Tarmo Uustalu Bidirectional data-flow analyses, type-systematically. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
24Aleksandar Dragojevic, Yang Ni, Ali-Reza Adl-Tabatabai Optimizing transactions for captured memory. Search on Bibsonomy SPAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software transactional memory, runtime optimizations
24Marc González 0001, Nikola Vujic, Xavier Martorell, Eduard Ayguadé, Alexandre E. Eichenberger, Tong Chen 0001, Zehra Sura, Tao Zhang, Kevin O'Brien, Kathryn M. O'Brien Hybrid access-specific software cache techniques for the cell BE architecture. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF memory classification, OpenMP, compiler optimizations, local memories, software cache
24Dmitry Tsarkov, Ian Horrocks 0001, Peter F. Patel-Schneider Optimizing Terminological Reasoning for Expressive Description Logics. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Reasoning systems, Optimizations, Description logic
24Gokhan Memik, Mahmut T. Kandemir, Wei-keng Liao, Alok N. Choudhary Multicollective I/O: A technique for exploiting inter-file access patterns. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2006 DBLP  DOI  BibTeX  RDF file accesses, runtime library, Parallel I/O, collective I/O, software optimizations
24Stephen Hines, David B. Whalley, Gary S. Tyson Adapting compilation techniques to enhance the packing of instructions into registers. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF instruction packing, instruction register file, compiler optimizations
24Kristof Beyls, Erik H. D'Hollander Intermediately executed code is the key to find refactorings that improve temporal data locality. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF performance debugger, temporal data locality, program analysis, refactoring, program optimizations, loop transformations
24Victor De La Luz, Mahmut T. Kandemir Array Regrouping and Its Use in Compiling Data-Intensive Embedded Applications. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Array regrouping, memory energy consumption, embedded systems, cache locality, layout optimizations
24Gayathri Krishnamurthy, Elana D. Granston, Eric Stotzer Affinity-based cluster assignment for unrolled loops. Search on Bibsonomy ICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF affinity-based clustering (ABC) algorithms, homogeneous clusters, partitioned register files, software pipelining, loop optimizations, loop scheduling, VLIW architectures, loop unrolling, cluster assignment
24Chen Ding, Ken Kennedy The Memory Bandwidth Bottleneck and its Amelioration by a Compiler. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF memory performance model, array reduction, store elimination, memory hierarchy, compiler optimizations, Memory bandwidth, loop fusion
24Zena M. Ariola Relating graph and term rewriting via Böhm models. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Term model, Compiler optimizations, Correctness, Term rewriting, Graph rewriting
24Manish Gupta 0002, Edith Schonberg, Harini Srinivasan A Unified Framework for Optimizing Communication in Data-Parallel Programs. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Array section descriptors, data-flow analysis, data-parallelism, High Performance Fortran, communication optimizations, partial redundancy elimination, data availability
24Ken Kennedy, Nenad Nedeljkovic Combining dependence and data-flow analyses to optimize communication. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF data-flow analyses, regular communication, data-flow analysis method, overlapping communication, performance, compilers, dependence, program compilers, distributed memory systems, parallel languages, communication overhead, communication optimizations, distributed-memory machines, data-parallel languages
24Rajive L. Bagrodia, Wen-Toh Liao Maisie: A Language for the Design of Efficient Discrete-Event Simulations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Maisie, C-based discrete-event simulation language, simulation model/algorithm separation, sequential simulation algorithm, parallel conservative algorithm, parallel optimistic algorithm, recomputation overheads, state saving overheads, semantic rollback, lookahead optimization, interrogative simulation, optimizations, parallel algorithms, optimisation, discrete event simulation, synchronisation, distributed simulation, C language, run-time system, simulation languages, language constructs, synchronization overheads
24Sangyeop Lee, Myoung Hoon Ha, Byung Ro Moon Understanding features on evolutionary policy optimizations: feature learning difference between gradient-based and evolutionary policy optimizations. Search on Bibsonomy SAC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 5283 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license