Suchergebnisse - ((processors—compilers OR Processors—computer) OR Processors—computer) keywords compiler testing*

A Technique for Automated Parallel Optimization of Function Calls in C++ Code.

Autoren: Alsaedi, Shuruq Abed Eassa, Fathy Elbouraey AlMansour, Amal Abdullah et al.

Quelle: International Journal of Advanced Computer Science & Applications; 2025, Vol. 16 Issue 10, p589-600, 12p

A surrogate-assisted dual-tree genetic programming framework for dynamic resource constrained multi-project scheduling problem.

Autoren: Chen, HaoJie Li, XinYu Gao, Liang

Quelle: International Journal of Production Research; Aug2024, Vol. 62 Issue 16, p5631-5653, 23p

Schlagwörter: GENETIC programming, DYNAMIC programming, SCHEDULING

Compiler validation via equivalence modulo inputs

Autoren: Vu Le Mehrdad Afshari Zhendong Su et al.

Weitere Verfasser: Vu Le Mehrdad Afshari Zhendong Su et al.

Quelle: http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf.

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361
http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf

Finding and understanding bugs in C compilers

Autoren: Xuejun Yang Yang Chen Eric Eide et al.

Weitere Verfasser: Xuejun Yang Yang Chen Eric Eide et al.

Quelle: http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf.

Schlagwörter: 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

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3297

Verfügbarkeit: 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

Testcase reduction for C compiler bugs

Autoren: John Regehr Yang Chen Pascal Cuoq et al.

Weitere Verfasser: John Regehr Yang Chen Pascal Cuoq et al.

Quelle: http://www.flux.utah.edu/download?uid=115.

Schlagwörter: 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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936
http://www.flux.utah.edu/download?uid=115

Enrichment of the HEPscore Benchmark by Energy Consumption Assessment.

Autoren: Panchenko, Taras V. Piatygorskiy, Nikita D.

Quelle: Technologies (2227-7080); Aug2025, Vol. 13 Issue 8, p362, 18p

Schlagwörter: ENERGY consumption, BENCHMARKING (Management), PARTICLE physics, COMPUTER performance

Importance of C/C++ compiler choice for performance and energy consumption of multithreaded WZ factorization.

Autoren: BYLINA, Beata PIEKARZ, Monika BYLINA, Jarosław

Quelle: Bulletin of the Polish Academy of Sciences: Technical Sciences; Mar2025, Vol. 73 Issue 2, p1-13, 13p

Schlagwörter: COMPUTING platforms, ENERGY consumption, LINEAR algebra, MATHEMATICAL optimization, FACTORIZATION, COMPILERS (Computer programs)

Volatiles are miscompiled, and what to do about it

Autoren: Eric Eide John Regehr The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Eric Eide John Regehr The Pennsylvania State University CiteSeerX Archives

Quelle: http://dent.cecs.uci.edu/~papers/esweek08/emsoft/p255.pdf.

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.2225
http://dent.cecs.uci.edu/~papers/esweek08/emsoft/p255.pdf

Survey on Redundancy Based-Fault tolerance methods for Processors and Hardware accelerators - Trends in Quantum Computing, Heterogeneous Systems and Reliability.

Autoren: Venkatesha, Shashikiran Parthasarathi, Ranjani

Quelle: ACM Computing Surveys; Nov2024, Vol. 56 Issue 11, p1-76, 76p

Schlagwörter: GRAPHICS processing units, REDUCED instruction set computers, ARTIFICIAL intelligence, SOFT errors, ARTIFICIAL neural networks, INSTRUCTION set architecture

High‐performance extended actors.

Autoren: Buhr, Peter A. Parsons, Colby A. Delisle, Thierry et al.

Quelle: Software: Practice & Experience; Dec2023, Vol. 53 Issue 12, p2463-2500, 38p

Schlagwörter: DEBUGGING, C++, MAILBOXES, SCALABILITY, DIALECTS

Leveraging the Hardware Resources to Accelerate cryo-EM Reconstruction of RELION on the New Sunway Supercomputer.

Autoren: JINGLE XU JIAYU FU LIN GAN et al.

Quelle: ACM Transactions on Architecture & Code Optimization; Mar2025, Vol. 22 Issue 1, p1-25, 25p

Optimizing Lattice Basis Reduction Algorithm on ARM V8 Processors.

Autoren: Cao, Ronghui Wang, Julong Zheng, Liming et al.

Quelle: Applied Sciences (2076-3417); Feb2025, Vol. 15 Issue 4, p2021, 16p

Schlagwörter: SYMBOLIC computation, ARM microprocessors, ELECTRONIC data processing, COMBINATORIAL optimization, NUMBER theory, SUPERCOMPUTERS

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

Quelle: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

IDaTPA: importance degree based thread partitioning approach in thread level speculation: IDaTPA: importance Degree Based Thread...: Yuxiang et al.

Autoren: Yuxiang, Li Zhiyong, Zhang Xinyong, Wang et al.

Quelle: Information Retrieval Journal; Dec2024, Vol. 27 Issue 1, p1-29, 29p

Schlagwörter: MACHINE learning, PREDICTION models, SPECULATION, HEURISTIC, PROPHETS

On the Energy Behaviors of the Bellman–Ford and Dijkstra Algorithms: A Detailed Empirical Study.

Autoren: Alamoudi, Othman Al-Hashimi, Muhammad

Quelle: Journal of Sensor & Actuator Networks; Oct2024, Vol. 13 Issue 5, p67, 19p

Schlagwörter: TIME complexity, COMPLETE graphs, EMPIRICAL research, ALGORITHMS, ACQUISITION of data

Source-to-Source Parallelization Compilers for Scientific Shared-Memory Multi-core and Accelerated Multiprocessing: Analysis, Pitfalls, Enhancement and Potential.

Autoren: Harel, Re'em Mosseri, Idan Levin, Harel et al.

Quelle: International Journal of Parallel Programming; Feb2020, Vol. 48 Issue 1, p1-31, 31p

Schlagwörter: MULTIPROCESSORS, COMPILERS (Computer programs), ARCHITECTURE, MAGNITUDE (Mathematics), PARALLEL programming

Integrating chemical artificial intelligence and cognitive computing for predictive analysis of biological pathways: a case for intrinsically disordered proteins.

Autoren: Coskuner-Weber, Orkid Gentili, Pier Luigi Uversky, Vladimir N.

Quelle: Biophysical Reviews; Jun2025, Vol. 17 Issue 3, p737-758, 22p

Taming Compiler Fuzzers

Autoren: Yang Chen Alex Groce Chaoqiang Zhang et al.

Weitere Verfasser: Yang Chen Alex Groce Chaoqiang Zhang et al.

Quelle: http://www.flux.utah.edu/download?uid=110.

Schlagwörter: 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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.9143
http://www.flux.utah.edu/download?uid=110

Taming Compiler Fuzzers

Autoren: Yang Chen Alex Groce Chaoqiang Zhang et al.

Weitere Verfasser: Yang Chen Alex Groce Chaoqiang Zhang et al.

Quelle: http://www.cs.utah.edu/~regehr/papers/pldi13.pdf.

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5541
http://www.cs.utah.edu/~regehr/papers/pldi13.pdf

Hi-Lite: The Convergence of Compiler Technology and Program Verification

Autoren: Johannes Kanig Edmond Schonberg Claire Dross et al.

Weitere Verfasser: Johannes Kanig Edmond Schonberg Claire Dross et al.

Quelle: http://www.open-do.org/wp-content/uploads/2012/11/HILT_2012.pdf.

Schlagwörter: 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

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5086

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5086
http://www.open-do.org/wp-content/uploads/2012/11/HILT_2012.pdf