The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1956-1960 (16) 1961-1962 (20) 1963-1964 (26) 1965-1966 (21) 1967 (18) 1968 (21) 1969-1970 (33) 1971-1972 (22) 1973 (24) 1974 (15) 1975 (27) 1976 (55) 1977 (26) 1978 (33) 1979 (63) 1980 (54) 1981 (24) 1982 (94) 1983 (57) 1984 (103) 1985 (51) 1986 (102) 1987 (94) 1988 (139) 1989 (115) 1990 (188) 1991 (117) 1992 (183) 1993 (125) 1994 (202) 1995 (195) 1996 (234) 1997 (222) 1998 (270) 1999 (313) 2000 (363) 2001 (364) 2002 (479) 2003 (475) 2004 (502) 2005 (578) 2006 (571) 2007 (569) 2008 (504) 2009 (404) 2010 (238) 2011 (130) 2012 (153) 2013 (152) 2014 (154) 2015 (141) 2016 (193) 2017 (150) 2018 (176) 2019 (187) 2020 (191) 2021 (212) 2022 (287) 2023 (260) 2024 (71)
Publication types (Num. hits)
article(2266) book(50) data(2) incollection(88) inproceedings(8123) mastersthesis(1) phdthesis(221) proceedings(55)
Venues (Conferences, Journals, ...)
CC(670) CoRR(306) PLDI(277) LCPC(205) ACM SIGPLAN Notices(147) CGO(137) IPDPS(135) ACM Trans. Program. Lang. Syst...(131) MICRO(126) SIGPLAN Symposium on Compiler ...(124) DAC(107) ICS(107) IEEE Trans. Parallel Distribut...(104) Euro-Par(103) POPL(103) ASPLOS(98) More (+10 of total 1662)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8892 occurrences of 2725 keywords

Results
Found 10806 publication records. Showing 10806 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
25Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, Alexander D. Stoyenko Toward Compiler Optimization of Distributed Real-Time Processes. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Chi-Keung Luk, Todd C. Mowry Compiler-Based Prefetching for Recursive Data Structures. Search on Bibsonomy ASPLOS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Amer Diwan, J. Eliot B. Moss, Richard L. Hudson Compiler Support for Garbage Collection in a Statically Typed Language. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Modula-3
25David B. Wortman, Michael D. Junkin A Concurrent Compiler for Modula-2+. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Modula-2
25R. Daniel Resler, Keith O'Sullivan VisiCLANG - a visible compiler for CLANG. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF APL
25M. P. Blivens, Mary Lou Soffa Reuse of Compiler Analysis in a Programming Environment. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
25Robert P. Colwell, Robert P. Nix, John J. O'Donnell, David B. Papworth, Paul K. Rodman A VLIW Architecture for a Trace Scheduling Compiler. Search on Bibsonomy ASPLOS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
25Laurian M. Chirica, David F. Martin Toward Compiler Implementation Correctness Proofs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25Harbans L. Sathi A project-based course in compiler construction. Search on Bibsonomy SIGCSE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda Development of C-Prolog Compiler. Search on Bibsonomy LP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa An Optimizing Prolog Compiler. Search on Bibsonomy LP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25George N. Baird, L. Arnold Johnson Compiler validation: an assessment. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
25Cornelis H. A. Koster CDL-A compiler implementation language. Search on Bibsonomy Methods of Algorithmic Language Implementation The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
25Peter W. Shantz, R. A. German, J. G. Mitchell, R. S. K. Shirley, C. Robert Zarnke WATFOR - The University of Waterloo FORTRAN IV compiler. Search on Bibsonomy Commun. ACM The full citation details ... 1967 DBLP  DOI  BibTeX  RDF
24Manuel Arenaz, Juan Touriño, Ramon Doallo XARK: An extensible framework for automatic recognition of computational kernels. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Automatic kernel recognition, demand-driven algorithms, gated single assignment, use-def chains, symbolic analysis, strongly connected component
24Michael Leuschel Towards Demonstrably Correct Compilation of Java Byte Code. Search on Bibsonomy FMCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Naveen 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
24Yi-Ping You, Chingren Lee, Jenq Kuen Lee Compilers for leakage power reduction. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Compilers for low power, power-gating mechanisms, leakage-power reduction
24Abhishek Das, William J. Dally, Peter R. Mattson Compiling for stream processing. Search on Bibsonomy PACT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SRF allocation, Stream Operation Precedence (SOP) graph, StreamC, coarse-grained operations, producer-consumer locality, scoreboard slot assignment, stream scheduling, strip-mining, software-pipelining, task level parallelism, stream programming model
24Florian T. Schneider, Thomas R. Gross Using Platform-Specific Performance Counters for Dynamic Compilation. Search on Bibsonomy LCPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Chris Lattner, Vikram S. Adve LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. Search on Bibsonomy CGO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Tatiana Shpeisman, Guei-Yuan Lueh, Ali-Reza Adl-Tabatabai Just-In-Time Java? Compilation for the Itanium® Processor. Search on Bibsonomy IEEE PACT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Mads Sig Ager, Olivier Danvy, Mayer Goldberg A Symmetric Approach to Compilation and Decompilation. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24William L. Harrison, Tim Sheard Dynamically Adaptable Software with Metacomputations in a Staged Language. Search on Bibsonomy SAIG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Peter Grun, Nikil D. Dutt, Alexandru Nicolau Aggressive Memory-Aware Compilation. Search on Bibsonomy Intelligent Memory Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Hironori Kasahara, Motoki Obata, Kazuhisa Ishizaka Automatic Coarse Grain Task Parallel Processing on SMP Using OpenMP. Search on Bibsonomy LCPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Maya B. Gokhale, Janice M. Stone Automatic Allocation of Arrays to Memories in FPGA Processors with Multiple Memory Banks. Search on Bibsonomy FCCM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
24Charles D. Norton The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C++
23Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation. Search on Bibsonomy IEEE Micro The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, optimization, architecture, compiler, checkpoint, atomicity, speculation, isolation, compiler-architecture interactions
23Gwan-Hwan Hwang An Efficient Algorithm for Computing Communication Sets for Data Parallel Programs with Block-Cyclic Distribution. Search on Bibsonomy ICPP Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF HPF Compiler, Block-Cyclic Distributions, Parallelizing Compiler, Distributed Memory Machines, Data Parallel Programs
23Nick Benton, Chung-Kil Hur Biorthogonality, step-indexing and compiler correctness. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification
23Seyong Lee, Seung-Jai Min, Rudolf Eigenmann OpenMP to GPGPU: a compiler framework for automatic translation and optimization. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF openmp, compiler optimization, gpu, cuda, automatic translation
23Robert C. Kirby, Anders Logg Benchmarking Domain-Specific Compiler Optimizations for Variational Forms. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FErari, FFC, complexity-reducing relations, variational form, optimization, compiler, Finite element method
23Doosan Cho, Sudeep Pasricha, Ilya Issenin, Nikil D. Dutt, Yunheung Paek, SunJun Ko Compiler driven data layout optimization for regular/irregular array access patterns. Search on Bibsonomy LCTES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compiler, memory hierarchy, energy consumption, data placement
23Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer 0001 Compiler error messages: what can help novices? Search on Bibsonomy SIGCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compiler error messages, novice programmers
23Laurence D. Merkle Metaoptimization of the in-lining priority function for a compiler targeting a polymorphous computing architecture. Search on Bibsonomy GECCO (Companion) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF polymorphous computing architectures, evolutionary computation, compiler optimization
23Nick Benton, Uri Zarfaty Formalizing and verifying semantic type soundness of a simple compiler. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF relational para-metricity, separation logic, proof assistants, compiler verification, type soundness
23Elena Moscu Panainte, Koen Bertels, Stamatis Vassiliadis Interprocedural Compiler Optimization for Partial Run-Time Reconfiguration. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reconfiguration overhead, reconfigurable computing, compiler optimization
23Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock The verified software repository: a step towards the verifying compiler. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
23Jerry Mead A compiler tutorial scaled for the programming languages course. Search on Bibsonomy SIGCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object-oriented programming, programming languages, courseware, compiler design, educational projects
23Wei Liu 0014, James Tuck 0001, Luis Ceze, Wonsun Ahn, Karin Strauss, Jose Renau, Josep Torrellas POSH: a TLS compiler that exploits program structure. Search on Bibsonomy PPoPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF TLS compiler, profiling, prefetching, thread-level speculation, multi-core architecture
23Saman P. Amarasinghe, Michael I. Gordon, Michal Karczmarek, Jasper Lin, David Maze, Rodric M. Rabbah, William Thies Language and Compiler Design for Streaming Applications. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF tiled-processor architectures, productivity, parallelizing compiler, Stream computing, StreamIt
23Sara Miner More, Tim Pevzner, Alin Deutsch, Scott B. Baden, Paul Kube Building an XQuery interpreter in a compiler construction course. Search on Bibsonomy SIGCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF XML, XQuery, compiler construction, capstone courses
23David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen Compiler Optimization Correctness by Temporal Logic. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, temporal logic, optimizing compilers, compiler verification
23Bo Wan, C.-J. Richard Shi Hierarchical Multi-Dimensional Table Lookup for Model Compiler Based Circuit Simulation. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model Compiler, Hierarchical Multi-dimensional Table Lookup, Optimization, Circuit Simulation, Abstract-Syntax-Tree
23Federico Angiolini, Francesco Menichelli, Alberto Ferrero, Luca Benini, Mauro Olivieri A post-compiler approach to scratchpad mapping of code. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF executable patching, post-compiler processing, dynamic programming, memory hierarchy, optimization algorithm, design automation, power saving, scratchpad memory, embedded design
23Saurabh Chheda, Osman S. Unsal, Israel Koren, C. Mani Krishna 0001, Csaba Andras Moritz Combining compiler and runtime IPC predictions to reduce energy in next generation architectures. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fetch throttling, low power design, instruction level parallelism, compiler architecture interaction, adaptive voltage scaling
23Heidi E. Ziegler, Mary W. Hall, Pedro C. Diniz Compiler-generated communication for pipelined FPGA applications. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF high-level and architectural synthesis, parallelizing compiler analysis techniques, synthesis techniques for configurable computing, FPGAs, pipelining, rapid prototyping
23Hillery C. Hunter, Wen-mei W. Hwu Code coverage and input variability: effects on architecture and compiler research. Search on Bibsonomy CASES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF architecture, compiler, benchmarks, DSP, telecommunications, code coverage
23S. Tucker Taft Using Ada 95 in a compiler course. Search on Bibsonomy SIGAda The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Ada, Ada 95, course, compiler construction
23Antonio Lain, Dhruva R. Chakrabarti, Prithviraj Banerjee Compiler and Run-Time Support for Exploiting Regularity within Irregular Applications. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compiler support, runtime compilation, iterative, distributed memory multicomputers, runtime support, Irregular applications
23Chen 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
23Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines. Search on Bibsonomy IEEE PACT The full citation details ... 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
23Seong-Uk Choi, Sung-Soon Park, Myong-Soon Park Eliminating Conditional Branches for Enhancing Instruction Level Parallelism in VLIW Compiler. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Compiler, Instruction Level Parallelism, VLIW, Superscalar, Conditional Branches
23Roger A. Bringmann, Scott A. Mahlke, Wen-mei W. Hwu A study of the effects of compiler-controlled speculation on instruction and data caches. Search on Bibsonomy HICSS (1) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF compiler-controlled speculation, nonnumeric programs, speculatively scheduled code, aggressive speculation models, scheduling, performance evaluation, parallel programming, time, instruction level parallelism, program compilers, data caches, cache storage, instruction cache, cache misses, performance results
23Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz Data Management and Control-Flow Aspects of an SIMD/SPMD Parallel Language/Compiler. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF control-flow aspects, SIMD/SPMD parallel language/compiler, explicitly parallel programming language, reconfigurable parallel processing systems, mode version, data-dependent control-flow, PE-address-dependent control-flow, parallel machine prototype, parallel programming, database management systems, data management, program compilers, parallel languages, processing elements, single program-multiple data
23Hoichi Cheong Life span strategy - a compiler-based approach to cache coherence. Search on Bibsonomy ICS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF compiler-based cache coherence, fast selective invalidation, inter-task-level temporal locality, life span strategy, parallel task execution, simple invalidation, time-stamp approach, version control, Doacross loop
23Gerald W. Neufeld, Yueli Yang The Design and Implementation of an ASN.1-C Compiler. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF abstract syntax notation one, ASN.1-C compiler, international standard specification, transfer-syntax, basic encoding rules, external data representation, ED library, CASN1, design, user interface, protocol, protocols, standards, C, implementation, encoding, program compilers, decoding, decoding
23Shi-Kuo Chang A Visual Language Compiler for Information Retrieval by Visual Reasoning. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF visual language compiler, SIL-ICON, fuzzy icon grammar, fuzzy visual query translation, VisualNet, VisualReasoner, information retrieval, information retrieval, database, data structures, visual programming, visual language, program compilers, data visualization, semantic model, prototype system, data objects, visual reasoning
23Abdul Sattar 0002, Torben Lorenzen Develop a compiler in Java for a compiler design course. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Jasmin, complier, recursive descent parser, Java, Java, JVM
23Philipp Lucas 0001, Nicolas Fritz, Reinhard Wilhelm The CGiS Compiler-A Tool Demonstration. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers Polyglot: An Extensible Compiler Framework for Java. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23C. A. R. Hoare The Verifying Compiler: A Grand Challenge for Computing Research. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Björn Franke, Michael F. P. O'Boyle Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. Search on Bibsonomy CC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Dae-Hwan Kim Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor. Search on Bibsonomy CC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Mikael Pettersson A Compiler for Natural Semantics. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF tailcalls, continuations, natural semantics, determinacy
23Siegfried Benkner, Peter Brezany, Hans P. Zima Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler. Search on Bibsonomy CC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Beate Baum Another Kind of Modular Attribute Grammars. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Andrei Mantsivoda, Vyacheslav Petukhin Compiling Flang. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Arnd Poetzsch-Heffter Implementing High-Level Identification Specifications. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Jan Vitek, R. Nigel Horspool, James S. Uhl Compile-Time Analysis of Object-Oriented Programs. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Mikael Pettersson Generating Efficient Code from Continuation Semantics. Search on Bibsonomy CC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Martin Jourdan, Didier Parigot Application Development with the FNC-2 Attribute Grammar System. Search on Bibsonomy CC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Jorma Tarhio A Compiler Generator for Attributive Evaluation During LR Parsing. Search on Bibsonomy CC The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
22Yang Chen, Yuanjie Huang, Lieven Eeckhout, Grigori Fursin, Liang Peng, Olivier Temam, Chengyong Wu Evaluating iterative optimization across 1000 datasets. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF benchmarking, compiler optimization, iterative optimization
22Xuejun Yang, Yu Deng 0001, Li Wang 0027, Xiaobo Yan, Jing Du 0002, Ying Zhang 0032, Guibin Wang, Tao Tang 0001 SRF Coloring: Stream Register File Allocation via Graph Coloring. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SRF coloring, stream register file, memory management, compiler optimization, graph coloring, stream processor
22Javier de Dios, Ricardo Peña-Marí Formal Certification of a Resource-Aware Language Implementation. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF memory management, functional languages, compiler verification
22Nalini Vasudevan, Stephen A. Edwards Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SHIM, parallelism, compiler, concurrency, cell processor
22Koji Kagawa WAPPEN: a web-based application framework for programming and its bison/flex plug-in. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web, programming languages, eclipse, compiler construction
22Xun Yi, Raylin Tso, Eiji Okamoto ID-Based Group Password-Authenticated Key Exchange. Search on Bibsonomy IWSEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF protocol compiler, common reference model, group key agreement, Password-authenticated key exchange
22Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec Generalized instruction selection using SSA-graphs. Search on Bibsonomy LCTES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pbqp, compiler, code generation, instruction selection
22Lennart C. L. Kats, Martin Bravenboer, Eelco Visser Mixing source and bytecode: a case for compilation by normalization. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego
22Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
22Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
22Michel Abdalla, Jens-Matthias Bohli, María Isabel González Vasco, Rainer Steinwandt (Password) Authenticated Key Establishment: From 2-Party to Group. Search on Bibsonomy TCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF protocol compiler, common reference string model, key establishment, password-based authentication
22Hanno Scharwächter, Jonghee M. Youn, Rainer Leupers, Yunheung Paek, Gerd Ascheid, Heinrich Meyr A code-generator generator for multi-output instructions. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ISS, code-selection, compiler/architecture co-design, ASIP
22Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu Profile-driven energy reduction in network-on-chips. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF routing, compiler, Network-on-Chip, power
22Angel Dominguez, Nghi Nguyen, Rajeev Barua Recursive function data allocation to scratch-pad memory. Search on Bibsonomy CASES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF profile dependance, embedded systems, compiler, memory allocation, recursive functions, scratch-pad memory
22John Cavazos, Michael F. P. O'Boyle Method-specific dynamic compilation using logistic regression. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Jikes RVM, Java, machine learning, compiler optimization, logistic regression
22Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton Free-Me: a static analysis for automatic individual object reclamation. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compiler-assisted, adaptive, locality, generational, liveness, pointer analysis, copying, mark-sweep
22Jun Xia, Li Luo, Xuejun Yang A 0-1 Integer Linear Programming Based Approach for Global Locality Optimizations. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compiler optimizations, integer linear programming, loop transformations, data transformations, Cache locality, memory layouts
22Stephen 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
22Seung Woo Son 0001, Mahmut T. Kandemir Energy-aware data prefetching for multi-speed disks. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multi-speed disks, low power, prefetching, optimizing compiler
22Xiaobing Feng 0002, Li Chen, Yi-Ran Wang 0001, Xiao-Mi An, Lin Ma, Chun-Lei Sang, Zhaoqing Zhang Integrating Parallelizing Compilation Technologies for SMP Clusters. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF optimization, compiler, parallel system
22J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Edward K. Walters II, Charles C. Weems CISL: A Class-Based Machine Description Language for Co-Generation of Compilers and Simulators. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF simulator, compiler, Language design, instruction set architecture, machine description
22Heidi E. Ziegler, Mary W. Hall Evaluating heuristics in automatically mapping multi-loop applications to FPGAs. Search on Bibsonomy FPGA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-level and architectural synthesis, parallelizing compiler analysis techniques, synthesis techniques for configurable computing, FPGAs, pipelining, rapid prototyping, hardware design
22Ozcan Ozturk 0001, Mahmut T. Kandemir, Mary Jane Irwin Increasing on-chip memory space utilization for embedded chip multiprocessors through data compression. Search on Bibsonomy CODES+ISSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data compression, chip multiprocessors, optimizing compiler
22Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy Exploiting last idle periods of links for network power management. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF compiler, interconnection network, energy optimization
22Qing Yi, Ken Kennedy, Vikram S. Adve Transforming Complex Loop Nests for Locality. Search on Bibsonomy J. Supercomput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF complex loop structure, linear algebra kernels, compiler optimization, loop transformation
Displaying result #701 - #800 of 10806 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][>>]
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