Search Results - D.3.4[Programming Languages]: Processors - code generation~
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Code generation General Terms, Performance Keywords, Deserialization, code generation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.3367; http://mir.cs.illinois.edu/~marinov/publications/GligoricETAL11CoDeSe.pdf
-
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – code generation. General Terms Languages. Keywords Run-time code generation
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Code generation, Compilers, Optimization, C.1.3 [Processor Architectures, Other Architecture Styles—Adaptable architectures, B.7.1 [Integrated Circuits, Types and Design Styles—Gate arrays General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Instr
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.6354; http://ce.et.tudelft.nl/publicationfiles/1140_7_MoscuTecs.pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.1 [Software Engineer- ing, Requirements/Specifications—tools, D.3.4 [Programming Languages, Processors—code generation, optimization General Terms Performance, Languages Keywords code generation, code synthesis, SCR, requirements specifications, formal specifications, optimization
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, D.3.4 [Programming Languages, Processors—Code generation, D.2.4 [Software Engineering, Software/Program Verification—Validation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.663; http://www.utdallas.edu/~kxh060100/wartell12acsac.pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Code Generation, Compilers, B.7.1 [Integrated Circuits, Types and Design Styles—Memory Technologies, C.1.2 [Processor Architectures, Multiple Data Stream Architectures (Multiprocessors) General Terms Design, Performance Keywords Parallelization, Dynamic optimization, Transactional memory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.9503; http://cseweb.ucsd.edu/users/tullsen/hipeac11.pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors C.1 [Processor Architectures, Other Architecture Styles— High-level language architectures, D.3.4 [Programming Languages, Processors—Code generation, F.3.2 [Logics and
File Description: application/pdf
-
8
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—code generation General Terms, Algorithms, Measurement, Performance Additional Key Words and Phrases, Banked architecture, integer linear programming, register allocation, space optimization
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.154; http://www.cs.ucla.edu/~palsberg/paper/tecs04.pdf
-
9
Authors:
Contributors:
Source: ftp://ftp.cse.ucsc.edu/pub/tr/ucsc-crl-93-24.ps.Z
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging--- debugging aids, D.2.6 [Software Engineering, Programming Environments, D.3.4 [Programming Languages, Processors--- code generation, compilers, optimization General Terms, Algorithms, Languages Additional Keywords and Phrases, debugging, compiler optimization, reaching definitions, noncurrent variables
File Description: application/postscript
-
10
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Concurrent, Sequencial, Esterel, Program Dependence
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4790; http://www.cs.columbia.edu/~sedwards/papers/zeng2004generating.pdf
-
11
Authors:
Contributors:
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classifica- tions—Very high-level languages, D.3.3 [Programming Lan- guages, Language Constructs and Features—Classes and objects, Inheritance, Polymorphism, D.3.4 [Programming Languages, Processors—Code generation, Compilers, Op- timization General Terms Design, Languages, Performance Keywords JavaScript, Scripting Language, Dynamic Typing, Type Spe- cialization, Hidden Class, Inline Caching, Prototype
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.278; http://polaris.cs.uiuc.edu/%7Egarzaran/doc/pldi14.pdf
-
13
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Tech- niques, Applicative (Functional) Programming, D.2.1 [Software Engineering, Requirements/Specifications Tools, D.2.4 [Soft- ware Engineering, Software/Program Verification—Correctness proofs, D.2.4 [Software Engineering, Software/Program Verification—Formal methods, D.3.4 [Programming languages, Processors—Code generation General Terms Design, Languages, Verification Keywords theorem proving, code generation, higher-order logic, Isabelle
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.666.5753; http://www4.in.tum.de/%7Ehaftmann/pdf/from_hol_to_haskell_haftmann.pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel programming, D.3.4 [Programming Languages, Processors – Code generation, Opti- mization, Run-time environments General Terms Languages, Performance Keywords Parallel Programming, Domain-Specific Languages, Dynamic Optimizations
File Description: application/pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Code Generation, Optimization General Terms, Algorithms, Experimentation, Performance, Theory Additional Key Words and Phrases, Code generation, clustered VLIW architectures, modulo
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors H.2.4 [Database Management, Systems—query process- ing, relational databases, D.3.4 [Programming Languages, Processors—code generation, compilers, run-time environ- ments General Terms
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Code generation, Compilers
File Description: application/pdf
-
18
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Code generation, Compilers, Optimization Algorithm, Design, Languages, Perfor- General Terms mance Keywords
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.4679; http://www.cs.cmu.edu/~dkoes/research/dkoes_scopes09.pdf
-
19
Authors: et al.
Contributors: et al.
Source: http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/cases/p43.pdf.
Subject Terms: D.3.4 [Programming Languages, Processors—code generation, compilers, optimization, E.4[Coding and Information Theory, Data Compaction and Compression—program representation, C.1 [Computer Systems Organization, Processor Architectures General Terms Experimentation, Measurement, Performance Keywords Instruction Register File, Instruction Packing, Compiler Optimizations
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.8631
http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/cases/p43.pdf -
20
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – code generation. General Terms Languages. Keywords Run-time code generation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.207; http://loome.cs.uiuc.edu/pubs/onward.pdf
Nájsť tento článok vo Web of Science