Výsledky vyhľadávania - distributed concurrent linear logic programming

Distributed concurrent linear logic programming Autor Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori

“…We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation…”
Získať plný text

Relating state-based and process-based concurrency through linear logic (full-version) Autor Cervesato, Iliano, Scedrov, Andre

“… Concurrent and distributed systems are notoriously hard to get right. Therefore, following an approach that has proved highly beneficial for sequential programs, much effort has been invested in tracing the foundations of concurrency in logic…”
Získať plný text

Solar-DG and DSTATCOM Concurrent Planning in Reconfigured Distribution System Using APSO and GWO-PSO Based on Novel Objective Function Autor Saw, Bikash Kumar, Bohre, Aashish Kumar, Jobanputra, Jalpa H., Kolhe, Mohan Lal

“…The concurrent planning of multiple Distributed Generations (DGs), consisting of solar-DG and DSTATCOM with reconfiguration in IEEE 33 and 69 bus Radial Distribution Network (RDN…”
Získať plný text

Dynamic Spaces in Concurrent Constraint Programming Autor Olarte, Carlos, Nigam, Vivek, Pimentel, Elaine

“…Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact with each other by posting (telling…”
Získať plný text

Relating State-Based and Process-Based Concurrency through Linear Logic Autor Cervesato, Iliano, Scedrov, Andre

“… Concurrent and distributed systems are notoriously hard to get right. Therefore, following an approach that has proved highly beneficial for sequential programs, much effort has been invested in tracing the foundations of concurrency in logic…”
Získať plný text

A Data Mining Algorithm via Decentralized Optimization in Parallel or Distributed Systems: Mathematical Aspects Autor Gabidullina, Z. R., Doostmohammadian, M. R.

“…We present a new scalable data mining algorithm which can accurately recognize the position of a given pattern as internal, boundary, or external point…”
Získať plný text

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics Autor Falke B Ø Carlsen, Lars Bo P Frydenskov, Jensen, Nicolaj Ø, Rasmussen, Jener, Sørensen, Mathias M, Weirsøe, Asger G, Jensen, Mathias C, Larsen, Kim G

“…) on concurrent game structures (CGS). We present how our tool encodes ATL as extended dependency graphs with negation edges and employs the distributed on-the-fly algorithm by Dalsgaard et al…”
Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II Autor Fisman, Dana, Rosu, Grigore

“…This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,…”
Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II Autor Vojnar, Tomás, Zhang, Lijun

Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II Autor Beyer, Dirk, Huisman, Marieke

“…computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors…”
Získať plný text

The metric analogue of weak bisimulation for probabilistic processes Autor Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.

“…We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities-in the model. We develop a metric analogue…”
Získať plný text

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

“…; distributed systems and networks; verification and invariants; and concurrency…”
Získať plný text

Behavioural Types: From Theory to Tools Autor Gay, Simon, Ravara, António

“… A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types…”
Získať plný text

On the Impact of Migration Parameters on DIMEP for Designing Combinational Circuits Autor Hadjam, F.Z., Moraga, C., Rahmouni, M.K.

“…: distributed multi expression programming (DMEP) to support the design of combinational logic circuits and investigates how the migration policy…”
Získať plný text

Embedding of rings and meshes onto faulty hypercubes using free dimensions Autor Pei-Ji Yang, Sing-Ban Tien, Raghavendra, C.S.

“… The authors consider tasks that require linear chain, ring, mesh, and torus structure, which are quite useful in parallel and pipeline computations…”
Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I Autor Vojnar, Tomás, Zhang, Lijun

Získať plný text

Temporal logic properties of Java objects Autor Iosif, Radu, Sisto, Riccardo

“… and the languages used to describe system requirements. In this paper, we propose a formal requirement specification notation based on linear temporal logic, with regard to object oriented program elements, such as classes and interfaces…”
Získať plný text

Rewritings for Polarized Multiplicative and Exponential Proof Structures Autor Fouqueré, Christophe, Mogbil, Virgile

“…We study conditions for a concurrent construction of proof-nets in the framework of linear logic following Andreoli's works…”
Získať plný text

Model checking UML statecharts Autor Wei Dong, Ji Wang, Xuan Qi, Zhi-Chang Qi

“…Unified Modeling Language (UML) has been widely used in software development. Verifying if an UML model meets the required properties has become a key issue…”
Získať plný text

Maximally Concurrent Programs Autor Joshi, Rajeev, Misra, Jayadev

“… S . We argue that maximality is an important criterion in the context of designing concurrent programs because it disallows implementations that do not exhibit enough concurrency…”
Získať plný text