|
|
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 |
17 | Henry Styles, Wayne Luk |
Branch Optimisation Techniques for Hardware Compilation. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Nastaran Baradaran, Jacqueline Chame, Chun Chen 0002, Pedro C. Diniz, Mary W. Hall, Yoon-Ju Lee, Bing Liu 0015, Robert F. Lucas |
ECO: An Empirical-Based Compilation and Optimization System. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Xiaogang Li 0001, Ruoming Jin, Gagan Agrawal |
A Compilation Framework for Distributed Memory Parallelization of Data Mining Algorithms. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Neil V. Murray, Erik Rosenthal |
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alejandra Garrido 0001, Ralph E. Johnson |
Refactoring C with Conditional Compilation. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sejong Oh, Yunheung Paek |
A Quantitative Comparison of Two Retargetable Compilation Approaches. |
ICPP |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Manish Handa, Rajesh Radhakrishnan, Madhubanti Mukherjee, Ranga Vemuri |
A Fast Macro Based Compilation Methodology for Partially Reconfigurable FPGA Designs. |
VLSI Design |
2003 |
DBLP DOI BibTeX RDF |
FPGA, Reconfigurable Computing, Partial Reconfiguration |
17 | Bento Carlos Dias-da-Silva, Mirna F. de Oliveira, Helio R. de Moraes |
Reusability of Dictionaries in the Compilation of NLP Lexicons. |
PROPOR |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Xiaotong Zhuang, Santosh Pande |
Resolving Register Bank Conflicts for a Network Processor. |
IEEE PACT |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Nathan Tuck, Dean M. Tullsen |
Initial Observations of the Simultaneous Multithreading Pentium 4 Processor. |
IEEE PACT |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Paul Lalonde, Eric Schenk |
Shader-driven compilation of rendering assets. |
ACM Trans. Graph. |
2002 |
DBLP DOI BibTeX RDF |
rendering, computer games, rendering systems, graphics systems |
17 | Sanjeev Baskiyar |
Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation. |
Computing |
2002 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25 |
17 | Markus Lorenz, Lars Wehmeyer, Thorsten Dräger |
Energy aware compilation for DSPs with SIMD instructions. |
LCTES-SCOPES |
2002 |
DBLP DOI BibTeX RDF |
zero overhead hardware loop, DSP, vectorization, energy minimization, SIMD instruction |
17 | Tobias Lindahl, Konstantinos Sagonas |
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Alexander F. Gelbukh, Grigori Sidorov, Liliana Chanona-Hernández |
Compilation of a Spanish Representative Corpus. |
CICLing |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Michael Gschwind, Erik R. Altman |
Precise Exception Semantics in Dynamic Compilation. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Raphaël David, Daniel Chillet, Sébastien Pillement, Olivier Sentieys |
A Compilation Framework for a Dynamically Reconfigurable Architecture. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Martin Griebl |
Compilers for High Performance (Compilation and Parallelization Techniques). |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Koch 0001, Nico Kasprzyk |
Module Generators Driving the Compilation for Adaptive Computing Systems. |
FCCM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Grigori Fursin, Michael F. P. O'Boyle, Peter M. W. Knijnenburg |
Evaluating Iterative Compilation. |
LCPC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Armando, Luca Compagna |
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Verification, Network security |
17 | Per Gustafsson, Konstantinos Sagonas |
Native code compilation of Erlang's bit syntax. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Bernhard Scholz, Eduard Mehofer |
Dataflow Frequency Analysis Based on Whole Program Paths. |
IEEE PACT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Samuel Larsen, Emmett Witchel, Saman P. Amarasinghe |
Increasing and Detecting Memory Address Congruence. |
IEEE PACT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Michael Gschwind, Erik R. Altman |
Optimization and precise exceptions in dynamic compilation. |
SIGARCH Comput. Archit. News |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Liberatore |
Monotonic reductions, representative equivalence, and compilation of intractable problems. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
Compilability, preprocessing |
17 | Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin |
Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy. |
Program. Comput. Softw. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | João M. P. Cardoso, Horácio C. Neto |
Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines. |
FPL |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Peter M. W. Knijnenburg, Toru Kisuki, Kyle A. Gallivan |
Cache Models for Iterative Compilation. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Steve McKeever, Wayne Luk |
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Gianluca Amato, Fausto Spoto |
Abstract Compilation for Sharing Analysis. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
linear refinement, logic programming, Abstract interpretation, linear logic, domain theory |
17 | Michael Ward, Neil C. Audsley |
Hardware compilation of sequential Ada. |
CASES |
2001 |
DBLP DOI BibTeX RDF |
Ada |
17 | Vikram S. Adve, John M. Mellor-Crummey |
Advanced Code Generation for High Performance Fortran. |
Compiler Optimizations for Scalable Parallel Systems Languages |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Peter Grun, Nikil D. Dutt, Alexandru Nicolau |
Aggressive Memory-Aware Compilation. |
Intelligent Memory Systems |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Elena Machkasova, Franklyn A. Turbak |
A Calculus for Link-Time Compilation. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Mark Stephenson, Jonathan Babb, Saman P. Amarasinghe |
Bitwidth analysis with application to silicon compilation. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001 |
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich |
Using Meta-level Compilation to Check FLASH Protocol Code. |
ASPLOS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Peter Grun, Nikil D. Dutt, Alexandru Nicolau |
Memory aware compilation through accurate timing extraction. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jian Liang, Sriram Swaminathan, Russell Tessier |
aSOC: A Scalable, Single-Chip Communications Architecture. |
IEEE PACT |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Roy Dz-Ching Ju, Kevin Nomura, Uma Mahadevan, Le-Chun Wu |
A Unified Compiler Framework for Control and Data Speculation. |
IEEE PACT |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
Fine Grained Multithreading with Process Calculi. |
IEEE PACT |
2000 |
DBLP DOI BibTeX RDF |
Multithreading, Abstract-Machine, Process-Calculus |
17 | Michael Voss, Rudolf Eigenmann |
A framework for remote dynamic program optimization. |
Dynamo |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Bernhard Nebel |
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor |
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Dhruva R. Chakrabarti, Prithviraj Banerjee |
A Novel Compilation Framework for Supporting Semi-Regular Distributions in Hybrid Applications. |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Atsushi Ohori, Nobuaki Yoshida |
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Basilio B. Fraguela, Ramon Doallo, Emilio L. Zapata |
Automatic Analytical Modeling for the Estimation of Cache Misses. |
IEEE PACT |
1999 |
DBLP DOI BibTeX RDF |
analytical modeling, memory hierarchy, cache performance, automatic analysis |
17 | Wan J. Fokkink, Jasper Kamperman, Pum Walters |
Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
specificity ordering, automata, term rewriting, abstract machine |
17 | Bill Lin 0001 |
Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
Embedded systems, Software synthesis, Hardware-software co-design |
17 | Frédéric Koriche |
A Logic for Anytime Deduction and Anytime Compilation. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
17 | François Galilée, Jean-Louis Roch, Gerson G. H. Cavalheiro, Mathias Doreille |
Athapascan-1: On-Line Building Data Flow Graph in a Parallel Language. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
macro-data flow languages, Multithreading, on-line scheduling, parallel complexity |
17 | Manuel Ujaldon, Emilio L. Zapata, Barbara M. Chapman, Hans P. Zima |
Vienna-Fortran/HPF Extensions for Sparse and Irregular Problems and Their Compilation. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
Data-parallel language and compiler, distributed-memory machines, runtime support, sparse computation |
17 | Clifford Beshers, Steven Feiner |
Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
multivariate data visualization, program transformation, virtual worlds, partial evaluation, dataflow |
17 | Michael Sperber, Peter Thiemann 0001 |
Two for the Price of One: Composing Partial Evaluation and Compilation. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary |
Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines. |
IEEE PACT |
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 |
17 | Mohammed Hasanuzzaman, Carlos H. Mastrangelo |
Process compilation of thin film microdevices. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Charles Selvidge, Anant Agarwal, Matthew Dahl, Jonathan Babb |
TIERS: Topology Independent Pipelined Routing and Scheduling for VirtualWire Compilation. |
FPGA |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Reiner W. Hartenstein, Jürgen Becker 0001, Rainer Kress 0002, Helmut Reinig, Karin Schmidt |
A Parallelizing Compilation Method for the Map-oriented Machine. |
ASAP |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Rajesh Bordawekar, Alok N. Choudhary, Ken Kennedy, Charles Koelbel, Michael H. Paleczny |
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs. |
PPoPP |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Xavier Leroy |
Manifest Types, Modules, and Separate Compilation. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Pascal Fradet |
Compilation of Head and Strong Reduction. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Dan Suciu, Val Tannen |
Efficient Compilation of High-Level Data Parallel Algorithms. |
SPAA |
1994 |
DBLP DOI BibTeX RDF |
|
17 | John C. Willis, Daniel P. Siewiorek |
Optimizing VHDL Compilation for Parallel Simulation. |
IEEE Des. Test Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Shigenobu Kobayashi, Kotaro Nakamura |
Knowledge Compilation and Refinement for Fault Diagnosis. |
IEEE Expert |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Khanna, Arif Ghafoor, Amrit L. Goel |
A Parallel Compilation Technique Based on Grammar Partitioning. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
Pascal |
17 | Robert Valette, Babou Bako |
Software Implementation of Petri nets and compilation of rule-based systems. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Petri net Implementation, Comparison with rule-based approach, high-level Petri nets |
17 | Andy Mück |
Compilation of Narrowing. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Christian Queinnec |
Compilation of Non-Linear, Second Order Patterns on S-Expressions. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Mehrdad Negahban, Daniel Gajski |
Silicon compilation of switched: capacitor networks. |
EURO-DAC |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Bondono, Ahmed Amine Jerraya, Armand Hornik, Bernard Courtois, D. Bonifas |
NAUTILE: a safe environment for silicon compilation. |
EURO-DAC |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu |
HARP: FORTRAN to silicon [compilation system]. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Richard Kelsey, Paul Hudak |
Realistic Compilation by Program Transformation. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
T |
17 | E. Berkcan, Manuel A. d'Abreu, W. Laughton |
Analog Compilation Based on Successive Decompositions. |
DAC |
1988 |
DBLP BibTeX RDF |
|
17 | Gotaro Odawara, Masahiro Tomita, Kazuhiko Hattori, Osamu Okuzawa, Toshiaki Hirata, Masayasu Ochiai |
A Human Machine Interface for Silicon Compilation. |
DAC |
1988 |
DBLP BibTeX RDF |
|
17 | Craig Hansen |
Hardware Logic Simulation by Compilation. |
DAC |
1988 |
DBLP BibTeX RDF |
|
17 | Shlomo Weiss, James E. Smith 0001 |
A Study of Scalar Compilation Techniques for Pipelined Supercomputers. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Lori L. Pollock, Mary Lou Soffa |
Incremental Compilation of Locally Optimized Code. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Hingsam S. Fung, Sanford Hirschhorn, R. Kulkarni |
Design for testability in a silicon compilation environment. |
DAC |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Steven P. Reiss |
An approach to incremental compilation. |
SIGPLAN Symposium on Compiler Construction |
1984 |
DBLP DOI BibTeX RDF |
|
12 | Gwenaël Delaval, Hervé Marchand, Éric Rutten |
Contracts for modular discrete controller synthesis. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming |
12 | Jens Brandt 0001, Klaus Schneider 0001, Sandeep K. Shukla |
Translating concurrent action oriented specifications to synchronous guarded actions. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
concurrent action-oriented specifications, code generation, synchronous languages, guarded commands |
12 | Witawas Srisa-an, Myra B. Cohen, Yu Shang, Mithuna Soundararaj |
A self-adjusting code cache manager to balance start-up time and memory usage. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
code cache, embedded systems, JIT |
12 | Adam Chlipala |
A verified compiler for an impure functional language. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
compiler verification, interactive proof assistants |
12 | Cupertino Miranda, Philippe Dumont, Albert Cohen 0001, Marc Duranton, Antoniu Pop |
ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance. |
Conf. Computing Frontiers |
2010 |
DBLP DOI BibTeX RDF |
kpn, parallelism, synchronization, streaming, intermediate representation |
12 | Hao Zhong 0001, Suresh Thummalapenta, Tao Xie 0001, Lu Zhang 0023, Qing Wang |
Mining API mapping for language migration. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
API mapping relation, language migration |
12 | Mehrdad Reshadi, Prabhat Mishra 0001, Nikil D. Dutt |
Hybrid-compiled simulation: An efficient technique for instruction-set architecture simulation. |
ACM Trans. Embed. Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
interpretive simulation, partial evaluation, instruction set architecture, Compiled simulation |
12 | Todd D. Millstein, Christopher Frost 0001, Jason Ryder, Alessandro Warth |
Expressive and modular predicate dispatch for Java. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
dynamic dispatch, Predicate dispatch, modular typechecking |
12 | Jiang Long, Andrew Seawright, Paparao Kavalipati |
Multi-clock SVA synthesis without re-writing. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
SVA, multi-clock SVA assertions |
12 | Annette Bieniusa, Peter Thiemann 0001 |
How to CPS Transform a Monad. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Pedro C. Diniz, Ben H. H. Juurlink, Alain Darte, Wolfgang Karl |
Introduction. |
Euro-Par |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang |
Modular Certification of Low-Level Intermediate Representation Programs. |
COMPSAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Luca Cardelli |
Strand Algebras for DNA Computing. |
DNA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | André Jodoin, Michel C. Desmarais |
L'environnement de développement dynamique (EDD) pour le prototypage rapide d'interfaces graphiques. |
IHM |
2009 |
DBLP DOI BibTeX RDF |
interface description languages, XML, visual programming, IDE, distributed environments, UIML |
12 | Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera |
Typed transformations of typed abstract syntax. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
typed transformations, type systems, meta-programming, gadt, common subexpression elimination |
12 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Juan A. Garay, Daniel Wichs, Hong-Sheng Zhou |
Somewhat Non-committing Encryption and Efficient Adaptively Secure Oblivious Transfer. |
CRYPTO |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Qiong Zou, Xiao-Feng Li, Long-Bing Zhang |
Runtime Engine for Dynamic Profile Guided Stride Prefetching. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
stride prefetching, runtime system, dynamic profiling |
12 | Sanghyun Park, Aviral Shrivastava, Nikil D. Dutt, Alexandru Nicolau, Yunheung Paek, Eugene Earlie |
Register File Power Reduction Using Bypass Sensitive Compiler. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Stephen Tse |
Verified interoperable implementations of security protocols. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Web services, Functional programming, pi calculus, XML security |
|
|