Search Results - (processes–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

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

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

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

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

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

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

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

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

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

Solving multi-scenario hybrid flow shop scheduling problem based on an improved probe machine model.

Authors: Tian, Xiang Kong, Yang Liu, Xiyu

Source: PLoS ONE; 9/3/2025, Vol. 20 Issue 9, p1-39, 39p

Subject Terms: FLOW shop scheduling, COMBINATORIAL optimization, DATA libraries, MANUFACTURING industries, SCHEDULING, BENCHMARK problems (Computer science), CONSTRAINT programming

Combining improved generative adversarial networks for end-to-end traffic object detection under complex illumination conditions.

Authors: LIU, Yang GONG, Zhe HE, Yuyang et al.

Source: Bulletin of the Polish Academy of Sciences: Technical Sciences; 2025, Vol. 73 Issue 5, p1-12, 12p

Subject Terms: GENERATIVE adversarial networks, IMAGE enhancement (Imaging systems), OBJECT recognition (Computer vision), DEEP learning, TRAFFIC monitoring

Optimal Integration of Distributed Generators and Soft Open Points in Radial Distribution Networks: A Hybrid WCA-PSO Approach.

Authors: Alanazi, Mohana

Source: Processes; Jun2025, Vol. 13 Issue 6, p1775, 25p

Subject Terms: OPTIMIZATION algorithms, PARTICLE swarm optimization, MULTI-objective optimization, TEST systems, HYDROLOGIC cycle

Medical volume visualization on general-purpose parallel architectures.

Authors: Koning, A. H. J. Zuiderveld, K. J. Viergever, M. A.

Source: Medical Informatics (0307-7640); 1994, Vol. 19 Issue 3, p283-293, 11p

Optimised elliptic curve cryptography architecture for improved V2x communication.

Authors: Vijayakumar, S. Mathivanan, M. Sathiya, M. et al.

Source: Analog Integrated Circuits & Signal Processing; Jun2025, Vol. 123 Issue 3, p1-21, 21p

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

Extended explicit Pseudo two-step Runge-Kutta-Nyström methods for general second-order oscillatory systems.

Authors: Fang, Yonglei Liu, Changying You, Xiong

Source: Numerical Algorithms; Jun2025, Vol. 99 Issue 2, p765-789, 25p

Subject Terms: NUMERICAL integration