Suchergebnisse - distributed concurrent linear logic programming

Distributed concurrent linear logic programming von 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 …”
Volltext

Relating state-based and process-based concurrency through linear logic (full-version) von 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 …”
Volltext

Solar-DG and DSTATCOM Concurrent Planning in Reconfigured Distribution System Using APSO and GWO-PSO Based on Novel Objective Function von 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 …”
Volltext

Dynamic Spaces in Concurrent Constraint Programming von 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 …”
Volltext

Relating State-Based and Process-Based Concurrency through Linear Logic von 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 …”
Volltext

A Data Mining Algorithm via Decentralized Optimization in Parallel or Distributed Systems: Mathematical Aspects von 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 …”
Volltext

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

“… ; distributed systems and networks; verification and invariants; and concurrency …”
Volltext

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics von 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 …”
Volltext

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 von 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, …”
Volltext

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 von Vojnar, Tomás, Zhang, Lijun

Volltext

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 von Beyer, Dirk, Huisman, Marieke

“… computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors …”
Volltext

The metric analogue of weak bisimulation for probabilistic processes von 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 …”
Volltext

Behavioural Types: From Theory to Tools von 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 …”
Volltext

On the Impact of Migration Parameters on DIMEP for Designing Combinational Circuits von 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 …”
Volltext

Embedding of rings and meshes onto faulty hypercubes using free dimensions von 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 …”
Volltext

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 von Vojnar, Tomás, Zhang, Lijun

Volltext

Temporal logic properties of Java objects von 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 …”
Volltext

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

“… We study conditions for a concurrent construction of proof-nets in the framework of linear logic following Andreoli's works …”
Volltext

Model checking UML statecharts von 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 …”
Volltext

Maximally Concurrent Programs von 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 …”
Volltext