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