Suchergebnisse - Concurrent algorithms Concurrent Objects~

Improving Performance of Real-Time Object Detection in Edge Device Through Concurrent Multi-Frame Processing

Autoren: Seunghwan Kim Changjong Kim Sunggon Kim

Quelle: IEEE Access, Vol 13, Pp 1522-1533 (2025)

Schlagwörter: Edge devices, machine learning, object detection, performance optimization, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Dateibeschreibung: electronic resource

Relation: https://ieeexplore.ieee.org/document/10807180/; https://doaj.org/toc/2169-3536

Zugangs-URL: https://doaj.org/article/2d4427bfc0f74dae851e3c9e2a5035d6

Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations

Autoren: Attiya, Hagit Enea, Constantin Welch, Jennifer, L et al.

Weitere Verfasser: Attiya, Hagit Enea, Constantin Welch, Jennifer, L et al.

Quelle: PODC '22: ACM Symposium on Principles of Distributed Computing ; https://hal.science/hal-04465383 ; PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno Italy, Italy. pp.209-219, ⟨10.1145/3519270.3538446⟩

Schlagwörter: • Theory of computation → Distributed computing models Concurrent algorithms Distributed algorithms • Computing methodologies → Distributed algorithms Concurrent algorithms Concurrent Objects Strong Linearizability Randomized Programs ABD Simulation Atomic Snapshots Shared registers, • Theory of computation → Distributed computing models, Concurrent algorithms, Distributed algorithms, • Computing methodologies → Distributed algorithms, Concurrent algorithms Concurrent Objects, Strong Linearizability, Randomized Programs, ABD Simulation, Atomic Snapshots, Shared registers, [INFO]Computer Science [cs]

Geographisches Schlagwort: Salerno Italy, Italy

Verfügbarkeit: https://hal.science/hal-04465383
https://hal.science/hal-04465383v1/document
https://hal.science/hal-04465383v1/file/podc22.pdf
https://doi.org/10.1145/3519270.3538446

A real-time vehicle safety system by concurrent object detection and head pose estimation via stereo vision

Autoren: Julio C. Rodriguez-Quiñonez Jonathan J. Sanchez-Castro Oscar Real-Moreno et al.

Quelle: Heliyon, Vol 10, Iss 16, Pp e35929- (2024)

Schlagwörter: Head pose estimation, Object detection, Driver pose classification, Stereo vision, Landmark detection, Science (General), Q1-390, Social sciences (General), H1-99

Dateibeschreibung: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2405844024119603; https://doaj.org/toc/2405-8440

Zugangs-URL: https://doaj.org/article/5d49eff221ef4472a3f7b599825b0987

Tasks in modular proofs of concurrent algorithms

Autoren: Castañeda, Armando Hurault, Aurélie Quéinnec, Philippe et al.

Weitere Verfasser: Castañeda, Armando Hurault, Aurélie Quéinnec, Philippe et al.

Quelle: ISSN: 0890-5401.

Schlagwörter: Formal methods, Verification, Concurrent algorithms, Renaming, Splitter, Linearizability, Distributed tasks, TLA +, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Verfügbarkeit: https://hal.science/hal-04086420
https://hal.science/hal-04086420v1/document
https://hal.science/hal-04086420v1/file/journal-final.pdf
https://doi.org/10.1016/j.ic.2023.105040

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers

Autoren: Attiya, Hagit Enea, Constantin Welch, Jennifer L. et al.

Weitere Verfasser: Attiya, Hagit Enea, Constantin Welch, Jennifer L. et al.

Schlagwörter: FOS: Computer and information sciences, Impossibility proofs, Computing methodologies → Concurrent algorithms, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Concurrent Objects, Computer Science - Distributed, Parallel, and Cluster Computing, Computing methodologies → Distributed algorithms, Shared registers, Theory of computation → Distributed computing models, Theory of computation → Concurrent algorithms, Message-passing systems, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004, Strong linearizability, BG simulation

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2105.06614
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.7

Tasks in Modular Proofs of Concurrent Algorithms

Autoren: Castañeda, Armando Hurault, Aurélie Quéinnec, Philippe et al.

Weitere Verfasser: Castañeda, Armando Hurault, Aurélie Quéinnec, Philippe et al.

Schlagwörter: Génie logiciel, Systèmes embarqués, Cryptographie et sécurité, Interface homme-machine, Architectures Matérielles, Modélisation et simulation, Formal methods, Verification, Concurrent algorithms - Renaming

Dateibeschreibung: application/pdf

Relation: https://oatao.univ-toulouse.fr/26273/1/castaneda_26273.pdf; HAL : hal-02903005; Castañeda, Armando and Hurault, Aurélie and Quéinnec, Philippe and Roy, Matthieu. Tasks in Modular Proofs of Concurrent Algorithms. (2019) In: 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), 22 October 2019 - 25 October 2019 (Pisa, Italy).

Verfügbarkeit: https://oatao.univ-toulouse.fr/26273/
https://doi.org/10.1007/978-3-030-34992-9_6

Concurrent Programming: Algorithms, Principles, and Foundations

Autoren: Michel Raynal

Resource Type: eBook.

Schlagworte: Parallel programming (Computer science)--Distributed processing, Electronic data processing, Computer multitasking

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Deriving linearizable fine-grained concurrent objects

Autoren: Martin Vechev Eran Yahav

Quelle: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. :125-135

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://researcher.ibm.com/researcher/files/us-mtvechev/pldi08.pdf
https://dblp.uni-trier.de/db/conf/pldi/pldi2008.html#VechevY08
https://doi.org/10.1145/1379022.1375598
http://www.srl.inf.ethz.ch/papers/pldi08.pdf
https://researcher.watson.ibm.com/researcher/files/us-mtvechev/pldi08.pdf
https://doi.org/10.1145/1375581.1375598

Spatiotemporal motion boundary detection and motion boundary velocity estimation for tracking moving objects with a moving camera: a level sets PDEs approach with concurrent camera motion compensation.

Autoren: Feghali R Mitiche A

Quelle: IEEE transactions on image processing : a publication of the IEEE Signal Processing Society [IEEE Trans Image Process] 2004 Nov; Vol. 13 (11), pp. 1473-90.

Publikationsart: Comparative Study; Evaluation Study; Journal Article; Research Support, Non-U.S. Gov't; Validation Study

Info zur Zeitschrift: Publisher: Institute of Electrical and Electronics Engineers Country of Publication: United States NLM ID: 9886191 Publication Model: Print Cited Medium: Print ISSN: 1057-7149 (Print) Linking ISSN: 10577149 NLM ISO Abbreviation: IEEE Trans Image Process Subsets: MEDLINE

MeSH-Schlagworte: Algorithms* , Artificial Intelligence* , Subtraction Technique*, Image Interpretation, Computer-Assisted/*methods , Movement/*physiology , Pattern Recognition, Automated/*methods , Video Recording/*methods, Artifacts ; Cluster Analysis ; Computer Graphics ; Computer Simulation ; Humans ; Image Enhancement/methods ; Information Storage and Retrieval/methods ; Models, Biological ; Models, Statistical ; Motion ; Numerical Analysis, Computer-Assisted ; Reproducibility of Results ; Sensitivity and Specificity ; Signal Processing, Computer-Assisted ; User-Computer Interface ; Walking/physiology

Progress of Concurrent Objects

Autoren: Hongjin Liang Xinyu Feng

Resource Type: eBook.

Categories: COMPUTERS / Languages / General

Basal Forebrain Volume and Concurrent Hallucinations and Mild Cognitive Impairment in Parkinson's Disease.

Autoren: Adamo SM Mutreja V Statucka M et al.

Quelle: Movement disorders clinical practice [Mov Disord Clin Pract] 2025 Oct 27. Date of Electronic Publication: 2025 Oct 27.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Wiley Country of Publication: United States NLM ID: 101630279 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2330-1619 (Electronic) Linking ISSN: 23301619 NLM ISO Abbreviation: Mov Disord Clin Pract Subsets: MEDLINE

Simulation of discrete control systems with parallelism of behavior

Autoren: D. I. Cheremisinov L. D. Cheremisinova

Quelle: Informatika, Vol 20, Iss 4, Pp 24-37 (2023)

Schlagwörter: concurrent algorithm, control device, simulation, functional verification, tlm model, pralu language, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: https://inf.grid.by/jour/article/view/1258; https://doaj.org/toc/1816-0301

Zugangs-URL: https://doaj.org/article/c2e002bc148a4accbc1c4c22c549a35d

On the performance of concurrent tree algorithms

Weitere Verfasser: Wenhardt, D [Rockwell International Corp., Cedar Rapids, IA (US)]

Quelle: Journal of Parallel and Distributed Computing; (USA); 8:3

Dateibeschreibung: Medium: X; Size: Pages: 253-266

Zugangs-URL: http://www.osti.gov/scitech/biblio/6779539

Contribution of Temporal Fine Structure Cues to Concurrent Vowel Identification and Perception of Zebra Speech.

Autoren: Serrao, Delora Samantha Theruvan, Nikhitha Fathima, Hasna et al.

Quelle: International Archives of Otorhinolaryngology; Jul2024, Vol. 28 Issue 3, pe492-e501, 10p

Schlagwörter: SPEECH perception, VOWELS, COCHLEAR implants, AMPLITUDE modulation, SIGNAL processing

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

Concurrent Objects and Beyond

Autoren: Gul Agha Atsushi Igarashi Naoki Kobayashi et al.

Resource Type: eBook.

Schlagworte: Software engineering, Artificial intelligence, Compilers (Computer programs), Operating systems (Computers), Computer programming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General

Unifying Concurrent Objects and Distributed Tasks.

Autoren: Castañeda, Armando Rajsbaum, Sergio Raynal, Michel

Quelle: Journal of the ACM. Nov2018, Vol. 65 Issue 6, p1-42. 42p.

Schlagwörter: *LINEAR programming, FOUNDATIONS of arithmetic, NUMERICAL analysis, EMBEDDINGS (Mathematics), ALGEBRAIC topology

Computer-Aided Diagnosis of Equine Pharyngeal Lymphoid Hyperplasia Using the Object Detection-Based Processing Technique of Digital Endoscopic Images.

Autoren: Kozłowska, Natalia Borowska, Marta Jasiński, Tomasz et al.

Quelle: Animals (2076-2615); Sep2025, Vol. 15 Issue 18, p2758, 20p

Schlagwörter: COMPUTER-aided diagnosis, VETERINARY medicine, ENDOSCOPY, DIGITAL diagnostic imaging, OBJECT recognition (Computer vision), MACHINE learning

A female Bullmastiff with calvarial hyperostosis syndrome and concurrent hyperostotic changes affecting the mandible and cervical vertebrae.

Autoren: Mól, Michał Alloway, Elizabeth Dugdale, Alex et al.

Quelle: Veterinary Record Case Reports. Mar2024, Vol. 12 Issue 1, p1-6. 6p.

Design a Novel BCI for Neurorehabilitation Using Concurrent LFP and EEG Features: A Case Study.

Autoren: Feng, Zhao Sun, Yi Qian, Linze et al.

Quelle: IEEE Transactions on Biomedical Engineering; May2022, Vol. 69 Issue 5, p1554-1563, 10p

Schlagwörter: NEUROREHABILITATION, MOTOR imagery (Cognition), DECODING algorithms, ELECTROENCEPHALOGRAPHY, BRAIN-computer interfaces, SCALP