|
|
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 |
29 | Xian-He Sun, Mario Pantano, Thomas Fahringer |
Integrated Range Comparison for Data-Parallel Compilation Systems. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Performance evaluation, parallel compiler, software systems, scalable computing |
29 | Pak K. Chan, Mark J. Boyd, Sezer Gören 0001, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, Katsuharu Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu |
Reducing Compilation Time of Zhong's FPGA-Based SAT Solver. |
FCCM |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Zhong Shao |
Typed Cross-Module Compilation. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Olivier Roussel, Philippe Mathieu |
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Andrew W. Appel, David B. MacQueen |
Separate Compilation for Standard ML. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
ML |
29 | Pascal Fradet, Daniel Le Métayer |
Compilation of Functional Languages by Program Transformation. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
program transformation, continuations, combinators |
29 | Hans-Günther Hein, Manfred Meyer |
A WAM Compilation Scheme. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Nikil D. Dutt, Daniel D. Gajski |
Design Synthesis and Silicon Compilation. |
IEEE Des. Test Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Andres Rudmik, Barbara G. Moore |
An Efficient Separate Compilation Strategy for Very Large Programs. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
CCS, CHILL |
29 | Leonidas J. Guibas, Douglas K. Wyatt |
Compilation and Delayed Evaluation in APL. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
29 | Laurence Rideau, Bernard P. Serpette, Xavier Leroy |
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Parallel move, Parallel assignment, The Coq proof assistant, Compilation, Compiler correctness |
29 | Koen De Bosschere, Wayne Luk, Xavier Martorell, Nacho Navarro, Michael F. P. O'Boyle, Dionisios N. Pnevmatikatos, Alex Ramírez, Pascal Sainrat, André Seznec, Per Stenström, Olivier Temam |
High-Performance Embedded Architecture and Compilation Roadmap. |
Trans. High Perform. Embed. Archit. Compil. |
2007 |
DBLP DOI BibTeX RDF |
HiPEAC, single core architecture, programming models and tools, simulation and system modelling, real-time systems, compilation, interconnection networks, benchmarking, reconfigurable computing, run-time systems, multi-core architecture, roadmap |
29 | Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere |
Using hpm-sampling to drive dynamic compilation. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
java, profiling, just-in-time compilation, hardware performance monitors |
29 | Karl Lermer, Colin J. Fidge |
Procedure compilation in the refinement calculus. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Program compilation, Procedures, Predicate transformers, Program refinement |
29 | Ozcan Ozturk 0001, Guangyu Chen, Mahmut T. Kandemir |
Multi-compilation: capturing interactions among concurrently-executing applications. |
Conf. Computing Frontiers |
2006 |
DBLP DOI BibTeX RDF |
multi-compilation, compiler, chip multiprocessor |
29 | Klaus Schneider 0001, Jens Brandt 0001, Eric Vecchié |
Modular Compilation of Synchronous Programs. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
modular compilation, synchronous languages |
29 | Kyungwoo Lee, Samuel P. Midkiff |
A two-phase escape analysis for parallel java programs. |
PACT |
2006 |
DBLP DOI BibTeX RDF |
compilation models, java, memory models, consistency models, escape analysis |
29 | Rajeev Kumar 0004, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti 0001 |
Post-compilation optimization for multiple gains with pattern matching. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
instruction set FSM, peephole optimization, post-compilation optimization, pattern matching |
29 | Tim Todman, José Gabriel F. Coutinho, Wayne Luk |
Customisable Hardware Compilation. |
J. Supercomput. |
2005 |
DBLP DOI BibTeX RDF |
pipelining, high-level design, hardware compilation |
29 | Roman L. Lysecky, Frank Vahid, Sheldon X.-D. Tan |
A Study of the Scalability of On-Chip Routing for Just-in-Time FPGA Compilation. |
FCCM |
2005 |
DBLP DOI BibTeX RDF |
standard hardware binary, FPGA, dynamic optimization, system-on-a-chip, platforms, codesign, hardware/software partitioning, configurable logic, Place and route, warp processors, just-in-time (JIT) compilation |
29 | Thomas Kotzmann, Hanspeter Mössenböck |
Escape analysis in the context of dynamic compilation and deoptimization. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
deoptimization, scalar replacement, stack allocation, synchronization removal, Java, optimization, just-in-time compilation, escape analysis |
29 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
29 | Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua |
a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM |
29 | Xavier Rival |
Symbolic transfer function-based approaches to certified compilation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
compilation, static analysis, abstract interpretation, certification, translation validation |
29 | Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai |
A cost-driven compilation framework for speculative parallelization of sequential programs. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
cost-driven compilation, speculative parallel threading, loop transformation, thread-level speculation, speculative multithreading, speculative parallelization |
29 | Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng |
Typed compilation of recursive datatypes. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, standard ML, recursive types, coercions |
29 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
compilation, semantics, recursion, functional languages |
29 | Guilan Dai, Jinlan Tian, Suqing Zhang, Weidu Jiang, Jun Dai |
Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr. |
ACM SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
compiler infrastructures, zephyr, intermediate representations, GCC, machine descriptions, cross compilation |
29 | Hendra Saputra, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Jie S. Hu, Chung-Hsing Hsu, Ulrich Kremer |
Energy-conscious compilation based on voltage scaling. |
LCTES-SCOPES |
2002 |
DBLP DOI BibTeX RDF |
energy-aware compilation, optimizing compilers, voltage scaling, loop transformations |
29 | Dominique Boucher, Marc Feeley |
Abstract Compilation: A New Implementation Paradigm for Static Analysis. |
CC |
1996 |
DBLP DOI BibTeX RDF |
compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis |
29 | Olivier Roussel, Philippe Mathieu |
A New Method for Knowledge Compilation: The Achievement by Cycle Search. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
expert systems, resolution, knowledge compilation |
29 | Michael L. Scott, Raphael A. Finkel |
A Simple Mechanism for Type Security Across Compilation Units. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking |
23 | Ross Tate, Juan Chen, Chris Hawblitzel |
Inferable object-oriented typed assembly language. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler |
23 | Roland Ducournau, Floréal Morandat, Jean Privat |
Empirical assessment of object-oriented implementations with multiple inheritance and static typing. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading |
23 | Pingjing Lu, Yonggang Che, Zhenghua Wang |
A Framework for Effective Memory Optimization of High Performance Computing Applications. |
HPCC |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Paolo Bonzini, Giovanni Ansaloni, Laura Pozzi |
Compiling custom instructions onto expression-grained reconfigurable architectures. |
CASES |
2008 |
DBLP DOI BibTeX RDF |
horizontal microprogramming, compilers, instruction set extensions, coarse-grained reconfigurable architectures, data-flow architectures |
23 | Florent Bouchez, Alain Darte, Fabrice Rastello |
On the complexity of spill everywhere under SSA form. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
spill, complexity, register allocation, SSA form |
23 | Michael Ward, Neil C. Audsley |
A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah |
TRICK: tracking and reusing compiler's knowledge. |
ACM SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
optimization, compiler, reuse, program analysis, tools |
23 | Lingli Zhang, Chandra Krintz |
The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices. |
ACM Trans. Archit. Code Optim. |
2005 |
DBLP DOI BibTeX RDF |
Code unloading, JVM, code-size reduction, JIT, resource-constrained devices |
23 | Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe |
A Generative Programming Approach to Developing DSL Compilers. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Chunhong Chen, Majid Sarrafzadeh |
Power-Manageable Scheduling Technique for Control Dominated High-Level Synthesis. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Jeonghun Cho, Jinhwan Kim, Yunheung Paek |
A Study on Data Allocation of On-Chip Dual Memory Banks. |
Interaction between Compilers and Computer Architectures |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi |
Secure Self-certified Code for Java. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Samuel Z. Guyer, Calvin Lin |
Optimizing the Use of High Performance Software Libraries. |
LCPC |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Inki Hong, Miodrag Potkonjak, Ramesh Karri |
Power optimization using divide-and-conquer techniques for minimization of the number of operations. |
ACM Trans. Design Autom. Electr. Syst. |
1999 |
DBLP DOI BibTeX RDF |
code generation, transformations |
23 | Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek |
'C and tcc: A Language and Compiler for Dynamic Code Generation. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
ANSI C, dynamic code optimization, compilers, dynamic code generation |
23 | Peter Thiemann 0001 |
Higher-Order Code Splicing. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Cristina Cifuentes |
An Environment for the Reverse Engineering of Executable Programs. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
reverse compiler, i80286, reverse engineering, signatures, C language, disassembler, dos |
23 | David R. Barach, David H. Taenzer |
A Technique for Finding Storage Allocation Errors in C-language Programs. |
ACM SIGPLAN Notices |
1982 |
DBLP DOI BibTeX RDF |
|
23 | C. A. Johnson |
Computing Only Minimal Answers in Disjunctive Deductive Databases. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation |
23 | Efe Yardimci, Michael Franz |
Mostly static program partitioning of binary executables. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Continuous compilation and optimization, dynamic parallelization, binary translation |
23 | Hugh Leather, Michael F. P. O'Boyle, Bruce Worton |
Raced profiles: efficient selection of competing compiler optimizations. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
statistics, iterative compilation |
23 | Satoshi Sato |
Crawling English-Japanese person-name transliterations from the web. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
automatic lexicon compilation, mining transliteration pairs, person name |
23 | Jurriaan Hage, Peter van Keeken |
Neon: A Library for Language Usage Analysis. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
tools for language usage analysis, compilation loggings, functional programming, system description |
23 | Amal Ahmed 0001, Matthias Blume |
Typed closure conversion preserves observational equivalence. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations |
23 | Byung-Sun Yang, Junpyo Lee, SeungIl Lee, Seongbae Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman, Soo-Mook Moon |
Efficient Register Mapping and Allocation in LaTTe, an Open-Source Java Just-in-Time Compiler. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
register mapping, copy coalescing, Java virtual machine, register allocation, just-in-time compilation |
23 | Calle Lejdfors, Lennart Ohlsson |
Implementing an embedded GPU language by combining translation and generation. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
generative techniques, image processing, compilation, GPU, dynamic languages |
23 | Won So, Alexander G. Dean |
Reaching fast code faster: using modeling for efficient software thread integration on a VLIW DSP. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
TI C6000, static profitability estimation, DSP, software pipelining, VLIW, iterative compilation, software thread integration |
23 | Nathan Clark, Amir Hormati, Scott A. Mahlke, Sami Yehia |
Scalable subgraph mapping for acyclic computation accelerators. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
compilation, embedded processors |
23 | Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam |
Compiler-directed high-level energy estimation and optimization. |
ACM Trans. Embed. Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Energy-Aware Compilation (EAC), mobile devices |
23 | Prasad A. Kulkarni, Wankang Zhao, Hwashin Moon, Kyunghwan Cho, David B. Whalley, Jack W. Davidson, Mark W. Bailey, Yunheung Paek, Kyle A. Gallivan |
Finding effective optimization phase sequences. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
interactive compilation, genetic algorithms, phase ordering |
23 | Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer |
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
constraint-based compilation, embedded systems, loop-Level parallelism |
23 | Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja |
Techniques for obtaining high performance in Java programs. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
bytecode-to-source translators, direct compilers, Java, Java, interpreters, Java virtual machine, just-in-time compilers, dynamic compilation |
23 | Matthias Blume |
Dependency analysis for Standard ML. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
compilation management, NP-completeness, dependency analysis |
23 | Matthias Blume, Andrew W. Appel |
Hierarchical modularity. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
compilation management, name visibility, modularity, modules, linking, program structure |
23 | Michel Ferreira, Luís Damas |
Multiple Specialization of WAM Code. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Code Specialization, Program Analysis |
23 | Pierre-Etienne Moreau, Hélène Kirchner |
A Compiler for Rewrite Programs in Associative-Commutative Theories. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
AC theories, AC many-to-one matching, compilation, rewrite systems |
23 | Michael Karasick |
The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
conpilation, incremental development environments, C++, C++, frameworks, programming environments, extensible systems, incremental compilation |
23 | Albert Benveniste, Paul Le Guernic, Pascal Aubry |
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
desynchronisation, modularity, code generation, synchronous languages, separate compilation |
23 | Li Cheng, Dingxing Wang, Meiming Shen, Weimin Zheng, Peng Shanling |
The Compiler for Supporting Multithreading in Cyclic Register Windows. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
pipeline, Multithreading, compilation optimization, register allocation, multicomputers |
23 | Tim Collins, James C. Browne |
MaTRiX++: an object-oriented environment for parallel high-performance matrix computations. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface |
23 | Björn Franke, Michael F. P. O'Boyle, John Thomson, Grigori Fursin |
Probabilistic source-level optimisation of embedded programs. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
source-level optimization, digital signal processing, iterative compilation, adaptive compilation, feedback-directed optimization |
23 | John Aycock |
A brief history of just-in-time. |
ACM Comput. Surv. |
2003 |
DBLP DOI BibTeX RDF |
Just-in-time compilation, dynamic compilation |
23 | Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella |
Application and user interface migration from BASIC to Visual C++. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, program interpreters, program interpreters, graphical systems, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++ |
23 | Jeffrey L. DeVeber |
Letters to the editor: correction's to Stone's compiler procedures. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
one-pass compilation, compilation, parallel processor |
23 | Christoph Wernhard |
Tableaux for Projection Computation and Knowledge Compilation. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Ioannis G. Baltopoulos, Andrew D. Gordon 0001 |
Secure compilation of a multi-tier web language. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
cryptography, compilers, integrity, type systems, web programming, web application security |
23 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Symbolic Compilation of PSL. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Etienne Bergeron, Marc Feeley, Jean-Pierre David |
Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Willem A. van Doesburg, Rosemarijn Looije, Willem A. Melder, Mark A. Neerincx |
Face to Face Interaction with an Intelligent Virtual Agent: The Effect on Learning Tactical Picture Compilation. |
IVA |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann |
Approximate Compilation of Constraints into Multivalued Decision Diagrams. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Juan Ignacio Perna, Jim Woodcock 0001 |
A Denotational Semantics for Handel-C Hardware Compilation. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Peter Müller 0001, Martin Nordio |
Proof-transforming compilation of programs with abrupt termination. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, proof-carrying code, trusted components |
23 | Weijia Li, Youtao Zhang, Jun Yang 0002, Jiang Zheng 0002 |
UCC: update-conscious compilation for energy efficiency in wireless sensor networks. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, register allocation, code dissemination |
23 | Animesh Pathak, Luca Mottola, Amol Bakshi, Viktor K. Prasanna, Gian Pietro Picco |
A Compilation Framework for Macroprogramming Networked Sensors. |
DCOSS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Xiangdong An 0001, Nick Cercone |
Iterative Compilation of Multiagent Probabilistic Graphical Models. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Maurice Pagnucco |
Knowledge Compilation for Belief Change. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
belief revision and update, common-sense reasoning, knowledge representation and reasoning |
23 | Xiaoqi Yang 0003, Qilong Zheng, Guoliang Chen 0001, Zhen Yao |
Reverse Compilation for Speculative Parallel Threading. |
PDCAT |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Roman L. Lysecky, Kris Miller, Frank Vahid, Kees A. Vissers |
Firm-core Virtual FPGA for Just-in-Time FPGA Compilation (abstract only). |
FPGA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Per Andersson, Krzysztof Kuchcinski |
Java to Hardware Compilation for non Data Flow Applications. |
DSD |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Fernanda Kri, Carlos Gómez-Pantoja, Paz Caro |
Overview of Metaheuristics Methods in Compilation. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
Metaheuristics methods, compiler |
23 | Seung Woo Son 0001, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary |
Dynamic Compilation for Reducing Energy Consumption of I/O-Intensive Applications. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | R. Clint Whaley, David B. Whalley |
Tuning High Performance Kernels through Empirical Compilation. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Gilles Barthe, Tamara Rezk, Ando Saabas |
Proof Obligations Preserving Compilation. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ankush Varma, Shuvra S. Bhattacharyya |
Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Francois Labonte, Peter R. Mattson, William Thies, Ian Buck, Christos Kozyrakis, Mark Horowitz |
The Stream Virtual Machine. |
IEEE PACT |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jong-eun Lee, Kiyoung Choi, Nikil D. Dutt |
Compilation Approach for Coarse-Grained Reconfigurable Architectures. |
IEEE Des. Test Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Hidehiko Masuhara, Gregor Kiczales, Christopher Dutchyn |
A Compilation and Optimization Model for Aspect-Oriented Programs. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Giovanni Lagorio |
Towards a Smart Compilation Manager for Java. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 6586 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|