Výsledky vyhledávání - Concurrence 1. Reliable multithreaded programming

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.

Autoři: Sun, Chang-Ai Dai, Hepeng Geng, Ning a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-21, 21p

Témata: COMPUTER software testing, COST effectiveness, TEST design

Geografický termín: JAVA (Indonesia)

Lattice-Boltzmann modeling of centrifugal buoyancy-induced flows in rotating compressor cavities.

Autoři: Werner, P. Boussuge, J. F. Scholtes, C. a další

Zdroj: Physics of Fluids; Jan2024, Vol. 36 Issue 1, p1-24, 24p

Témata: LATTICE Boltzmann methods, BUOYANCY, FLOW simulations, CENTRIFUGAL force, BUOYANCY-driven flow, IDEAL gases, RAYLEIGH number, NATURAL heat convection

High-performance Deterministic Concurrency Using Lingua Franca.

Autoři: MENARD, CHRISTIAN LOHSTROH, MARTEN BATENI, SOROUSH a další

Zdroj: ACM Transactions on Architecture & Code Optimization; Dec2023, Vol. 20 Issue 4, p1-29, 29p

An inventory model with uncertain demand under preservation strategy for deteriorating items.

Autoři: Mahapatra, Amalendu Singha Dasgupta, Arup Shaw, Ashok Kumar a další

Zdroj: RAIRO: Operations Research (2804-7303); 2022, Vol. 56 Issue 6, p4251-4280, 29p

Témata: INVENTORIES, FRACTIONS, BACK orders, FERTILITY preservation

Efficient failure detection and consensus at extreme-scale systems.

Autoři: Kolisetty, Soma Sekhar Rao, Battula Srinivasa

Zdroj: International Journal of Electrical & Computer Engineering (2088-8708); Oct2022, Vol. 12 Issue 5, p5339-5347, 9p

Témata: SYSTEM failures, BOOLEAN matrices, INFORMATION dissemination, FAULT-tolerant computing, INFORMATION processing, SCALABILITY

Functional Design and Architecture : Examples in Haskell

Autoři: Alexander Granin

Resource Type: eBook.

Témata: Computer architecture, Functional programming (Computer science), Software engineering

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Systems Analysis & Design

Internet of things scalability: Analyzing the bottlenecks and proposing alternatives.

Autoři: Gomes, Marcio da Rosa Righi, Rodrigo da Costa, Cristiano Andre

Zdroj: 2014 6th International Congress on Ultra Modern Telecommunications & Control Systems & Workshops (ICUMT); 2014, p269-276, 8p

An experimental study on the performance of WWW servers.

Autoři: Trecordi, V. Verga, A.

Zdroj: Proceedings of GLOBECOM'96 1996 IEEE Global Telecommunications Conference; 1996 MiniConfInternet, p22-27, 6p

Towards the parallel computing based on quality of service.

Autoři: Kawasaki, R.Y.S. Oliveira, L.A.H.G. Frances, C.R.L. a další

Zdroj: Second International Symposium on Parallel & Distributed Computing, 2003; 2003, p131-136, 6p

Absolutely Positively on Time: What Would It Take?

Autoři: Lee, Edward A.

Zdroj: Computer (00189162); Jul2005, Vol. 38 Issue 7, p85-87, 3p

Témata: COMPUTER software, COMPUTERS, PROGRAMMING language semantics, COMPUTER input-output equipment, SYSTEMS software, INTEGRATED circuits

IEEE Standard for Information Technology - POSIX(R) Ada Language Interfaces - Part 1: Binding for System Application Program Interface (API) - Amendment 2: Protocol-Independent Interfaces.

Zdroj: 1003.5, 1999 Edition: IEEE Standard for Information Technology - POSIX(R) Ada Language Interfaces - Part 1: Binding for System Application Program Interface (API) - Amendment 2: Protocol-Independent Interfaces; 1/ 1/1999, p01, 890p

IEEE Standard for Information Technology- POSIX R ADA Language Interfaces- Part 1: Binding for System Application Program Interface (API)- Amendment 1: Realtime Extensions.

Zdroj: 1003.5b-1996 (Includes 1003.5-1992): IEEE Standard for Information Technology- POSIX R ADA Language Interfaces- Part 1: Binding for System Application Program Interface (API)- Amendment 1: Realtime Extensions; 1/ 1/1997, p01-529-529, 549p

IEEE Standard for a High-Performance Serial Bus - Redline.

Zdroj: 1394-2008 (Revision of 1394-1995) - Redline: IEEE Standard for a High-Performance Serial Bus - Redline; 2011, p1-1074, 1074p

IEEE Standard for a High-Performance Serial Bus.

Zdroj: 1394-2008: IEEE Standard for a High-Performance Serial Bus; 1/ 1/2008, p1-906, 906p

Reactive Programming for .NET Developers

Autoři: Antonio Esposito Michael Ciceri

Resource Type: eBook.

Témata: Computer software--Development, Application software--Development

Categories: COMPUTERS / Languages / C#

International Standard - Information technology Portable Operating System Interface (POSIX)Base Specifications, Issue 7.

Zdroj: ISO/IEC/IEEE 9945:2009(E); 1/1/2009, p1-3880, 3880p

Information technology - Portable Operating System Interface (POSIX) Operating System Interface (POSIX).

Zdroj: 9945 (First Edition 2009-09-15): Information Technology - Portable Operating System Interface (POSIX) Operating System Interface (POSIX); 1/ 1/2009, pc1-c3830, 3830p

IEEE Standard for Information Technology- Portable Operating System Interface (POSIX) Base Specifications, Issue 7.

Zdroj: 1003.1-2008 (Revision of 1003.1-2004): IEEE Standard for Information Technology- Portable Operating System Interface (POSIX) Base Specifications, Issue 7; 1/ 1/2008, pc1-c3826, 3826p

IEEE Standard for Information Technology - Portable Operating System Interface (POSIX(R)).

Zdroj: IEEE Std 1003.1, 2004 Edition The Open Group Technical Standard. Base Specifications, Issue 6. Includes IEEE Std 1003.1-2001, IEEE Std 1003.1-2001/Cor 1-2002 & IEEE Std 1003.1-2001/Cor 2-2004. Shell; 1/1/2004, p1-3874, 3874p

ISO/IEC/IEEE International Standard Information technology - Telecommunications and information exchange between systems - Local and metropolitan area networks - Specific requirements - Part 9: Integrated Services (IS) LAN Interface at the Medium ...

Zdroj: International Standard ISO/IEC 8802-9: 1996(E) ANSI/IEEE Std 802.9, 1996 Edition; 1996, p1-440, 440p