|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4282 occurrences of 1824 keywords
|
|
|
Results
Found 6586 publication records. Showing 6586 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Qian Wang 0024, Gopal Gupta 0001 |
Continuation Semantics as Horn Clauses. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Geoffrey Watson, Colin J. Fidge |
A Partial-Correctness Semantics for Modelling Assembler Programs. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Keith D. Cooper, Devika Subramanian, Linda Torczon |
Adaptive Optimizing Compilers for the 21st Century. |
J. Supercomput. |
2002 |
DBLP DOI BibTeX RDF |
configurable compilers, order of optimization, biased random search, optimizing compilers |
12 | Kathleen Fisher, Benjamin C. Pierce |
Guest editorial. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Zhanyong Wan, Walid Taha, Paul Hudak |
Event-Driven FRP. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Chandra Krintz |
Improving mobile program performance through the use of a hybrid intermediate representation. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java |
12 | Wankang Zhao, Baosheng Cai, David B. Whalley, Mark W. Bailey, Robert van Engelen, Xin Yuan 0001, Jason Hiser, Jack W. Davidson, Kyle A. Gallivan, Douglas L. Jones |
VISTA: a system for interactive code improvement. |
LCTES-SCOPES |
2002 |
DBLP DOI BibTeX RDF |
user-directed code improvement |
12 | François Barbançon, Daniel P. Miranker |
Implementing Federated Database Systems by Compiling SchemaSQL. |
IDEAS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ismail Kadayif, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam |
EAC: A Compiler Framework for High-Level Energy Estimation and Optimization. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
12 | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jihie Kim, Yolanda Gil |
Deriving Acquisition Principles from Tutoring Principles. |
Intelligent Tutoring Systems |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Duangdao Wichadakul, Xiaohui Gu, Klara Nahrstedt |
A programming framework for quality-aware ubiquitous multimedia applications. |
ACM Multimedia |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Walden Ko, Mark N. Yankelevsky, Dimitrios S. Nikolopoulos, Constantine D. Polychronopoulos |
Effective Cross-Platform, Multilevel Parallelism via Dynamic Adaptive Execution. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | George Almási 0001, David A. Padua |
MaJIC: Compiling MATLAB for Speed and Responsiveness. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves |
Fast Copy Coalescing and Live-Range Identification. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
copy coalescing, live-range identification, code generation, register allocation, interference graph |
12 | Victor Delaluz, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam, Ibrahim Kolcu |
Compiler-Directed Array Interleaving for Reducing Energy in Multi-Bank Memories. |
ASP-DAC/VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Terence J. Harmer, F. George Wilkie |
An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
Programming language Metrics, Java, Complexity, C++, Object-oriented metrics |
12 | Wenzhang Zhu, Cho-Li Wang, Francis C. M. Lau 0001 |
JESSICA2: A Distributed Java Virtual Machine with Transparent Thread Migration Support. |
CLUSTER |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Mahmut T. Kandemir, J. Ramanujam |
Data Relation Vectors: A New Abstraction for Data Optimizations. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
compiler optimizations for memory hierarchy, reuse vectors, data relation vectors, loop transformations, Data reuse, cache locality, memory layouts |
12 | Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef |
Middleware For Building Adaptive Systems Via Configuration. |
LCTES/OM |
2001 |
DBLP DOI BibTeX RDF |
security, QoS, routing, middleware, network, CORBA, virtual, service, diagnosis, configuration, provisioning, private |
12 | Peter Sewell |
Modules, abstract types, and distributed versioning. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Monnier, Bratin Saha, Zhong Shao |
Principled Scavenging. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Krishna V. Palem, Surendranath Talla, Weng-Fai Wong |
Compiler Optimizations for Adaptive EPIC Processors. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder |
Eliminating redundancies in sum-of-product array computations. |
ICS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Ramesh Radhakrishnan, Ravi Bhargava, Lizy Kurian John |
Improving Java performance using hardware translation. |
ICS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | K. Schneider, M. Wenz |
A new method for compiling schizophrenic synchronous programs. |
CASES |
2001 |
DBLP DOI BibTeX RDF |
code generation, reactive systems, synchronous languages |
12 | Axel Dold, Vincent Vialard |
A Mechanically Verified Compiling Specification for a Lisp Compiler. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Chih-Yung Chang, Tzung-Shi Chen, Jang-Ping Sheu |
Improving Memory Traffic by Assembly-Level Exploitation of Reuses for Vector Registers. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
vector register, partial reuse, vector compilers, vectorization, data dependence, supercomputer, reuse distance |
12 | Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein |
MultiJava: modular open classes and symmetric multiple dispatch for Java. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
Java |
12 | Bruce A. Draper, Walid A. Najjar, A. P. Wim Böhm, Jeffrey Hammes, Robert Rinker, Charlie Ross, Monica Chawathe, José Bins |
Compiling and Optimizing Image Processing Algorithms for FPGAs. |
CAMP |
2000 |
DBLP DOI BibTeX RDF |
SA-C, language features, SA-C algorithms, performance numbers, image processing routines, Annapolis Microsystems WildForce board, Xilinx 4036XL FPGAs, FPGAs, VHDL, optimizing compiler, high-level language, data flow graphs, data flow graphs, image processing algorithms |
12 | Peter Thiemann 0001 |
An Algebraic Foundation for Adaptive Programming. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Natalie Eckel, Joseph Gil |
Empirical Study of Object-Layout Strategies and Optimization Techniques. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Manuel M. T. Chakravarty, Gabriele Keller |
More types for nested data parallel programming. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Kia Bazargan, Ryan Kastner, Seda Ogrenci, Majid Sarrafzadeh |
A C to Hardware/Software Compiler. |
FCCM |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar |
ABCD: eliminating array bounds checks on demand. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Michal Cierniak, Guei-Yuan Lueh, James M. Stichnoth |
Practicing JUDO: Java under dynamic optimizations. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
12 | George C. Necula |
Translation validation for an optimizing compiler. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Phillip Stanley-Marbell, Liviu Iftode |
Scylla: a smart virtual machine for mobile embedded systems. |
WMCSA |
2000 |
DBLP DOI BibTeX RDF |
Scylla, smart virtual machine, mobile embedded systems, virtualized processor architecture, inter-device communication, mobile computing, embedded systems, wireless LAN, virtual machines, power management, embedded processors, error recovery, instruction sets, instruction set, prototype system, code mobility, wireless devices |
12 | Srihari Cadambi, Seth Copen Goldstein |
Efficient Place and Route for Pipeline Reconfigurable Architectures. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Simon Helsen, Peter Thiemann 0001 |
Fragmental Specialization. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Wu Ye, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin |
The design and use of simplepower: a cycle-accurate energy estimation tool. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Michel Barreteau, François Bodin, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Toru Kisuki, Peter M. W. Knijnenburg, Paul van der Mark, Andy Nisbet, Michael F. P. O'Boyle, Erven Rohou, André Seznec, Elena Stöhr, Menno Treffers, Harry A. G. Wijshoff |
OCEANS - Optimising Compilers for Embedded Applications. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Karl Crary, Stephanie Weirich |
Flexible Type Analysis. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew I. Frank, Rajeev Barua, Saman P. Amarasinghe |
Parallelizing Applications into Silicon. |
FCCM |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Neil C. Audsley, I. J. Bate, Alan Grigg |
Portable Code for Complex Critical Systems . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Marc Feeley, Martin Larose |
Compiling Erlang to Scheme. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Yasuhiko Minamide, Jacques Garrigue |
On the Runtime Complexity of Type-Directed Unboxing. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
ML |
12 | George C. Necula, Peter Lee 0001 |
The design and implementation of a certifying compiler (with retrospective) |
Best of PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Omri Traub, Glenn H. Holloway, Michael D. Smith 0001 |
Quality and Speed in Linear-scan Register Allocation. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
binpacking, global register allocation, linear scan, graph coloring |
12 | George C. Necula, Peter Lee 0001 |
The Design and Implementation of a Certifying Compiler. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C |
12 | Thomas Linke, Torsten Schaub |
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Marco Cadoli, Luigi Palopoli 0001, Francesco Scarcello |
Propositional Lower Bounds: Generalization and Algorithms. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers |
Annotation-Directed Run-Time Specialization in C. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
C |
12 | David I. August, Wen-mei W. Hwu, Scott A. Mahlke |
A Framework for Balancing Control Flow and Predication. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
conditional instructions, if-conversion, predicated instructions, program control flow, schedule time, scheduling decisions, compiler, parallel architecture, instruction-level parallelism, optimising compilers, predicated execution |
12 | Seongbae Park, SangMin Shim, Soo-Mook Moon |
Evaluation of Scheduling Techniques on a SPARC-based VLIW Testbed. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
SPARC-based VLIW testbed, VLIW microprocessors, Very Long Instruction Word microprocessors, all-path speculation, gcc-generated optimized SPARC code, high-performance VLIW code, nongreedy enhanced pipeline scheduling, nonspeculative operations, profile-based all-path speculation, restricted speculative loads, scheduling compiler, speculative operations, trace-based speculation, performance, compiler, computer architecture, parallel machines, software pipelining, loop unrolling, renaming, memory disambiguation, copies, scheduling techniques |
12 | Jean-Pierre Talpin |
Reactive Types. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Edward D. Willink, Alexander V. Shafarenko, Vyacheslav B. Muchnick |
Use of F-Code as a Very High Level Intermediate Language for DSP. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Anindya Banerjee 0001 |
A Modular, Polyvariant, and Type-Based Closure Analysis. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Timothy J. Callahan, John Wawrzynek |
Datapath-oriented FPGA mapping and placement for configurable computing. |
FCCM |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom |
Flick: A Flexible, Optimizing IDL Compiler. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Huzefa Mehta, Robert Michael Owens, Mary Jane Irwin |
A Simulation Methodology for Software Energy Evaluation. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad R. Haghighat, Constantine D. Polychronopoulos |
Symbolic Analysis for Parallelizing Compilers. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
parallelization, dependence analysis, symbolic analysis |
12 | Stefan Andel, Beniamino Di Martino, Jan Hulman, Hans P. Zima |
Program Comprehension Support for Knowledge-Based Parallelization. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Mikael Pettersson |
A Compiler for Natural Semantics. |
CC |
1996 |
DBLP DOI BibTeX RDF |
tailcalls, continuations, natural semantics, determinacy |
12 | Beniamino Di Martino, Giulio Iannello |
PAP Recognizer: A Tool for Automatic Recognition of Parallelizable Patterns. |
WPC |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Shinn-Der Lee, Daniel P. Friedman |
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Karl-Filip Faxén |
Polyvariance, Polymorphism and Flow Analysis. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms |
12 | Xiaolei Qian |
View-Based Access Control with High Assurance. |
S&P |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Hyeong-Kyo Kim, Thomas P. Barnwell III |
A design synthesis system for recursive DSP algorithms represented by fully specified flow graphs. |
J. VLSI Signal Process. |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Marc Le Fur, Jean-Louis Pazat, Françoise André |
An Array Partitioning Analysis for Parallel Loop Distribution. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Modular Logic Programming. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations |
12 | Harley Davis, Pierre Parquier, Nitsan Séniak |
Talking About Modules and Delivery. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
LISP |
12 | Adrian Slowik, Georg Piepenbrock, Peter Pfahler |
Compiling Nested Loops for Limited Connectivity VLIWs. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Arjan J. C. van Gemund |
Compiling performance models from parallel programs. |
International Conference on Supercomputing |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Zhong Shao, Andrew W. Appel |
Smartest Recompilation. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
ML |
12 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval |
Correctness of Automated Distribution of Sequential Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics |
12 | Chris Fickert, Thomas A. Sudkamp |
Unification based FP interpreters. |
ACM SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
FP |
12 | Carmen J. Trammell, Leon H. Binder, Cathrine E. Snyder |
The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering. |
ACM Trans. Softw. Eng. Methodol. |
1992 |
DBLP DOI BibTeX RDF |
box structures, statistical testing, statistical quality control, cleanroom software engineering |
12 | Lori L. Pollock, Mary Lou Soffa |
Incremental Global Reoptimization of Programs. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
incremental data flow analysis, incremental reoptimization, optimization dependencies, compiler optimization |
12 | Werner Hans |
A Complete Indexing Scheme for WAM-based Abstract Machines. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Sho-Huan Simon Tung |
Interactive Modular Programming in Scheme. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
12 | Andrei Mantsivoda, Vyacheslav Petukhin |
Compiling Flang. |
CC |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Marina C. Chen, James R. Cowie |
Prototyping Fortran-90 Compilers for Massively Parallel Machines. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
FORTRAN, CM-2 |
12 | Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson |
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Diomidis Spinellis |
Type-safe linkage for variables and functions. |
ACM SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Jiawei Han 0001, Qiang Wang |
Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Delia Kesner |
Pattern Matching in Order-Sorted Languages. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Robert Chun, Randy Lichota, Brad Perry, Nael Sabha |
Synthesis of parallel Ada code from a knowledge base of rules. |
SPDP |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
Graph-based Implementation of a Functional Logic Langugage. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Jack W. Davidson, David B. Whalley |
Ease: An Environment for Architecture Study and Experimentation. |
SIGMETRICS |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Jorge B. Bocca, Johann Christoph Freytag |
Rules for Implementing Very Large Knowledge Base Systems. |
SIGMOD Rec. |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Saul A. Kravitz, Randal E. Bryant, Rob A. Rutenbar |
Logic Simulation on Massively Parallel Architectures. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Stephen G. Perelgut, James R. Cordy |
Turing Plus: a comparison with C and Pascal. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
C, Pascal, TURING |
12 | Walter F. Tichy |
Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation". |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
12 | Donald J. Bagert |
On designing a language for exclusive use in a syntax directed programming environment. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
12 | V. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small |
Semantic Analysis in a Concurrent Compiler. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
12 | Luddy Harrison, David A. Padua |
Parcel: project for the automatic restructuring and concurrent evaluation of LISP. |
ICS |
1988 |
DBLP DOI BibTeX RDF |
LISP, LISP |
12 | Andrew Cheese |
Multi-Moded Relations in Parlog. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
PARLOG, PARLOG |
12 | Gary Lindstrom |
Static evaluation of functional programs. |
SIGPLAN Symposium on Compiler Construction |
1986 |
DBLP DOI BibTeX RDF |
|
12 | Ulrik Jørring, William L. Scherlis |
Compilers and Staging Transformations. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
|
|