Suchergebnisse - performance keywords (compiler OR computer) AND tools for concurrent programming*

From a Formalized Parallel Action Language to Its Efficient Code Generation

Autoren: Llopard, Ivan Fabre, Christian Cohen, Albert et al.

Weitere Verfasser: Llopard, Ivan Fabre, Christian Cohen, Albert et al.

Quelle: ACM Transactions on Embedded Computing Systems. 16:1-28

Schlagwörter: D13 [Programming Techniques]: Concurrent programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], State diagrams, Performance, Parallel programming, 02 engineering and technology, 16. Peace & justice, Parallels Languages, Additional Key Words and Phrases: Action Language, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Model Driven Engineering, D22 [Design Tools and Techniques]: Object-oriented design methods, 0202 electrical engineering, electronic engineering, information engineering, General Terms: Languages, Algorithms

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.inria.fr/hal-01425140/file/tecs16.pdf
https://inria.hal.science/hal-01425140v1
https://inria.hal.science/hal-01425140v1/document
https://doi.org/10.1145/0000000.0000000
https://dblp.uni-trier.de/db/journals/tecs/tecs16.html#LlopardF017
https://hal.archives-ouvertes.fr/hal-01425140v1
https://doi.org/10.1145/2990195
https://dl.acm.org/doi/10.1145/2990195
https://hal.inria.fr/hal-01425140/document
https://hal.inria.fr/hal-01425140

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoren: Viktor Vafeiadis

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Models, Languages, and Tools for Concurrent and Distributed Programming

Autoren: Michele Boreale Flavio Corradini Michele Loreti et al.

Resource Type: eBook.

Schlagworte: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Computer systems, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoren: Luís Caires

Resource Type: eBook.

Schlagworte: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

A Public Health Approach to Automated Pain Intensity Recognition in Chest Pain Patients via Facial Expression Analysis for Emergency Care Prioritization.

Autoren: Wiryasaputra, Rita Tsan, Yu-Tse Zhang, Qi-Xiang et al.

Quelle: Diagnostics (2075-4418); Oct2025, Vol. 15 Issue 20, p2661, 21p

Schlagwörter: CHEST pain, PAIN measurement, MACHINE learning, EMERGENCY medical services, REAL-time computing, EMOTION recognition, OBJECT recognition (Computer vision), PUBLIC health

Massively Parallel Monte Carlo Sampling for Xinanjiang Hydrological Model Parameter Optimization Using CPU-GPU Computer Cluster.

Autoren: Kan, Guangyuan Li, Chenliang Zuo, Depeng et al.

Quelle: Water (20734441); Aug2023, Vol. 15 Issue 15, p2810, 22p

Schlagwörter: HYDROLOGIC models, PARALLEL programming, COMPUTER workstation clusters, PROGRAMMING languages, COMPUTER systems, C++, SENSITIVITY analysis

Firma/Körperschaft: INTEL Corp., NVIDIA Corp.

Transforming Hydrology Python Packages into Web Application Programming Interfaces: A Comprehensive Workflow Using Modern Web Technologies.

Autoren: Pulla, Sarva T. Yasarer, Hakan Yarbrough, Lance D.

Quelle: Water (20734441); Sep2024, Vol. 16 Issue 18, p2609, 22p

Schlagwörter: WATER management, HYDROLOGIC models, INTERNET access, WEB-based user interfaces, COMPUTER software development, PYTHON programming language

Impact of Cost-Effective Digital Slide Platform on Grades of Romanian Veterinary Students.

Autoren: Fuerea, Bogdan Gabriel Rizac, Raluca Ioana Ciocîrlie, Nicoleta et al.

Quelle: Veterinary Sciences. Nov2025, Vol. 12 Issue 11, p1064. 14p.

Modeling Intermittent Water Supply in SWMM: A Critical Review With Reproducible Recommendations and a Python Package.

Autoren: Abdelazeem, Omar Meyer, David D. J.

Quelle: Water Resources Research; Aug2025, Vol. 61 Issue 8, p1-19, 19p

Schlagwörter: HYDRAULIC models, SIMULATION methods & models, NUMERICAL analysis, WATER supply, ENVIRONMENTAL infrastructure, REPRODUCIBLE research, PYTHON programming language

Modernizing the NEURON Simulator for Sustainability, Portability, and Performance.

Autoren: Awile, Omar Kumbhar, Pramod Cornu, Nicolas et al.

Quelle: Frontiers in Neuroinformatics; 6/27/2022, Vol. 16, p1-21, 21p

Schlagwörter: NEURONS, MULTISCALE modeling, COMPUTER architecture, BIOCHEMICAL models, COMPUTATIONAL neuroscience, COMPILERS (Computer programs)

PainSeeker: a head pose-invariant deep learning method for assessing rat's pain by facial expressions.

Autoren: Liu, Liu Li, Guang Deng, Dingfan et al.

Quelle: Frontiers in Veterinary Science. 2025, p1-13. 13p.

Programming and Setting Up the Object Detection Algorithm YOLO to Determine Feeding Activities of Beef Cattle: A Comparison between YOLOv8m and YOLOv10m.

Autoren: Guarnido-Lopez, Pablo Ramirez-Agudelo, John-Fredy Denimal, Emmanuel et al.

Quelle: Animals (2076-2615); Oct2024, Vol. 14 Issue 19, p2821, 15p

Schlagwörter: OBJECT recognition (Computer vision), COMPUTER vision, AGRICULTURE, LIVESTOCK farms, CATTLE feeding & feeds, DETECTION algorithms

Proteomic profiling of dysbiosis-challenged broilers reveals potential blood biomarkers for intestinal health.

Autoren: Tretiak, Svitlana Mendes Maia, Teresa Ducatelle, Richard et al.

Quelle: Veterinary Research. 7/8/2025, Vol. 56 Issue 1, p1-15. 15p.

Schlagworte: Cytology, Intestinal barrier function, Life sciences, Proteomics, Gut microbiota, Blood plasma, Transferrin

Data Parallel C++

Autoren: James Reinders Ben Ashbaugh James Brodman et al.

Resource Type: eBook.

Schlagworte: C++ (Computer program language), Heterogeneous computing, OpenCL (Computer program language)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Hardware / General

Advancing Ion Constituent Simulations in California's Sacramento–San Joaquin Delta Using Machine Learning Tools.

Autoren: Namadi, Peyman He, Minxue Sandhu, Prabhjot

Quelle: Water (20734441); May2025, Vol. 17 Issue 10, p1511, 29p

Schlagwörter: ARTIFICIAL neural networks, MACHINE learning, WATER management, ECOSYSTEM management, DRINKING (Physiology)

Geografische Kategorien: SACRAMENTO (Calif.)

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Autoren: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Schlagworte: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoren: Reiner Hähnle Wil van der Aalst

Resource Type: eBook.

Schlagworte: Computer industry, Information theory, Computer system performance, Software engineering, Computer science, Computer simulation, Electronic data processing, Digital computer simulation

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Autoren: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Schlagworte: Computer science, Computer software, Data structures (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures

Autoren: Jongsoo Park William J. Dally The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jongsoo Park William J. Dally The Pennsylvania State University CiteSeerX Archives

Quelle: http://cva.stanford.edu/projects/elm/pubs/spaa10-jspark.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Compilers General Terms Algorithms, Languages, Performance Keywords Compiler and Tools for Concurrent Programming, Stream Programming, Green Computing and Power-Efficient Architectures, Multi-core Architectures

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.5357

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.5357
http://cva.stanford.edu/projects/elm/pubs/spaa10-jspark.pdf

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autoren: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Schlagworte: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation