|
|
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 | Michael Ward, Neil C. Audsley |
Hardware implementation of the Ravenscar Ada tasking profile. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
FPGA, timing, hardware compilation |
17 | Hongbo Yang, Guang R. Gao, Clement Leung |
On achieving balanced power consumption in software pipelined loops. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
power-aware compilation, instruction level parallelism, software pipelining |
17 | Victor Delaluz, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Mary Jane Irwin |
Hardware and Software Techniques for Controlling DRAM Power Modes. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
low power compilation, software-directed energy management, low power, Memory architecture |
17 | Michael Leuschel |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
Implementation and Compilation, Verification, Concurrency, Specification |
17 | Gerardo Bandera, Manuel Ujaldon, Emilio L. Zapata |
Compile and Run-Time Support for the Parallelization of Sparse Matrix Updating Algorithms. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
data-parallel compilation, pseudo-regular distributions, dynamic data behaviour, semantic bindings, sparse matrix, run-time support |
17 | Jan-Jan Wu |
An Interleaving Transformation for Parallelizing Reductions for Distributed-Memory Parallel Machines. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
triangular systems solver, parallel processing, program transformation, reduction, parallelizing compilation, distributed-memory |
17 | Antonio Lain, Dhruva R. Chakrabarti, Prithviraj Banerjee |
Compiler and Run-Time Support for Exploiting Regularity within Irregular Applications. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
compiler support, runtime compilation, iterative, distributed memory multicomputers, runtime support, Irregular applications |
17 | Zhong Shao, Andrew W. Appel |
Efficient and safe-for-space closure conversion. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
callee-save registers, closure representation, heap-based compilation, space safety, compiler optimization, flow analysis, closure conversion |
17 | Pedro C. Diniz, Joonseok Park |
Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines. |
FCCM |
2000 |
DBLP DOI BibTeX RDF |
FPGA-based reconfigurable computing architectures, data queues, compilation, program analysis |
17 | Jean-Marc Jézéquel |
Reifying Variants in Configuration Management. |
ACM Trans. Softw. Eng. Methodol. |
1999 |
DBLP DOI BibTeX RDF |
Mecure, SMDS, compilation technology, reifying variants, software configuration management, Eiffel, object-oriented analysis and design |
17 | Kemal Ebcioglu, Erik R. Altman, Sumedh W. Sathaye, Michael Gschwind |
Execution-Based Scheduling for VLIW Architectures. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
INSTRUCTION-LEVEL PARALLELISM, SUPERSCALAR, BINARY TRANSLATION, DYNAMIC COMPILATION |
17 | Andreas Koch 0001 |
Enabling Automatic Module Generation for FCCM Compilers. |
FCCM |
1999 |
DBLP DOI BibTeX RDF |
FPGA, compilation, framework, synthesis, module generation |
17 | Clemens Grelck, Sven-Bodo Scholz |
Accelerating APL programs with SAC. |
APL |
1999 |
DBLP DOI BibTeX RDF |
language comparison, runtime performance, compilation, APL, SAC |
17 | Dimitur Nikolaev Krustev |
Software Test Generation Using Refinement Types. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
refinement types, process graphs, super-compilation, software testing, functional languages, automatic test generation |
17 | Ian Piumarta, Fabio Riccardi |
Optimizing Direct-threaded Code by Selective Inlining. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
threaded code, just-in-time compilation, inlining, dynamic translation, bytecode interpretation |
17 | Sven-Bodo Scholz |
On defining application-specific high-level array operations by means of shape-invariant programming facilities. |
APL |
1998 |
DBLP DOI BibTeX RDF |
high-level array operations, meta-level programming, shape-invariant programming, compilation, performance comparison |
17 | William L. Harrison, Samuel N. Kamin |
Modular Compilers Based on Monad Transformers. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers |
17 | Wilco Van Hoogstraeten, Henk Corporaal |
ADVISE: Performance Evaluation of Parallel VHDL Simulation. |
Annual Simulation Symposium |
1997 |
DBLP DOI BibTeX RDF |
VHDL compilation, VHDL simulation, partitioning, distributed simulation, Optimistic simulation, multiprocessor simulation |
17 | Sandrine Blazy, Philippe Facon |
Application of Formal Methods to the Development of a Software Maintenance Tool. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators |
17 | G. N. Srinivasa Prasanna, Bruce R. Musicus |
Generalized Multiprocessor Scheduling and Applications to Matrix Computations. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
multiprocessor compilation, parallel processing, task scheduling, multiprocessor scheduling, distributed-memory multiprocessors, DAG scheduling, communication locality |
17 | Urs Hölzle, David M. Ungar |
Reconciling Responsiveness with Performance in Pure Object-Orieted Languages. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
pause clustering, run-time compilation, type feedback, adaptive optimization, profile-based optimization |
17 | Daniel S. Yeung, Allan K. Y. Wong |
Automatic Software Generation in the OORHS Distributed Computing Framework. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
program object, program objects dictionary, object class library, precompiler, local compilation, instantiation |
17 | Roman Blasko |
Simulation based performance prediction by PEPSY. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
simulation based performance prediction, VFCS, Vienna Fortran Compilation System, PEPSY, performance prediction system, monitoring modes, parallel program behavior, monitoring facilities, performance analysis, parallel programming, parallel programs, compiler, virtual machines, software tools, discrete event simulation, discrete-event simulation, performance prediction, software performance evaluation, system monitoring, simulation tool, parallelising compilers, supercompiler |
17 | Françoise André, Marc Le Fur, Yves Mahéo, Jean-Louis Pazat |
Parallelization of a wave propagation application using a data parallel compiler. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
wave propagation application, data parallel compiler, PANDORE environment, data distributed applications, compilation schemes, Jacobi kernel, parallelization process, parallel programming, physics, parallel languages, physics computing, workstation clusters, parallelising compilers, wave propagation, distributed memory computers |
17 | Marius V. A. Hâncu, Kazuhiko Iwasaki, Yuji Sato, Mamoru Sugie |
A Concurrent Test Architecture for Massively Parallel Computers and Its Error Detection Capability. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
concurrent test architecture, onlinemonitoring, system level monitoring, run-timetesting, message source address, messagedestination address, block compressed sequence, concurrent instruction compression, computational block, reference image, onlinesystem-level testing, data routing process, packet-switched routing, compilation, probability, multiprocessors, error detection, error detection, parallel machines, data dependences, network routing, signature analysis, control dependences, massively parallel computers, computer testing, aliasing probability, control flow checking |
17 | Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz, Russell W. Quong, Wayne G. Nation |
Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
partitionable SIMD/SPMD machines, compilation process, perfect memory maps, large-scale parallel machines, user-controlled partitionable single-instruction-multipledata/single-program-multiple data, memory fragmentation, memory map size, singleprogram nature, partitionable interconnection networks, parallel programming, parallelism, parallel machines, program compilers, storage management, multiprocessorinterconnection networks |
17 | PeiZong Lee, Zvi M. Kedem |
Mapping Nested Loop Algorithms into Multidimensional Systolic Arrays. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
nested loop algorithms, multidimensional systolic arrays, correct transformation, programmable systolic arrays, general purpose programmable arrays, planar systolic array implementations, three-dimensional cube-graph algorithm, reindexed Warshall-Floyd path-finding algorithm, parallel algorithms, parallel processing, graph theory, matrix multiplication, data dependence, matrix algebra, cellular arrays, sufficient conditions, necessary conditions, algorithm transformations, automatic compilation |
17 | Douglas R. Smith |
KIDS: A Semiautomatic Program Development System. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification |
17 | Jeff Magee, Jeff Kramer, Morris Sloman |
Constructing Distributed Systems in Conic. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
distributed systems construction, Conic environment, language-based approach, operating systems approach, concise configuration description, program components, interconnected logical nodes, incremental change, user-transparent datatype transformation, interconnected computers, base target machines, run-time facilities, distributed processing, programming, programming environments, software components, program compilation, operating systems (computers), high level languages, distributed environment, dynamic configuration, Unix operating system, heterogeneous processors, configuration language |
17 | Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller |
A Software Science Model of Compile Time. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
software science model, Halstead theory of software science, compilation process, compiler performance index, Ada compilers, fundamental relation, program modularity, counting strategy, significant relationships, program characteristics, predictive power, compiler performance, discrimination rate, performance index, performance evaluation, program compilers, data collection, complexity measures, nonlinear model, compile time |
17 | Pradip Bose, B. Ramakrishna Rau, Michael S. Schlansker |
Systematically derived instruction sets for high-level language support. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
directly interpretable languages, space-time efficiency, syntax and semantics, compilation, interpretation, high-level languages, semantic gap, instruction set design |
17 | David B. Loveman |
Program Improvement by Source to Source Transformation. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Program improvement, Optimization, Compilation, Source-to-source transformation, Program manipulation |
17 | Vincent A. Busam, Donald E. Englund |
Optimization of expressions in Fortran. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
DO loops, invariant calculations, optimization, compilation, compilers, FORTRAN, FORTRAN, register allocation, expressions, common subexpressions, subscripts |
17 | Joshua Ellul, Kirk Martinez |
Run-time compilation of bytecode in wireless sensor networks. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
wireless sensor networks, Java, compilers, bytecode |
17 | Dehao Chen, Neil Vachharajani, Robert Hundt, Shih-wei Liao, Vinodha Ramasamy, Paul Yuan, Wenguang Chen, Weimin Zheng |
Taming hardware event samples for FDO compilation. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
sampling profile, performance counters, feedback-directed optimization |
17 | Juan Chen 0002, Ravi Chugh, Nikhil Swamy |
Type-preserving compilation of end-to-end verification of security enforcement. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security |
17 | Mohamed M. Sabry, José L. Ayala, David Atienza |
Thermal-aware compilation for system-on-chip processing architectures. |
ACM Great Lakes Symposium on VLSI |
2010 |
DBLP DOI BibTeX RDF |
compiler, register-file, thermal-aware |
17 | |
Query Compilation and Execution. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
17 | |
Query Compilation. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung |
Combining Data Reuse With Data-Level Parallelization for FPGA-Targeted Hardware Compilation: A Geometric Programming Framework. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Igor Stéphan, Benoit Da Mota |
A Unified Framework for Certificate and Compilation for QBF. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon |
Extensible Proof-Producing Compilation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Marco Correia, Pedro Barahona |
Type Parametric Compilation of Algebraic Constraints. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Torsten Ullrich, Ulrich Krispel, Dieter W. Fellner |
Compilation of procedural models. |
Web3D |
2008 |
DBLP DOI BibTeX RDF |
generative/procedural modeling, model compiler, XML, computer graphics, modeling languages, graphics systems |
17 | Boris Gutkovich |
Integration of CP and Compilation Techniques for Instruction Sequence Test Generation. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Lennart C. L. Kats, Martin Bravenboer, Eelco Visser |
Mixing source and bytecode: a case for compilation by normalization. |
OOPSLA |
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 |
17 | Fabio Mascarenhas, Roberto Ierusalimschy |
Efficient compilation of Lua for the CLR. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
clr, lua, compilers, dynamic languages |
17 | Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung |
Combining data reuse exploitationwith data-level parallelization for FPGA targeted hardware compilation: A geometric programming framework. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Markus Koester, Wayne Luk, Geoffrey Brown |
A hardware compilation flow for instance-specific VLIW cores. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jamie Cullen |
Evolutionary Meta Compilation: Evolving Programs Using Real World Engineering Tools. |
ICES |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Karl Meier, Alessandro Forin |
Hardware Compilation from Machine Code with M2V. |
FCCM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Michael Leuschel |
Towards Demonstrably Correct Compilation of Java Byte Code. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Arno Puder, Sascha Häberling, Rainer Todtenhoefer |
An MDA Approach to Byte Code Level Cross-Compilation. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Benjamin Tissoires, Stéphane Conversy |
Graphic Rendering Considered as a Compilation Chain. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
compiler, computer graphics, modularity, dataflow, interactive software |
17 | Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001 |
Proof-Transforming Compilation of Eiffel Programs. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs |
17 | Percy Liang, Hal Daumé III, Dan Klein |
Structure compilation: trading structure for features. |
ICML |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hyunchul Park 0001, Kevin Fan, Scott A. Mahlke, Taewook Oh, Heeseok Kim, Hong-Seok Kim |
Edge-centric modulo scheduling for coarse-grained reconfigurable architectures. |
PACT |
2008 |
DBLP DOI BibTeX RDF |
operand routing, programmable accelerator, software pipelining, coarse-grained reconfigurable architecture |
17 | Robert C. Kirby, Anders Logg |
Efficient compilation of a class of variational forms. |
ACM Trans. Math. Softw. |
2007 |
DBLP DOI BibTeX RDF |
loop hoisting, monomials, variational form, compiler, automation, finite element, granularity, BLAS |
17 | Koen Van Renterghem, Pieter Demuytere, Dieter Verhulst, Jan Vandewege, Xing-Zhi Qiu |
Development of an ASIP enabling flows in ethernet access using a retargetable compilation flow. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Denis Barthou, Sébastien Donadio, Patrick Carribault, Alexandre Duchateau, William Jalby |
Loop Optimization using Hierarchical Compilation and Kernel Decomposition. |
CGO |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte, Georgi Gaydadjiev, Yana Yankova, Vlad Mihai Sima, Kamana Sigdel, Roel Meeuws, Stamatis Vassiliadis |
HARTES Toolchain Early Evaluation: Profiling, Compilation and HDL Generation. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Johan Ditmar, Steve McKeever |
Array Synthesis in SystemC Hardware Compilation. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen |
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld |
Security of Multithreaded Programs by Compilation. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Alex Gontmakher, Avi Mendelson, Assaf Schuster, Gregory Shklover |
Code Compilation for an Explicitly Parallel Register-Sharing Architecture. |
ICPP |
2007 |
DBLP DOI BibTeX RDF |
register sharing, explicitly parallel code, optimizations, multithreading, register allocation, Fine grain parallelization |
17 | Lingli Zhang, Chandra Krintz, Priya Nagpurkar |
Language and Virtual Machine Support for Efficient Fine-Grained Futures in Java. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Aviral Shrivastava, Partha Biswas, Ashok Halambi, Nikil D. Dutt, Alexandru Nicolau |
Compilation framework for code size reduction using reduced bit-width ISAs (rISAs). |
ACM Trans. Design Autom. Electr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
codesize reduction, dual instruction set, narrow bit-width instruction set, rISA, register pressure-based code generation, thumb, optimization, compilers, Code generation, code compression, retargetable compilers |
17 | Manish Verma, Lars Wehmeyer, Robert Pyka, Peter Marwedel, Luca Benini |
Compilation and Simulation Tool Chain for Memory Aware Energy Optimizations . |
SAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Animesh Pathak, Viktor K. Prasanna |
Issues in designing a compilation framework for macroprogrammed networked sensor systems. |
InterSense |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Po-Kuan Huang, Soheil Ghiasi |
Power-aware compilation for embedded processors with dynamic voltage scaling and adaptive body biasing capabilities. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle |
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Torasso, Gianluca Torta |
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis. |
Reasoning, Action and Interaction in AI Theories and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Petra Schwaiger, Burkhard Freitag |
Using Answer Set Programming for the Automatic Compilation of Assessment Tests. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Adnan Darwiche |
Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Suguru Matsuyoshi, Satoshi Sato, Takehito Utsuro |
Compilation of a Dictionary of Japanese Functional Expressions with Hierarchical Organization. |
ICCPOL |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Hines, David B. Whalley, Gary S. Tyson |
Adapting compilation techniques to enhance the packing of instructions into registers. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
instruction packing, instruction register file, compiler optimizations |
17 | Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn |
Compilation of XSLT into Dataflow Graphs for Web Service Composition. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Denis Barthou, Sébastien Donadio, Alexandre Duchateau, William Jalby, E. Courtois |
Iterative Compilation with Kernel Exploration. |
LCPC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Rossignoli, Fausto Spoto |
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Raghavendra Rao Loka |
Hybrid compilation: a case study. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Maurizio Giordano, Mario Mango Furnari |
An Incremental Compilation Approach for OpenMP Applications. |
NPC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Neil V. Murray, Erik Rosenthal |
Duality in Knowledge Compilation Techniques. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Normal Forms for Knowledge Compilation. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Frederic Ogel, Gaël Thomas 0001, Bertil Folliot |
Supporting efficient dynamic aspects through reflection and dynamic compilation. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
performance, AOP, computational reflection |
17 | Matthias Nickles, Gerhard Weiß 0001 |
Multiagent Systems Without Agents - Mirror-Holons for the Compilation and Enactment of Communication Structures. |
Socionics |
2005 |
DBLP DOI BibTeX RDF |
Artificial Sociality, Multiagent Coordination Media, Multiagent Systems, Autonomous Computing, Agent Communication, Cybernetics, Holons |
17 | Luca Padovani |
Compilation of Generic Regular Path Expressions Using C++ Class Templates. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jia Zeng, Stephen A. Edwards |
Separate Compilation for Synchronous Modules. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | José Gabriel F. Coutinho, Jun Jiang, Wayne Luk |
Interleaving Behavioral and Cycle-Accurate Descriptions for Reconfigurable Hardware Compilation. |
FCCM |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Feng Li, Zhao-Hui Du, Chen Yang, Chu-Cheow Lim, Tin-Fook Ngai |
Speculative Parallel Threading Architecture and Compilation. |
ICPP Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Aviral Shrivastava, Ilya Issenin, Nikil D. Dutt |
Compilation techniques for energy reduction in horizontally partitioned cache architectures. |
CASES |
2005 |
DBLP DOI BibTeX RDF |
XScale, horizontally-partitioned cache, mini-cache, split cache, compiler, energy, data cache |
17 | Montserrat Ros, Peter Sutton |
A post-compilation register reassignment technique for improving hamming distance code compression. |
CASES |
2005 |
DBLP DOI BibTeX RDF |
register reassignment, hamming distance, code compression |
17 | Florian T. Schneider, Thomas R. Gross |
Using Platform-Specific Performance Counters for Dynamic Compilation. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Christopher League, Stefan Monnier |
Typed Compilation Against Non-manifest Base Classes. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | W. Paul Cockshott |
Efficient compilation of array expressions. |
ACM SIGAPL APL Quote Quad |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen |
Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Chris Lattner, Vikram S. Adve |
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. |
CGO |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Meyer 0001, Burkhart Wolff |
Tactic-Based Optimized Compilation of Functional Programs. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Marco Benedetti, Sara Bernardini |
Incremental Compilation-to-SAT Procedures. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Wen Xu, Sanjeev Kumar, Kai Li 0001 |
Fast Paths in Concurrent Programs. |
IEEE PACT |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jerry Hom, Ulrich Kremer |
Inter- rogram Compilation for Disk Energy Reduction. |
PACS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 6586 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|