Výsledky vyhľadávania - ((Processors—compilers OR Processors—computers) OR processors—computers) keywords compiler testing~

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

Autori: Alsaedi, Shuruq Abed Eassa, Fathy Elbouraey AlMansour, Amal Abdullah a ďalší

Zdroj: 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.

Autori: Chen, HaoJie Li, XinYu Gao, Liang

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

Predmety: GENETIC programming, DYNAMIC programming, SCHEDULING

Compiler validation via equivalence modulo inputs

Autori: Vu Le Mehrdad Afshari Zhendong Su a ďalší

Prispievatelia: Vu Le Mehrdad Afshari Zhendong Su a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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

Autori: Xuejun Yang Yang Chen Eric Eide a ďalší

Prispievatelia: Xuejun Yang Yang Chen Eric Eide a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: John Regehr Yang Chen Pascal Cuoq a ďalší

Prispievatelia: John Regehr Yang Chen Pascal Cuoq a ďalší

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

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

Dostupnosť: 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.

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

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

Predmety: ENERGY consumption, BENCHMARKING (Management), PARTICLE physics, COMPUTER performance

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

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

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

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

Volatiles are miscompiled, and what to do about it

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

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

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

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

Popis súboru: 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

Dostupnosť: 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.

Autori: Venkatesha, Shashikiran Parthasarathi, Ranjani

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

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

High‐performance extended actors.

Autori: Buhr, Peter A. Parsons, Colby A. Delisle, Thierry a ďalší

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

Predmety: DEBUGGING, C++, MAILBOXES, SCALABILITY, DIALECTS

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

Autori: JINGLE XU JIAYU FU LIN GAN a ďalší

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

Optimizing Lattice Basis Reduction Algorithm on ARM V8 Processors.

Autori: Cao, Ronghui Wang, Julong Zheng, Liming a ďalší

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

Predmety: SYMBOLIC computation, ARM microprocessors, ELECTRONIC data processing, COMBINATORIAL optimization, NUMBER theory, SUPERCOMPUTERS

The quantum monadology.

Autori: Sati, Hisham Schreiber, Urs

Zdroj: 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.

Autori: Yuxiang, Li Zhiyong, Zhang Xinyong, Wang a ďalší

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

Predmety: MACHINE learning, PREDICTION models, SPECULATION, HEURISTIC, PROPHETS

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

Autori: Alamoudi, Othman Al-Hashimi, Muhammad

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

Predmety: 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.

Autori: Harel, Re'em Mosseri, Idan Levin, Harel a ďalší

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

Predmety: 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.

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

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

Taming Compiler Fuzzers

Autori: Yang Chen Alex Groce Chaoqiang Zhang a ďalší

Prispievatelia: Yang Chen Alex Groce Chaoqiang Zhang a ďalší

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

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

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

Taming Compiler Fuzzers

Autori: Yang Chen Alex Groce Chaoqiang Zhang a ďalší

Prispievatelia: Yang Chen Alex Groce Chaoqiang Zhang a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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

Autori: Johannes Kanig Edmond Schonberg Claire Dross a ďalší

Prispievatelia: Johannes Kanig Edmond Schonberg Claire Dross a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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