Search Results - parallel object-oriented functional computation model

PROOF: A parallel object-oriented functional computation model

Authors: Software Engineering Research Center and Computer and Information Sciences Department, University of Florida, Gainesville, Florida 32611, USA ( host institution ) Yau, Stephen S. Jia, Xiaoping et al.

Source: Journal of Parallel and Distributed Computing. 12:202-212

Subject Terms: PROOF, parallel object-oriented functional computation model, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, object-oriented programming, functional programming language, parallel programming language, General topics in the theory of software, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 02 engineering and technology

File Description: application/xml; [Elsevier APIv3]

Access URL: https://zbmath.org/20191
https://doi.org/10.1016/0743-7315(91)90125-s
https://dblp.uni-trier.de/db/journals/jpdc/jpdc12.html#YauJB91
https://asu.pure.elsevier.com/en/publications/proof-a-parallel-object-oriented-functional-computation-model
https://koasas.kaist.ac.kr/handle/10203/15943
https://www.sciencedirect.com/science/article/pii/074373159190125S

Parallel Simulation Using Reactive Streams: Graph-Based Approach for Dynamic Modeling and Optimization.

Authors: Sirotkin, Oleksii Prymushko, Arsentii Puchko, Ivan et al.

Source: Computation; May2025, Vol. 13 Issue 5, p103, 30p

Subject Terms: MODERN architecture, FAULT tolerance (Engineering), DYNAMIC models, SYNCHRONIZATION, COMPUTATIONAL biology

System-level brain modeling.

Authors: Johansson, Birger Tjøstheim, Trond A. Balkenius, Christian

Source: Frontiers in Computational Neuroscience; 2025, p1-16, 16p

Subject Terms: COGNITIVE ability, HUMAN behavior models, EMPIRICAL research, KNOWLEDGE transfer, NEURAL circuitry, BRAIN mapping, COGNITIVE psychology, SYSTEM of systems

A Systematic Literature Review of MODFLOW Combined with Artificial Neural Networks (ANNs) for Groundwater Flow Modelling.

Authors: Kishor, Kunal Aggarwal, Ashish Srivastava, Pankaj Kumar et al.

Source: Water (20734441); Aug2025, Vol. 17 Issue 16, p2375, 24p

Subject Terms: ARTIFICIAL neural networks, GROUNDWATER flow, CALIBRATION, HYDROGEOLOGICAL modeling, REDUCED-order models, GROUNDWATER analysis

Decoupling model descriptions from execution: a modular paradigm for extensible neurosimulation with EDEN.

Authors: Panagiotou, Sotirios Miedema, Rene Soudris, Dimitrios et al.

Source: Frontiers in Neuroinformatics; 2025, p1-16, 16p

Subject Terms: COMPUTATIONAL neuroscience, MODULAR design, NEURAL stimulation, SCALABILITY, ARTIFICIAL neural networks

Healthcare supply chain management: Towards 3D MRI aorta model with CPU-GPU parallel architecture for medical manufacture.

Authors: Sakly, Houneida Said, Mourad Tagina, Moncef

Source: Cogent Medicine; Jan 2021, Vol. 8 Issue 1, p1-16, 16p

Subject Terms: SUPPLY chain management, PARALLEL processing, AORTIC stenosis, MAGNETIC resonance imaging, AORTA

The NIP Parallel Object-Oriented Computational Model.

Authors: Sivasubramaniam, Anand Lauria, Mario Watson, Paul et al.

Source: Network-Based Parallel Computing. Communication, Architecture & Applications (9783540659150). 1999, p122-136. 15p.

Equivalent convolution strategy for the evolution computation in parametric active contour model.

Authors: Tang, Kelun Lang, Lin Zhou, Xiaojun

Source: Journal of Real-Time Image Processing; Jun2024, Vol. 21 Issue 3, p1-13, 13p

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules.

Authors: Linssen, Charl Babu, Pooja N. Eppler, Jochen M. et al.

Source: Frontiers in Neuroinformatics; 2025, p1-21, 21p

Subject Terms: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)

Efficient real-time license plate recognition using deep learning on edge devices.

Authors: Sonnara, Fedi Chihaoui, Hamadi Filali, Fethi

Source: Journal of Real-Time Image Processing; Aug2025, Vol. 22 Issue 4, p1-15, 15p

Automated Object-Oriented Software Development for Parallel Processing Systems

Authors: ARIZONA STATE UNIV TEMPE DEPT OF COMPUTER SCIENCE Yau, Stephen S. Gao, Changju et al.

Source: DTIC AND NTIS

Index Terms: Computer Programming and Software, SOFTWARE ENGINEERING, PARALLEL PROCESSING, OBJECT ORIENTED PROGRAMMING, ALGORITHMS, COMPUTER AIDED DESIGN, DISTRIBUTED DATA PROCESSING, COMPUTER COMMUNICATIONS, USER NEEDS, USER FRIENDLY, MACHINE TRANSLATION, GRAPHICAL USER INTERFACE., PE62702F, WURL558120PL, Text

URL: https://apps.dtic.mil/docs/citations/ADA341223

Contributions to Simulation of Modelica Models on Data-Parallel Multi-Core Architectures

Authors: Stavåker, Kristian Fritzson, Peter, Professor Laure, Erwin, Professor

Contributors: Stavåker, Kristian Fritzson, Peter, Professor Laure, Erwin, Professor

Source: Linköping Studies in Science and Technology. Dissertations.

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-116338
https://liu.diva-portal.org/smash/get/diva2:806837/FULLTEXT01.pdf

Investigating the Model Hypothesis Space: Benchmarking Automatic Model Structure Identification With a Large Model Ensemble.

Authors: Spieler, Diana Schütze, Niels

Source: Water Resources Research; Jul2024, Vol. 60 Issue 7, p1-32, 32p

Subject Terms: PARAMETER estimation, STRUCTURAL models, CONCEPTUAL models, HYPOTHESIS

QSAR Regression Models for Predicting HMG-CoA Reductase Inhibition.

Authors: Ancuceanu, Robert Popovici, Patriciu Constantin Drăgănescu, Doina et al.

Source: Pharmaceuticals (14248247); Nov2024, Vol. 17 Issue 11, p1448, 31p

Subject Terms: QSAR models, MACHINE learning, FEATURE selection, STRUCTURE-activity relationships, DATABASES

Parallel and Distributed Haskells.

Authors: TRINDER, P. W. LOIDL, H.-W. POINTON, R. F.

Source: Journal of Functional Programming; Jul2002, Vol. 12 Issue 4/5, p469-510, 42p

Blockchain-enabled digital twin system for brain stroke prediction.

Authors: Upadrista, Venkatesh Nazir, Sajid Tianfield, Huaglory

Source: Brain Informatics; 1/14/2025, Vol. 12 Issue 1, p1-15, 15p

Subject Terms: INTERNET of medical things, DIGITAL twin, DATA privacy, ARTIFICIAL intelligence, DATA security

Assessing Rheology Effects and Pore Space Complexity in Polymer Flow Through Porous Media: A Pore‐Scale Simulation Study.

Authors: Amiri, Mehdi Qajar, Jafar Raeini, Ali Q. et al.

Source: Water Resources Research; May2024, Vol. 60 Issue 5, p1-28, 28p

Subject Terms: POROUS materials, NON-Newtonian flow (Fluid dynamics), BULK viscosity, FLOW simulations, FLUID flow, PRESSURE drop (Fluid dynamics), RHEOLOGY

Flow-Based Coronary Artery Bypass Graft Patency Metrics: Uncertainty Quantification Simulations to Guide Development: Flow-Based Coronary Artery Bypass Graft Patency Metrics: S. Drost and C. J. Drost.

Authors: Drost, Sita Drost, Cornelis J.

Source: Cardiovascular Engineering & Technology; Apr2025, Vol. 16 Issue 2, p171-189, 19p

Asynchronous Execution Platform for Edge Node Devices.

Authors: Singh, Pratyush D., Rithik Kumar Jha Krishna, Sai et al.

Source: Journal of Advanced Zoology. 2023 Supplement, Vol. 44, p586-592. 7p.

Hybrid Deep Model for Human Behavior Understanding on Industrial Internet of Video Things.

Authors: Dai, Cheng Liu, Xingang Xu, Hao et al.

Source: IEEE Transactions on Industrial Informatics; Oct2022, Vol. 18 Issue 10, p7000-7008, 9p