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

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

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)

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

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

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

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

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

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

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

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

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

An FPGA-Based Robotics Platform for Educational and Research Applications.

Authors: Siqueira, Marcel D. A. Conforto, Julio Vallim, Marcos B. R.

Source: 2012 Brazilian Robotics Symposium & Latin American Robotics Symposium; 1/ 1/2012, p313-318, 6p

Training of transport industry personnel in the digital economy: the evolution of information educational technology.

Authors: Abramov, A.D. Murgul, V. Khabarov, Valery et al.

Source: MATEC Web of Conferences; 11/26/2018, Vol. 239, pN.PAG-N.PAG, 11p

Euro-Par 2012: Parallel Processing Workshops : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 27-31, 2012. Revised Selected Papers

Authors: Ioannis Caragiannis Michael Alexander Rosa Maria Badia et al.

Resource Type: eBook.

Subjects: Electronic digital computers—Evaluation, Computer engineering, Computer networks, Software engineering, Algorithms, Bioinformatics, Computers

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Hardware / General, SCIENCE / Life Sciences / Biology, SCIENCE / Research & Methodology

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

Theoretical Foundations and Principles of Trustworthy Compilers.

Authors: Safonov, Vladimir O.

Source: Trustworthy Compilers; 2010, p16-30, 15p

Secure software infrastructure in the internet age.

Authors: Shibayama, Etsuya Yonezawa, Akinori

Source: New Generation Computing; Jun2003, Vol. 21 Issue 2, p87-106, 20p

The Essence of Software Engineering

Authors: Volker Gruhn Rüdiger Striemer

Resource Type: eBook.

Subjects: Management information systems, Computer science, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management