Výsledky vyhledávání - performance keywords (compiler OR computer) and tools for concurrent programming*

From a Formalized Parallel Action Language to Its Efficient Code Generation

Autoři: Llopard, Ivan Fabre, Christian Cohen, Albert a další

Přispěvatelé: Llopard, Ivan Fabre, Christian Cohen, Albert a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

Models, Languages, and Tools for Concurrent and Distributed Programming

Autoři: Michele Boreale Flavio Corradini Michele Loreti a další

Resource Type: eBook.

Témata: 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

Autoři: Luís Caires

Resource Type: eBook.

Témata: 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.

Autoři: Wiryasaputra, Rita Tsan, Yu-Tse Zhang, Qi-Xiang a další

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

Témata: 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.

Autoři: Kan, Guangyuan Li, Chenliang Zuo, Depeng a další

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

Témata: HYDROLOGIC models, PARALLEL programming, COMPUTER workstation clusters, PROGRAMMING languages, COMPUTER systems, C++, SENSITIVITY analysis

Korporace: INTEL Corp., NVIDIA Corp.

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

Autoři: Pulla, Sarva T. Yasarer, Hakan Yarbrough, Lance D.

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

Témata: 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.

Autoři: Fuerea, Bogdan Gabriel Rizac, Raluca Ioana Ciocîrlie, Nicoleta a další

Zdroj: 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.

Autoři: Abdelazeem, Omar Meyer, David D. J.

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

Témata: 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.

Autoři: Awile, Omar Kumbhar, Pramod Cornu, Nicolas a další

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

Témata: 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.

Autoři: Liu, Liu Li, Guang Deng, Dingfan a další

Zdroj: 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.

Autoři: Guarnido-Lopez, Pablo Ramirez-Agudelo, John-Fredy Denimal, Emmanuel a další

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

Témata: 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.

Autoři: Tretiak, Svitlana Mendes Maia, Teresa Ducatelle, Richard a další

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

Témata: Cytology, Intestinal barrier function, Life sciences, Proteomics, Gut microbiota, Blood plasma, Transferrin

Data Parallel C++

Autoři: James Reinders Ben Ashbaugh James Brodman a další

Resource Type: eBook.

Témata: 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.

Autoři: Namadi, Peyman He, Minxue Sandhu, Prabhjot

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

Témata: ARTIFICIAL neural networks, MACHINE learning, WATER management, ECOSYSTEM management, DRINKING (Physiology)

Geografický termín: 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

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: 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

Autoři: Reiner Hähnle Wil van der Aalst

Resource Type: eBook.

Témata: 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

Autoři: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Témata: 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

Autoři: Jongsoo Park William J. Dally The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jongsoo Park William J. Dally The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: 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