Search Results - (Processors—compilers OR Processors—computers) keywords compiler testing
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, H.3.4 [Programming Languages, Processors—compilers General Terms Algorithms, Languages, Reliability, Verification Keywords Compiler testing, miscompilation, equivalent program variants, automated
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361; http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf
-
2
Authors: et al.
Contributors: et al.
Source: http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers General Terms Languages, Reliability Keywords compiler testing, compiler defect, automated testing, random testing, random
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3297
http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf -
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers Keywords compiler testing, compiler defect, automated testing, random testing, bug reporting
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936; http://www.flux.utah.edu/download?uid=115
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers General Terms Languages, Reliability Keywords compiler testing, compiler defect, automated testing, random testing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.2225; http://dent.cecs.uci.edu/~papers/esweek08/emsoft/p255.pdf
-
5
Authors:
Source: Bulletin of the Polish Academy of Sciences: Technical Sciences; Mar2025, Vol. 73 Issue 2, p1-13, 13p
-
6
Authors: et al.
Source: International Journal of Advanced Computer Science & Applications; 2025, Vol. 16 Issue 10, p589-600, 12p
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.3.4 [Programming Languages, Processors—compilers, H.3.3 [Information Storage and Retrieval, Information Search and Retrieval—selection process Keywords compiler testing, compiler defect, automated testing, fuzz testing, random testing, bug reporting
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.9143; http://www.flux.utah.edu/download?uid=110
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.3.4 [Programming Languages, Processors—compilers, H.3.3 [Information Storage and Retrieval, Information Search and Retrieval—selection process Keywords compiler testing, compiler defect, automated testing, fuzz testing, random testing, bug reporting
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5541; http://www.cs.utah.edu/~regehr/papers/pldi13.pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Pre- and Postconditions, Mechanical Verification, D.2.4 [Software Engineering, Software/Program Verification—Formal Methods, Programming by Contract, D.3.4 [Programming Languages, Processors—Compilers Keywords Compiler technology, formal verification, testing
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Source: ftp://wins.uia.ac.be/pub/preprints/99/toms1.ps
Subject Terms: Categories and Subject Descriptors, G.1.0 [Numerical Analysis, General---Computer arithmetic, D.3.0 [Programming Languages, Processors---Compilers, General---Standards General Terms, floating-point, arithmetic Additional Key Words and Phrases, multiprecision, IEEE floating-point standard, verification
File Description: application/postscript
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors B.8.1 [Performance and Reli- ability, Reliability, Testing, and Fault Tolerance, D.3.4 [Program- ming Languages, Processors—Compilers General Terms Reliability, Soft Errors, Profiling Keywords Profile-based Compiler Analysis, Fault Injection
File Description: application/pdf
-
12
Authors:
Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p
-
13
Authors: et al.
Contributors: et al.
Subject Terms: – distributed programming, D.3.4 [Programming Languages, Processor – compiler, D.2.5 [Software Engineering, Testing and Debugging – monitors, tracing General Terms Security, Verification, Performance, Experimentation Keywords Grid computing, cycle-sharing, correctness verification, Progress monitoring
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.419; http://www.ece.purdue.edu/~ychu/publications/ppopp05_gridcop.pdf
-
14
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging, D.2.6 [Software Engineering, Programming Environments, D.3.4 [Programming Languages, Processors—compilers, optimization General Terms, Algorithms, Design Additional Key Words and Phrases, Data-flow testing, interprocedural data-flow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8860; http://www.cc.gatech.edu/aristotle/Publications/Papers/toplas94.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.3.4 [Programming Languages, Processors—compilers Algorithms, Experimentation, Languages, Relia- General Terms bility Keywords Random
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5460; http://www.cs.utah.edu/~regehr/papers/swarm12.pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: D.3.4 [Software, Processors—Compilers, Optimization General Terms Compiler Algorithms Keywords Loop parallelization
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.2385; http://www.csit.fsu.edu/~gallivan/papers/Acm/acmse06.pdf.gz
-
17
Authors:
Source: International Journal of Production Research; Aug2024, Vol. 62 Issue 16, p5631-5653, 23p
Subject Terms: GENETIC programming, DYNAMIC programming, SCHEDULING
-
18
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features, D.3.4 [Programming Languages, Processors—Compiler Generators. General Terms, Languages. Keywords, DSL, Compilers, AOSD, Modularity
File Description: application/pdf
-
19
Authors:
Source: Technologies (2227-7080); Aug2025, Vol. 13 Issue 8, p362, 18p
Subject Terms: ENERGY consumption, BENCHMARKING (Management), PARTICLE physics, COMPUTER performance
-
20
Authors: et al.
Source: IEEE EUROCON 2021 - 19th International Conference on Smart Technologies. :331-337
Nájsť tento článok vo Web of Science 
Full Text Finder