Výsledky vyhľadávania - Programming Techniques- Concurrent Programming General Terms

Architecture-Aware Currying Autor Kandemir, Mahmut Taylan, Akbulut, Gulsum Gudukbay, Choi, Wonil, Karakoy, Mustafa

“… We define the concept of "neighborhood", in terms of on-chip network links, and use it to formulate the NDC problem…”
Získať plný text

Acceleration of Digital Stochastic Measurement Simulation Based on Concurrent Programming Autor Pjevalica, Velibor, Pjevalica, Nebojsa, Kastelan, Ivan, Petrovic, Nenad

“…A/D conversion methods improved through stochastic signal superposition, along with oversampling techniques present significant research direction in the area of signal processing and measurement…”
Získať plný text

Concurrent query processing in a GPU-based database system Autor Li, Hao, Tu, Yi-Cheng, Zeng, Bo

“… on it. In our previous work, we explored the single compute-bound kernel modeling on GPUs under NVidia's CUDA framework and provided an in-depth anatomy of the NVidia's concurrent kernel execution mechanism (CUDA stream…”
Získať plný text

Shared Memory-Aware Latency-Sensitive Message Aggregation for Fine-Grained Communication Autor Chandrasekar, Kavitha, Kale, Laxmikant

“… like graph algorithms and parallel discrete event simulation (PDES) . While the benefit of message aggregation is often analyzed in terms of reducing the overhead…”
Získať plný text

Concurrent bacterial foraging with emotional intelligence for global optimization Autor Nagpal, Renu, Singh, Parminder, Garg, B. P.

“…The integration of concurrent bacterial foraging with emotional PSO known as concurrent bacterial foraging with emotional intelligence (CBFEI…”
Získať plný text

Gacer: Granularity-Aware Concurrency Regulation for Multi-Tenant Deep Learning Autor Yu, Yongbo, Yu, Fuxun, Tian, Zhi, Chen, Xiang

“… to adequately address the significant heterogeneity and complexity among concurrent models in terms of resource allocation and runtime scheduling…”
Získať plný text

On timed alternating simulation for concurrent timed games Autor Bozzelli, Laura, Legay, Axel, Pinchinat, Sophie

“…We address the problem of alternating simulation refinement for concurrent timed games (TG…”
Získať plný text

An enhanced variable neighborhood search method for refrigerated container stacking and relocation problem with duplicate priorities Autor Wang, Wenyuan, Liu, Huakun, Tian, Qi, Xia, Zicheng, Liu, Suri, Peng, Yun

“…•A novel binary formulation of block configuration based on virtual stack is proposed.•A mixed integer programming model is developed aimed at minimizing the operational costs…”
Získať plný text

Termination of just/fair computations in term rewriting Autor Lucas, Salvador, Meseguer, José

“…—to the problem of proving automatically the termination of concurrent systems under fairness assumptions…”
Získať plný text

An events based algorithm for distributing concurrent tasks on multi-core architectures Autor Holmes, David W., Williams, John R., Tilke, Peter

“…In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures…”
Získať plný text

A novel scheduling approach to concurrent multipath transmission of high definition video in overlay networks Autor Wu, Jiyan, Cheng, Bo, Shang, Yanlei, Huang, Jun, Chen, Junliang

“… Motivated by optimizing the delay performance for concurrent multipath transmission of HD video, we propose a novel scheduling approach dubbed FSWG…”
Získať plný text

Decidability and Complexity for Quiescent Consistency Autor Dongol, Brijesh, Hierons, Robert M.

“…Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e…”
Získať plný text

Encoding the dynamics of deterministic systems Autor Torres, Luis M., Wagler, Annegret K.

“… We provide a characterization in terms of a local consistency condition of those deterministic systems whose dynamic behavior can be encoded using our approach…”
Získať plný text

Concurrent motion planning and reaction load distribution for redundant dynamic systems under external holonomic constraints Autor Kim, Joo H., Abdel-Malek, Karim, Xiang, Yujiang, Yang, Jingzhou (James), Arora, Jasbir S.

“… The problems of determining the external reaction loads have often been addressed in the literature in terms of forward dynamics solution methods for non‐redundant systems…”
Získať plný text

Harnessing AI for Health and Knowledge: An Investigation into Machine and Deep Learning Models for Medical and Textual Data Autor Abbas, Ali, Agarwal, Shreya, Jaiswal, Manish, Jha, Prajna, Siddiqui, Tanveer J.

“…) techniques for classifying both structured medical and unstructured textual data. Specifically, it focuses…”
Získať plný text

Learning Reactive Programming With Java 8 Autor Tsvetinov, Nickolay

“…This book, 'Learning Reactive Programming with Java 8', introduces you to the concept of reactive programming and shows you how to use RxJava to write fast, interactive, and high-performance applications in Java…”
Získať plný text

Leveraging knowledge-as-a-service (KaaS) for QoS-aware resource management in multi-user video transcoding Autor Costero, Luis, Igual, Francisco D., Olcoz, Katzalin, Tirado, Francisco

“… In this paper, we propose strategies to build and serve this type of knowledge to concurrent applications by leveraging Reinforcement Learning techniques…”
Získať plný text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II Autor Dillig, Isil, Tasiran, Serdar

“…; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification…”
Získať plný text

Dynamic Graph Traversals for Concurrent Rewriting Using Work-Stealing Frameworks for Multicore Platforms Autor Yasugi, M, Hiraishi, T, Umatani, S, Yuasa, T

“… In an emerging backtracking-based work-stealing framework called "Tascell," which avoids excessive concurrency, we propose a programming technique for long-term use of workspaces, leading a similar technique in the Cilk framework…”
Získať plný text

Automated distributed implementation of component-based models with priorities Autor Bonakdarpour, Borzoo, Bozga, Marius, Quilbeuf, Jean

“… Our three-phase method's input is a model specified in terms of a set of behavioural components that interact through a set of high-level synchronization primitives (e.g…”
Získať plný text