Search Results - Concurrent Programming] General Terms Design*

Topic mining and forecasting on patent map for GPU technology by Hou, Ke, Wu, Mengying, Wu, Wenjun, Huang, Linhao

“… Compared with traditional computing platforms, GPUs have advantages for data centers such as high concurrent processing capacity and high bandwidth transmission efficiency…”
Get full text

Models for cellular manufacturing systems design: matching processing requirements and operator capabilities by Bhatnagar, R, Saddikuti, V

“…Cellular manufacturing systems comprise categorizing machines used in the firm's production system into cells dedicated to part families that have similar requirements in terms of tooling, setups…”
Get full text

Gacer: Granularity-Aware Concurrency Regulation for Multi-Tenant Deep Learning by 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…”
Get full text

GT-NRSM: efficient and scalable sharding consensus mechanism for consortium blockchain by Shen, Tao, Li, Tianyu, Yu, Zhuo, Bai, Fenhua, Zhang, Chi

“… As the underlying architecture of blockchain, consensus is the key to realizing service-oriented applications of blockchain in terms of its security, efficiency, and scalability optimization…”
Get full text

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

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

ZEBRA: Data-Centric Contention Management in Hardware Transactional Memory by Titos-Gil, Ruben, Negi, Anurag, Acacio, Manuel E., Garcia, Jose M., Stenstrom, Per

“… Consequently, incorporation of fixed-policy Transactional Memory (TM) in general purpose computing systems is suboptimal by design and renders such systems susceptible to pathologies…”
Get full text

PyMTL: A Unified Framework for Vertically Integrated Computer Architecture Research by Lockhart, Derek, Zibrat, Gary, Batten, Christopher

“… PyMTL leverages the Python programming language to create a highly productive domain-specific embedded language for concurrent-structural modeling and hardware…”
Get full text

Parallelizing CAD: a timely research agenda for EDA by Catanzaro, Bryan, Keutzer, Kurt, Su, Bor-Yiing

“…: neither in terms of return on engineering investment nor in terms of the computational efficiency of end applications…”
Get full text

A New Era of Performance Evaluation by Pieper, S.M., Paul, J.M., Schulte, M.J.

“…Long-standing techniques for performance evaluation of computer designs are beginning to fail…”
Get full text

B-Fetch: Branch Prediction Directed Prefetching for Chip-Multiprocessors by Kadjo, David, Kim, Jinchun, Sharma, Prabal, Panda, Reena, Gratz, Paul, Jimenez, Daniel

“… Both approaches, become more challenging in modern, Chip-multiprocessor (CMP) design. Increasing the last-level cache (LLC…”
Get full text

Effects of Diaper Removal and a Toilet Training Package for Early Childhood Students with Intellectual and Developmental Disabilities by Turpin, Jessica, Jaggears, Anna, Cagliani, Rachel, Snyder, Sara Kathryn

“…Extended diaper wearing may limit access to inclusive opportunities including general education settings, summer camps, community-based programming, and job opportunities…”
Get full text

A tolerancing optimisation method for product design by Ngoi, Bryan K. A., Teck, Ong Chee

“… the model using a linear programming approach. The component tolerances are first represented in terms of the process tolerances, assigned by process planners at an early stage of the product design…”
Get full text

Real-Time Embedded Systems: Open-Source Operating Systems Perspective by Bertolotti, Ivan Cibrario, Manduchi, Gabriele

“… They also discuss increasingly popular open-source operating systems. Helpful for average system designers that have no significant previous experience with real-time…”
Get full text

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

“…The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification,…”
Get full text

Concurrent tolerance charting for component and assembly using ?modified tree? approach by Ngoi, B. K. A., Min, O. J.

“… However, in conventional design, the dimensions and tolerances of components are usually assigned intuitively to satisfy design constraints…”
Get full text

Ambient Abstract State Machines with applications by Börger, Egon, Cisternino, Antonio, Gervasi, Vincenzo

“… for distributed computing with heterogeneous components. For the sake of generality and to also support rigorous high-level system design practice we give the definition in terms of Abstract State Machines…”
Get full text

A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms by Elbayoumi, Mahmoud, Hsiao, Michael S., ElNainay, Mustafa

“…Currently, BDD packages such as CUDD depend on chained hash tables. Although they are efficient in terms of memory usage, they exhibit poor cache performance due to dynamic allocation and indirections of data…”
Get full text

Development of a debugger for a concurrent language by Baiardi, F., De Francesco, N., Vaglini, G.

“…The authors discuss issues related to the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages…”
Get full text

Automated distributed implementation of component-based models with priorities by 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…”
Get full text

Random access protocols for high-speed interprocessor communication based on an optical passive star topology by Dowd, P.W.

“… Self-routing single-step optically interconnected communication structures can be designed through the incorporation of agile laser diode sources and wavelength tunable optical filters…”
Get full text