نتائج البحث

An Equational Modeling of Asynchronous Concurrent Programming

• Authors : David Janin;

Subjects: Interface (Java); Semantics (computer science); Computer science

• Source: Lecture Notes in Computer Science ISBN: 9783030577605TFP21st International Symposium on Trends in Functional Programming21st International Symposium on

تفاصيل العنوان

Acceleration of Digital Stochastic Measurement Simulation Based on Concurrent Programming

• Authors : Nebojsa Pjevalica; V. Pjevalica; Ivan Kastelan

Subjects: Signal processing; parallel processing; Computer science

• Source: Elektronika ir Elektrotechnika, Vol 24, Iss 6, Pp 21-27 (2018)

تفاصيل العنوان

Concurrent Programming using Umple

• Authors : Ahmed Husseini Orabi; Timothy C. Lethbridge; Mahmoud Husseini Orabi

Subjects: Computer science; Programming language; 020204 information systems

• Source: MODELSWARD

تفاصيل العنوان

Bestow and Atomic: Concurrent Programming using Isolation, Delegation and Grouping

• Authors : Tobias Wrigstad; Joel Wallin; Elias Castegren

Subjects: FOS: Computer and information sciences; Record locking; Logic

تفاصيل العنوان

On-demand thread-level fault detection in a concurrent programming environment

• Authors : Fu, J.; Yang, Q.; Poss, R. ...

Subjects: 010302 applied physics; Triple modular redundancy; Computer science

• Source: 2013 International Conference on Embedded Computer Systems, Architectures, Modeling and Simulation: IC-SAMOS 2013: proceedings: July 15-18, 2013, Samos, Greece, 255-262

تفاصيل العنوان

Reactive concurrent programming revisited

• Authors : Frederic Boussinot; Roberto M. Amadio; Ilaria Castellani ...

Subjects: FOS: Computer and information sciences; cooperative scheduling; General Computer Science

• Source: Electronic Notes in Theoretical Computer ScienceWorkshop on Process AlgebraExpressExpress, Sep 2006, France. pp.49-60

تفاصيل العنوان

Reversible CSP Computations

• Authors : Josep Silva; Carlos Galindo; Naoki Nishida

Subjects: Source code; Semantics (computer science); Computer science

• Source: IEEE Transactions on Parallel and Distributed SystemsRiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname

تفاصيل العنوان

Processes, Systems & Tests: Defining Contextual Equivalences

• Authors : Daniele Varacca; Clément Aubert;

Subjects: Computer Science - Logic in Computer Science; Computer science; Process calculus

• Source: Proceedings 14th Interaction and Concurrency Experience (ICE 2021)Proceedings 14th Interaction and Concurrency Experience (ICE 2021), Jun 2021, Virtual Event, Malta. pp.1-21,

تفاصيل العنوان

A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars

• Authors : Paolo Camurati; Michele Giorelli; Francesco Savarese

Subjects: 0209 industrial biotechnology; Computer Networks and Communications; Computer science

• Source: ElectronicsVolume 8Issue 2Electronics, Vol 8, Iss 2, p 177 (2019)

تفاصيل العنوان

Optimizing memory transactions for large-scale programs

• Authors : João Cachopo; Fernando Miguel Carvalho

Subjects: Software transactional memory; 020203 distributed computing; Record locking

• Source: Repositório Científico de Acesso Aberto de PortugalRepositório Científico de Acesso Aberto de Portugal (RCAAP)instacron:RCAAP

تفاصيل العنوان