Search Results - processes—compilers general terms algorithms

Efficient Dataflow Analysis of Logic Programs

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

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

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

Subject Terms: 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

File Description: 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

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

Authors: Shi, Zhaoyi Gao, Jun Guan, Xin

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

Subject Terms: 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.

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

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

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

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

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

Subject Terms: MATRIX multiplications, VOLTAGE regulators, EMPIRICAL research, ENERGY industries

Static Vulnerability Analysis Using Intermediate Representations: A Literature Review.

Authors: Spanier, Adam Mahoney, William

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

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

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

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

Subject Terms: INTEGRATED circuit design, THIN films, COMPUTER software development, COMPUTER software

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

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

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

Subject Terms: VECTOR valued functions, BINARY codes, FLOWGRAPHS, DEEP learning, SOURCE code, ELEVATING platforms, SEMANTICS

Mistic 1.1: A Process Compiler for Micromachined Devices.

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

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

Authors: Laskov, Lasko M.

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

Subject Terms: COMPUTER programming, ACADEMIC programs, MEDICAL informatics, TASKS, APPLIED mathematics

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

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

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

Subject Terms: 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.

Authors: Stephanou, Henri

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

Subject Terms: COMPUTER software, ONTOLOGY

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

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

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

Subject Terms: COMPILERS (Computer programs), LANGUAGE & languages, LAZINESS

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

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

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

Subject Terms: 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.

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

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

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

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

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

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

Data Parallel C++

Authors: James Reinders Ben Ashbaugh James Brodman et al.

Resource Type: eBook.

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

Authors: Singer, Jeremy

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

Subject Terms: DATA structures, PROGRAMMING languages, COMPUTER software, PROGRAM transformation, FUNCTIONAL programming (Computer science)

Compiler testing: a systematic literature analysis.

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

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

Authors: James Brodman Peng Tu

Resource Type: eBook.

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