Suchergebnisse - Concurrent algorithms Concurrent Objects~
-
1
Tasks in modular proofs of concurrent algorithms
ISSN: 0890-5401, 1090-2651Veröffentlicht: Elsevier Inc 01.06.2023Veröffentlicht in Information and computation (01.06.2023)“… proofs of algorithms built using tasks and sequential objects as building blocks. Moir & Anderson implementation of renaming using splitters, wait-free concurrent objects, is an algorithm …”
Volltext
Journal Article -
2
Improving Performance of Real-Time Object Detection in Edge Device Through Concurrent Multi-Frame Processing
ISSN: 2169-3536, 2169-3536Veröffentlicht: Piscataway IEEE 2025Veröffentlicht in IEEE access (2025)“… As the performance and accuracy of machine learning and AI algorithms improve, the demand for adopting computer vision techniques to solve various problems, such as autonomous driving and AI robots, increases …”
Volltext
Journal Article -
3
Concurrent Detection and Identification of Multiple Objects using YOLO Algorithm
ISSN: 2329-6259Veröffentlicht: IEEE 15.09.2021Veröffentlicht in Symposium of Image, Signal Processing, and Artificial Vision (15.09.2021)“… The entire work is carried out with the aid of YOLOv3 (You Only Look Once, Version 3) is an object detection algorithm which helps to detect real-time objects …”
Volltext
Tagungsbericht -
4
Multi-Classes and Motion Properties for Concurrent Visual SLAM in Dynamic Environments
ISSN: 1520-9210, 1941-0077Veröffentlicht: Piscataway IEEE 2022Veröffentlicht in IEEE transactions on multimedia (2022)“… ). Most of the existing visual SLAM algorithms fail resulting in significant error or losing in tracking when moving objects dominate the scene …”
Volltext
Journal Article -
5
Stratified Commutativity in Verification Algorithms for Concurrent Programs
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 09.01.2023Veröffentlicht in Proceedings of ACM on programming languages (09.01.2023)“… They can help simplify the proof and improve the time and space efficiency. This paper studies commutativity relations as a first-class object in the setting of verification algorithms for concurrent programs …”
Volltext
Journal Article -
6
Algorithms for Access Localization to Objects of Scalable Concurrent Pools Based on Diffracting Trees in Multicore Computer Systems
ISSN: 2473-8573Veröffentlicht: IEEE 01.10.2018Veröffentlicht in International Conference on Actual Problems of Electronic Instrument Engineering proceedings (01.10.2018)“… This work proposes the implementation of scalable concurrent pool based on diffraction trees …”
Volltext
Tagungsbericht -
7
A Synthetic Integrative Algorithm of Fast Concurrent Detection-Recognition with Effective Tracking of Aerial Objects based on Deep Learning of CNN
Veröffentlicht: IEEE 01.12.2019Veröffentlicht in 2019 IEEE 4th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC) (01.12.2019)“… In this paper, a synthetic integrative algorithm of fast concurrent detection-recognition with effective tracking of aerial objects is presented, in which the deep learning of CNN is employed to carry …”
Volltext
Tagungsbericht -
8
Scenario-Based Proofs for Concurrent Objects
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 29.04.2024Veröffentlicht in Proceedings of ACM on programming languages (29.04.2024)“… Concurrent objects form the foundation of many applications that exploit multicore architectures and their importance has lead to informal correctness arguments, as well as formal proof systems …”
Volltext
Journal Article -
9
Exploiting hashing for concurrent query processing and indexing of current location of moving objects
ISSN: 1532-0626, 1532-0634Veröffentlicht: Hoboken Wiley Subscription Services, Inc 15.05.2024Veröffentlicht in Concurrency and computation (15.05.2024)“… appropriate concurrency control protocol otherwise, inconsistent results will be reported. Many indices have been proposed in the literature for moving objects but they lack the support for processing concurrent …”
Volltext
Journal Article -
10
Concurrent Treaps and Impact of Locking Objects
ISSN: 0288-3635, 1882-7055Veröffentlicht: Tokyo Ohmsha 01.03.2020Veröffentlicht in New generation computing (01.03.2020)“… We propose algorithms to perform operations concurrently on treaps in a shared memory multi-core environment …”
Volltext
Journal Article -
11
Object-oriented concurrent solution algorithms for nonlinear structural dynamics
ISBN: 9780591588521, 0591588528Veröffentlicht: ProQuest Dissertations & Theses 01.01.1997“… In this work, structural mechanics, parallel computing, and object-oriented programming methodologies are integrated …”
Volltext
Dissertation -
12
Concurrent exception handling and resolution in distributed object systems
ISSN: 1045-9219, 1558-2183Veröffentlicht: New York IEEE 01.10.2000Veröffentlicht in IEEE transactions on parallel and distributed systems (01.10.2000)“… ) that are designed independently compete for the same system resources. We propose a new distributed algorithm for resolving concurrent exceptions and show that the algorithm …”
Volltext
Journal Article -
13
Simple to Complex, Single to Concurrent Sensor-Based Human Activity Recognition: Perception and Open Challenges
ISSN: 2169-3536, 2169-3536Veröffentlicht: Piscataway IEEE 2024Veröffentlicht in IEEE access (2024)“… A wide range of methods, including sensing modalities, identification algorithms, a specified list of recognized activities, and end application goals, have been used in the literature to investigate …”
Volltext
Journal Article -
14
A real-time vehicle safety system by concurrent object detection and head pose estimation via stereo vision
ISSN: 2405-8440, 2405-8440Veröffentlicht: England Elsevier Ltd 30.08.2024Veröffentlicht in Heliyon (30.08.2024)“… and the detected object on the road. This approach is made possible by concurrent Head Pose Estimation (HPE …”
Volltext
Journal Article -
15
Reconstruction and Recognition of Tensor-Based Objects With Concurrent Subspaces Analysis
ISSN: 1051-8215, 1558-2205Veröffentlicht: New York, NY IEEE 01.01.2008Veröffentlicht in IEEE transactions on circuits and systems for video technology (01.01.2008)“… , that are intrinsically in the form of second or higher order tensors. For representations of image objects in their intrinsic form and order rather than concatenating all the object data into a single vector, we propose in this paper a new optimal object reconstruction …”
Volltext
Journal Article -
16
Concurrent Immediate Reference Counting
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 20.06.2024Veröffentlicht in Proceedings of ACM on programming languages (20.06.2024)“… Notably, Fast Reference Counter, OrcGC, and Concurrent Deferred Reference Counting use SMR algorithms to protect local references by deferring decrements or reclamation …”
Volltext
Journal Article -
17
Shape Servoing of Deformable Objects Using Model Estimation and Barrier Lyapunov Function
ISSN: 1083-4435, 1941-014XVeröffentlicht: 2230 Support IEEE 01.12.2024Veröffentlicht in IEEE/ASME transactions on mechatronics (01.12.2024)“… An adaptive shape servoing control method is presented in this article to manipulate a deformable object into a desired shape in 3-D …”
Volltext
Journal Article -
18
Adapted Long Short-Term Memory (LSTM) for Concurrent\\ Human Activity Recognition
ISSN: 1546-2226, 1546-2218, 1546-2226Veröffentlicht: Henderson Tech Science Press 2021Veröffentlicht in Computers, materials & continua (2021)“… In this era, deep learning methods offer a broad spectrum of efficient and original algorithms to recognize or predict an output when given a sequence of inputs …”
Volltext
Journal Article -
19
Software-based contention management for efficient compare-and-swap operations
ISSN: 1532-0626, 1532-0634Veröffentlicht: Blackwell Publishing Ltd 25.09.2014Veröffentlicht in Concurrency and computation (25.09.2014)“… SUMMARYMany concurrent data‐structure implementations – both blocking and non‐blocking – use the well‐known compare‐and‐swap (CAS) operation, supported in hardware by most modern multiprocessor architectures, for inter …”
Volltext
Journal Article -
20
Design a Novel BCI for Neurorehabilitation Using Concurrent LFP and EEG Features: A Case Study
ISSN: 0018-9294, 1558-2531, 1558-2531Veröffentlicht: United States IEEE 01.05.2022Veröffentlicht in IEEE transactions on biomedical engineering (01.05.2022)“… Objective: Brain-computer interfaces (BCI) that enables people with severe motor disabilities to use their brain signals for direct control of objects have attracted increased interest in rehabilitation …”
Volltext
Journal Article

