Suchergebnisse - process–compilers general terms algorithms~

Efficient Dataflow Analysis of Logic Programs

Autoren: Saumya K. Debray The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Saumya K. Debray The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.arizona.edu/people/debray/papers/jacm.ps.

Schlagwörter: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.3.4 [Programming Languages, Processes---compilers, optimization General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Program Analysis, PROLOG

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7924; http://www.cs.arizona.edu/people/debray/papers/jacm.ps

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7924
http://www.cs.arizona.edu/people/debray/papers/jacm.ps

Machine Learning-Driven GCC Loop Unrolling Optimization: Compiler Performance Enhancement Strategy Based on XGBoost.

Autoren: Shi, Zhaoyi Gao, Jun Guan, Xin

Quelle: Journal of Circuits, Systems & Computers; 1/15/2025, Vol. 34 Issue 1, p1-24, 24p

Schlagwörter: PEARSON correlation (Statistics), MACHINE learning, FEATURE extraction, DECISION trees, HEURISTIC, COMPILERS (Computer programs)

Enriching automatic test case generation by extracting relevant test inputs from bug reports.

Autoren: Ouédraogo, Wendkûuni C. Plein, Laura Kaboré, Kader et al.

Quelle: Empirical Software Engineering; Jun2025, Vol. 30 Issue 3, p1-60, 60p

A Preliminary Empirical Study of the Power Efficiency of Matrix Multiplication.

Autoren: Jammal, Fares Aljabri, Naif Al-Hashimi, Muhammad et al.

Quelle: Electronics (2079-9292); Apr2023, Vol. 12 Issue 7, p1599, 14p

Schlagwörter: MATRIX multiplications, VOLTAGE regulators, EMPIRICAL research, ENERGY industries

Static Vulnerability Analysis Using Intermediate Representations: A Literature Review.

Autoren: Spanier, Adam Mahoney, William

Quelle: Proceedings of the European Conference on Cyber Warfare & Security; 2023, p458-465, 8p

Automatic generation of thin film process flows--part I: Basic algorithms.

Autoren: Zaman, Mohammed H. Carlen, Edwin T.

Quelle: IEEE Transactions on Semiconductor Manufacturing; Feb99, Vol. 12 Issue 1, p116, 13p, 3 Black and White Photographs, 19 Diagrams

Schlagwörter: INTEGRATED circuit design, THIN films, COMPUTER software development, COMPUTER software

Binary code similarity analysis based on naming function and common vector space.

Autoren: Xia, Bing Pang, Jianmin Zhou, Xin et al.

Quelle: Scientific Reports; 9/21/2023, Vol. 13 Issue 1, p1-20, 20p

Schlagwörter: VECTOR valued functions, BINARY codes, FLOWGRAPHS, DEEP learning, SOURCE code, ELEVATING platforms, SEMANTICS

Mistic 1.1: A Process Compiler for Micromachined Devices.

Autoren: Hasanuzzaman, M. Mastrangelo, C.H.

Quelle: Proceedings of the International Solid-State Sensors & Actuators Conference - TRANSDUCERS '95; 1995, Issue 1, p182-185, 4p

INTRODUCTION TO COMPUTER PROGRAMMING THROUGH A SYSTEM OF TASKS.

Autoren: Laskov, Lasko M.

Quelle: Mathematics & Informatics; 2021, Vol. 64 Issue 6, p634-649, 16p

Schlagwörter: COMPUTER programming, ACADEMIC programs, MEDICAL informatics, TASKS, APPLIED mathematics

RT-CUDA: A Software Tool for CUDA Code Restructuring.

Autoren: Khan, Ayaz Al-Mouhamed, Mayez Al-Mulhem, Muhammed et al.

Quelle: International Journal of Parallel Programming; Jun2017, Vol. 45 Issue 3, p551-594, 44p

Schlagwörter: CUDA (Computer architecture), GRAPHICS processing units, SOFTWARE development tools, COMPUTER storage devices, PARALLEL programming, KERNEL operating systems, MATHEMATICAL optimization

About the "Trinity Thesis" Regarding the Ontology of Computer Programs.

Autoren: Stephanou, Henri

Quelle: Philosophy & Technology; Jun2020, Vol. 33 Issue 2, p323-330, 8p

Schlagwörter: COMPUTER software, ONTOLOGY

A Modern Look at GRIN, an Optimizing Functional Language Back End.

Autoren: Podlovics, Péter Dávid Hrusk, Csaba Pénzesd, Andor

Quelle: Acta Cybernetica; 2022, Vol. 25 Issue 4, p847-876, 30p

Schlagwörter: COMPILERS (Computer programs), LANGUAGE & languages, LAZINESS

Experimenting with Routing Protocols in the Data Center: An ns-3 Simulation Approach.

Autoren: Alberro, Leonardo Velázquez, Felipe Azpiroz, Sara et al.

Quelle: Future Internet; Oct2022, Vol. 14 Issue 5, pN.PAG-N.PAG, 28p

Schlagwörter: BGP (Computer network protocol), BEHAVIORAL assessment, SERVER farms (Computer network management), COMMUNITIES, INTERNET traffic

A scheduling framework for minimizing memory requirements of multirate DSP systems represented as dataflow graphs.

Autoren: Bhattacharyya, S.S. Buck, J.T. Ha, S. et al.

Quelle: Proceedings of IEEE Workshop on VLSI Signal Processing; 1993, p188-196, 9p

Refactoring with C++ : Explore Modern Ways of Developing Maintainable and Efficient Applications

Autoren: Dmitry Danilov

Resource Type: eBook.

Categories: COMPUTERS / Languages / C++, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Development of Electromagnetic Particle Simulation Code in an Open System.

Autoren: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Quelle: High-Performance Computing; 2008, p329-343, 15p

Data Parallel C++

Autoren: James Reinders Ben Ashbaugh James Brodman et al.

Resource Type: eBook.

Schlagworte: C++ (Computer program language), Heterogeneous computing, OpenCL (Computer program language)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Hardware / General

Chapter 5: Static Single Information from a Functional Perspective.

Autoren: Singer, Jeremy

Quelle: Trends in Functional Programming Volume 4; 2005, Vol. 4, p63-78, 16p

Schlagwörter: DATA structures, PROGRAMMING languages, COMPUTER software, PROGRAM transformation, FUNCTIONAL programming (Computer science)

Compiler testing: a systematic literature analysis.

Autoren: Tang, Yixuan Ren, Zhilei Kong, Weiqiang et al.

Quelle: Frontiers of Computer Science; Feb2020, Vol. 14 Issue 1, p1-20, 20p

Languages and Compilers for Parallel Computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

Autoren: James Brodman Peng Tu

Resource Type: eBook.

Schlagworte: Compilers (Computer programs), Computer programming, Software engineering, Operating systems (Computers), Algorithms

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms