Suchergebnisse - Programming Techniques- Concurrent Programming General Terms

Architecture-Aware Currying von 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 …”
Volltext

Acceleration of Digital Stochastic Measurement Simulation Based on Concurrent Programming von 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 …”
Volltext

Concurrent query processing in a GPU-based database system von 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 …”
Volltext

Shared Memory-Aware Latency-Sensitive Message Aggregation for Fine-Grained Communication von 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 …”
Volltext

Concurrent bacterial foraging with emotional intelligence for global optimization von 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 …”
Volltext

Gacer: Granularity-Aware Concurrency Regulation for Multi-Tenant Deep Learning von 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 …”
Volltext

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

“… We address the problem of alternating simulation refinement for concurrent timed games (TG …”
Volltext

An enhanced variable neighborhood search method for refrigerated container stacking and relocation problem with duplicate priorities von 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 …”
Volltext

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

“… —to the problem of proving automatically the termination of concurrent systems under fairness assumptions …”
Volltext

An events based algorithm for distributing concurrent tasks on multi-core architectures von 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 …”
Volltext

A novel scheduling approach to concurrent multipath transmission of high definition video in overlay networks von 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 …”
Volltext

Decidability and Complexity for Quiescent Consistency von 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 …”
Volltext

Encoding the dynamics of deterministic systems von 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 …”
Volltext

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

“… ; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification …”
Volltext

Concurrent motion planning and reaction load distribution for redundant dynamic systems under external holonomic constraints von 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 …”
Volltext

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

“… ) techniques for classifying both structured medical and unstructured textual data. Specifically, it focuses …”
Volltext

Learning Reactive Programming With Java 8 von 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 …”
Volltext

Leveraging knowledge-as-a-service (KaaS) for QoS-aware resource management in multi-user video transcoding von 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 …”
Volltext

Dynamic Graph Traversals for Concurrent Rewriting Using Work-Stealing Frameworks for Multicore Platforms von 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 …”
Volltext

Automated distributed implementation of component-based models with priorities von 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 …”
Volltext