Search Results - ((processes—compilers OR process—compilers) OR processors—computer) 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

Near Real-time Leak Location by Inverse Analysis Integrating Measurement Uncertainty: Near Real-time Leak Location by Inverse Analysis Integrating Measurement Uncertainty: B. Ferreira et al.

Authors: Ferreira, Bruno Carriço, Nelson Covas, Dídia

Source: Water Resources Management; Jan2025, Vol. 39 Issue 1, p503-521, 19p

Subject Terms: LOCATION analysis, INVERSE problems, ACCOUNTING methods, SEASONS, NOISE, POWER distribution networks

Legal Protection for Computer-Implemented Inventions : A Practical Guide to Software-Related Patents

Authors: Sabine Kruspig Claudia Schwarz

Resource Type: eBook.

Subjects: Patent laws and legislation, Computer software--Patents, Computer programs--Patents

Categories: LAW / Intellectual Property / General

Modelling Flash Floods Driven by Rain-on-Snow Events Using Rain-on-Grid Technique in the Hydrodynamic Model TELEMAC-2D.

Authors: Godara, Nitesh Bruland, Oddbjørn Alfredsen, Knut

Source: Water (20734441); Nov2023, Vol. 15 Issue 22, p3945, 14p

Subject Terms: RUNOFF models, RAINFALL, SNOWMELT, HYDROLOGIC models, DISTRIBUTED power generation, LANDSLIDES, FLOODS

Geographic Terms: NORWAY

Enumeration Conservation Law and Natural Parallelism of the D-algorithms for Test Generation and Modeling in Engineering Diagnostics.

Authors: Pravil'shchikov, P. A.

Source: Automation & Remote Control; Jul2004, Vol. 65 Issue 7, p1136-1174, 39p

Subject Terms: ALGORITHMS, ENGINEERING, ENGINEERING systems, ENGINEERING models, ENGINEERING tolerances, MAZE tests, ALGEBRA, MATHEMATICS, SCIENCE

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

Digital Writing Technologies in Higher Education

Authors: Otto Kruse Christian Rapp Chris M. Anson et al.

Resource Type: eBook.

Subjects: Online authorship, Word processing in education, Academic writing--Technological innovations, Communication in higher education

Categories: STUDY AIDS / Study & Test-Taking Skills, EDUCATION / General, EDUCATION / Teaching / Subjects / Reading & Phonics, LANGUAGE ARTS & DISCIPLINES / Literacy, EDUCATION / Teaching / Subjects / Language Arts

ROOTS: An Algorithm to Generate Biologically Realistic Cortical Axons and an Application to Electroceutical Modeling.

Authors: Bingham, Clayton S. Mergenthal, Adam Bouteiller, Jean-Marie C. et al.

Source: Frontiers in Computational Neuroscience; 2/21/2020, p1-17, 17p

Subject Terms: AXONS, DENDRITES, NERVE tissue, ELECTRIC fields, DEEP brain stimulation

Multi-Scenario Model Predictive Control Based on Genetic Algorithms for Level Regulation of Open Water Systems under Ensemble Forecasts.

Authors: Tian, Xin Guo, Yuxue Negenborn, Rudy R. et al.

Source: Water Resources Management; Jul2019, Vol. 33 Issue 9, p3025-3040, 16p

Subject Terms: PREDICTION models, WATER supply, WATER management, HYDRAULIC structures, EVOLUTIONARY algorithms, GENETIC algorithms

Geographic Terms: NETHERLANDS

AI for Everyone? : Critical Perspectives

Authors: Pieter Verdegem

Resource Type: eBook.

Subjects: Digital media, Cybernetics, Artificial intelligence

Categories: SOCIAL SCIENCE / General, COMPUTERS / Artificial Intelligence / General, POLITICAL SCIENCE / Public Policy / Science & Technology Policy, SOCIAL SCIENCE / Technology Studies

The Cost of Imperfect Knowledge: How Epistemic Uncertainties Influence Flood Hazard Assessments.

Authors: Balbi, Mariano Lallemant, David C. B.

Source: Water Resources Research; Nov2023, Vol. 59 Issue 11, p1-20, 20p

Subject Terms: EPISTEMIC uncertainty, FLOOD warning systems, RISK assessment, BAYESIAN analysis, WATER distribution, FLOODS

Resilience and Economic Intelligence Through Digitalization and Big Data Analytics : Proceedings of the 4th International Conference on Economics and Social Sciences

Authors: Alina Mihaela Dima

Resource Type: eBook.

Subjects: Economics

Categories: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Accounting / Financial, BUSINESS & ECONOMICS / Accounting / Managerial, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Business & Productivity Software / Business Intelligence, POLITICAL SCIENCE / Public Affairs & Administration

14th International Conference on Turbochargers and Turbocharging : Proceedings of the International Conference on Turbochargers and Turbocharging (London, UK, 2021)

Authors: Institution of Mechanical Engineers

Resource Type: eBook.

Subjects: Internal combustion engines--Congresses

Categories: TECHNOLOGY & ENGINEERING / Power Resources / General, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Automotive

Statistical methods for network surveillance.

Authors: Jeske, Daniel R. Stevens, Nathaniel T. Tartakovsky, Alexander G. et al.

Source: Applied Stochastic Models in Business & Industry; Jul2018, Vol. 34 Issue 4, p425-445, 21p

Subject Terms: SURVEILLANCE detection, COMPUTER network security, SYSTEM failures, RELIABILITY in engineering, ARTIFICIAL neural networks

Word Knowledge and Word Usage : A Cross-Disciplinary Guide to the Mental Lexicon

Authors: Vito Pirrelli Ingo Plag Wolfgang U. Dressler

Resource Type: eBook.

Subjects: Lexicology--Psychological aspects, Language acquisition

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Linguistics / Morphology

Balancing the cardinality of clusters with a distance constraint: a fast algorithm.

Authors: Calvete, Herminia I. Galé, Carmen Iranzo, José A.

Source: Annals of Operations Research; Aug2025, Vol. 351 Issue 1, p629-651, 23p

Subject Terms: LOGISTICS, CLUSTERING algorithms, MULTI-objective optimization, INDUSTRIAL clusters, HEURISTIC algorithms, MATHEMATICAL optimization, RESOURCE allocation

Energy efficient approximate compressor architectures for high performance image multiplication in CNTFET technology.

Authors: Foroutan, Pegah Navi, Keivan

Source: Scientific Reports; 10/16/2025, Vol. 15 Issue 1, p1-27, 27p

Subject Terms: IMAGE processing, COMPRESSORS, COMPUTER architecture, ENERGY consumption, CARBON nanotube field effect transistors, COMPUTER performance, APPROXIMATION algorithms

A general approach for extracting road vector data from raster maps.

Authors: Chiang, Yao-Yi Knoblock, Craig

Source: International Journal on Document Analysis & Recognition; Mar2013, Vol. 16 Issue 1, p55-81, 27p

Subject Terms: VECTOR data, DIGITIZATION, IMAGE quality analysis, IMAGE processing, COMPUTER science

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

Authors: Alamoudi, Othman Al-Hashimi, Muhammad

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

Subject Terms: TIME complexity, COMPLETE graphs, EMPIRICAL research, ALGORITHMS, ACQUISITION of data

Optimizing Lattice Basis Reduction Algorithm on ARM V8 Processors.

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

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

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