Výsledky vyhľadávania - Concurrent algorithms Concurrent Objects*

Tasks in modular proofs of concurrent algorithms Autor Castañeda, Armando, Hurault, Aurélie, Quéinnec, Philippe, Roy, Matthieu

“… 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…”
Získať plný text

Relating trace refinement and linearizability Autor Smith, Graeme, Winter, Kirsten

“…In the late 1980’s, Back extended the notion of stepwise refinement of sequential systems to concurrent systems…”
Získať plný text

A real-time vehicle safety system by concurrent object detection and head pose estimation via stereo vision Autor Rodriguez-Quiñonez, Julio C., Sanchez-Castro, Jonathan J., Real-Moreno, Oscar, Galaviz, Guillermo, Flores-Fuentes, Wendy, Sergiyenko, Oleg, Castro-Toscano, Moises J., Hernandez-Balbuena, Daniel

“… and the detected object on the road. This approach is made possible by concurrent Head Pose Estimation (HPE…”
Získať plný text

Object-oriented concurrent solution algorithms for nonlinear structural dynamics Autor Modak, Sukomal

“… Sequential and parallel solution algorithms for nonlinear structural dynamics are investigated and implemented…”
Získať plný text

Algorithms for Access Localization to Objects of Scalable Concurrent Pools Based on Diffracting Trees in Multicore Computer Systems Autor Anenkov, Alexandr D., Paznikov, Alexey A., Kurnosov, Mikhail G.

“…This work proposes the implementation of scalable concurrent pool based on diffraction trees…”
Získať plný text

Concurrent Detection and Identification of Multiple Objects using YOLO Algorithm Autor Megalingam, Rajesh Kannan, Babu, Dasari Hema Teja Anirudh, Sriram, Ghali, YashwanthAvvari, Venkata Sai

“… 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…”
Získať plný text

A nonblocking algorithm for shared queues using compare-and-swap Autor Prakash, S., Yann Hang Lee, Johnson, T.

“…Nonblocking algorithms for concurrent objects guarantee that an object is always accessible, in contrast to blocking algorithms in which a slow or halted process can render part or all of…”
Získať plný text

An approach to the multi-level space allocation problem in architecture using a hybrid evolutionary technique Autor Rodrigues, Eugénio, Gaspar, Adélio Rodrigues, Gomes, Álvaro

“…A multi-level allocation problem consists in determining the position and size of spaces on several levels according to the user's requirements and…”
Získať plný text

A Synthetic Integrative Algorithm of Fast Concurrent Detection-Recognition with Effective Tracking of Aerial Objects based on Deep Learning of CNN Autor Li, Longxiang, Qin, Shiyin

“…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…”
Získať plný text

Verifying Linearizability via Optimized Refinement Checking Autor Yang Liu, Wei Chen, Liu, Y. A., Jun Sun, Shao Jie Zhang, Jin Song Dong

“…Linearizability is an important correctness criterion for implementations of concurrent objects…”
Získať plný text

Design of the Kan distributed object system Autor James, Jerry, Singh, Ambuj

“…Distributed software problems are often addressed with object‐oriented solutions. Objects provide the benefits of encapsulation and ion that have proven useful…”
Získať plný text

Software-based contention management for efficient compare-and-swap operations Autor Dice, Dave, Hendler, Danny, Mirsky, Ilya

“…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…”
Získať plný text

Online Search with Time-Varying Price Bounds Autor Damaschke, Peter, Ha, Phuong Hoai, Tsigas, Philippas

“… The first model, where the upper and lower bounds of (logarithmic) prices have decay speed, arises from a problem in concurrent data…”
Získať plný text

Help when needed, but no more: Efficient read/write partial snapshot Autor Imbs, Damien, Raynal, Michel

“… components. To cope with the net effect of concurrency, asynchrony and failures, the algorithm implementing the update operation has to help concurrent snapshot operations so that they always terminate…”
Získať plný text

Improving Performance of Real-Time Object Detection in Edge Device Through Concurrent Multi-Frame Processing Autor Kim, Seunghwan, Kim, Changjong, Kim, Sunggon

“…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…”
Získať plný text

Dynamical sequence generation performance testing method and its application Autor Sun, Yongzhen, Zheng, Wei

“… method.This method considers the design of the testing progress optimization from both of the overall and partial aspects,making the test platform and the measured objects'statement information as a test…”
Získať plný text

Stratified Commutativity in Verification Algorithms for Concurrent Programs Autor Farzan, Azadeh, Klumpp, Dominik, Podelski, Andreas

“… 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…”
Získať plný text

Development platform for artificial pancreas algorithms Autor Smaoui, Mohamed Raef, Rabasa-Lhoret, Remi, Haidar, Ahmad

“…). The platform is built on principles of object-oriented design and runs user algorithms in real-time virtual clinical trials utilizing a multi-threaded environment enabled by concurrent execution…”
Získať plný text

An object-oriented reflective simulation environment for distributed algorithms Autor Lopes Diaz, Adriana

“… development, it follows that the simulation of distributed algorithms should be tackled using a concurrent reflective…”
Získať plný text

An intelligent tactile imaging-recognition sensor system enabled via a methoxynitrobenzene-salicylaldehyde fluorescent material Autor Liu, Zihan, Zhao, Xinyi, Duan, Yuai, Li, Yaping, Wang, Zhijia, Wang, Zixuan, Zhang, Jiarong, Yuan, Jing, Geng, Hua, Han, Tianyu

“… These fluorescent signatures can be recognized using a deep-learning model with >98% accuracy. Hardware integration with the embedded algorithm…”
Zistit podrobnosti o prístupe