نتائج البحث

Verified Linear Session-Typed Concurrent Programming

• Authors : Frank Pfenning; Ankush Das

Subjects: Normalization (statistics); Syntax (programming languages); Computer science

• Source: PPDP

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

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)

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

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

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

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,

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

Concurrent Geometric Multicasting

• Authors : James Scott Robinson; Mikhail Nesterenko; Jordan Adamek ...

Subjects: Computational Geometry (cs.CG); FOS: Computer and information sciences; [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

• Source: ICDCN[Research Report] UPMC Sorbonne Universités. 2017The 19th International Conference on Distributed Computing and NetworkingThe 19th International Conference on Distributed

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

Enif-Lang: A Specialized Language for Programming Network Functions on Commodity Hardware

• Authors : Stefano Giordano; Gregorio Procissi; Nicola Bonelli

Subjects: Control and Optimization; Computer Networks and Communications; Computer science

• Source: Journal of Sensor and Actuator NetworksVolume 7Issue 3Journal of Sensor and Actuator Networks, Vol 7, Iss 3, p 34 (2018)

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

Trace and Stable Failures Semantics for CSP-Agda

• Authors : Anton Setzer; Bashar Igried

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Semantics (computer science)

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)

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