Search results
From MaRDI portal
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper Analyzing...10 bytes (14 words) - 12:58, 24 September 2023
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper Measuring...10 bytes (13 words) - 12:33, 7 October 2023
- 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper Distributed algorithm to detect...10 bytes (13 words) - 04:35, 7 October 2023
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper https://portal...10 bytes (13 words) - 03:02, 7 October 2023
- 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper Distributed consensus, revisited...10 bytes (13 words) - 15:22, 6 October 2023
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper https://portal...10 bytes (13 words) - 12:37, 28 January 2024
- inference for (distributed) discrete optimization with GPUs 2018-03-22 Paper Solving distributed constraint optimization problems using logic programming 2017-11-09...10 bytes (13 words) - 06:46, 9 December 2023
- Modeling the distributed termination convention of CSP 1984-01-01 Paper A linear-history semantics for languages for distributed programming 1984-01-01 Paper...10 bytes (13 words) - 18:06, 24 September 2023
- Paper Automata, Languages and Programming 2006-01-10 Paper https://portal.mardi4nfdi.de/entity/Q5714435 2006-01-02 Paper Logic for Programming, Artificial...10 bytes (15 words) - 23:56, 9 December 2023
- Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems 2009-02-03 Paper Distributed Timed Automata with Independently Evolving...10 bytes (13 words) - 12:44, 28 January 2024
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper Defining...10 bytes (14 words) - 00:42, 9 December 2023
- MSC Languages 2010-06-22 Paper Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed...10 bytes (13 words) - 11:42, 7 October 2023
- 2004-10-19 Paper Task scheduling in distributed decision support systems 2000-04-26 Paper Coordination of decisions in distributed computer-aided decision systems...10 bytes (15 words) - 09:39, 12 December 2023
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper Foundations...10 bytes (14 words) - 04:32, 12 December 2023
- coordination languages 2010-04-29 Paper Verification: Theory and Practice 2010-03-23 Paper Global Computing. Programming Environments, Languages, Security...10 bytes (15 words) - 17:04, 9 December 2023
- Object Oriented Languages 2007-11-28 Paper Foundations of Software Science and Computation Structures 2007-09-28 Paper Programming Languages and Systems 2007-09-28...10 bytes (13 words) - 08:06, 25 September 2023
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper Foundations...10 bytes (13 words) - 10:23, 6 October 2023
- Automated Reasoning 2010-07-20 Paper Answer Set Programming with Resources 2010-04-21 Paper Multivalued action languages with constraints in CLP(FD) 2010-04-07...10 bytes (13 words) - 16:45, 7 December 2023
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper https://portal...10 bytes (15 words) - 16:02, 24 September 2023
- a formal foundation to orchestration languages 2013-09-11 Paper simpA: an agent-oriented approach for programming concurrent applications on top of Java...10 bytes (13 words) - 11:21, 7 October 2023
