## Found 302 Documents (Results 1–100)

100
MathJax

### Optimization of rewrite theories by equational partial evaluation. (English)Zbl 1477.68136

MSC:  68Q42 68N19 68Q85
Full Text:

### Semantics, specification, and bounded verification of concurrent libraries in replicated systems. (English)Zbl 1478.68045

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 251-274 (2020).
Full Text:

Full Text:

### A new solution of Dijkstra’s concurrent programming problem. (English)Zbl 1448.68133

Malkhi, Dahlia (ed.), Concurrency. The works of Leslie Lamport. New York, NY: Association for Computing Machinery (ACM). ACM Books 29, 173-178 (2019).
MSC:  68M14 68N19 68M15
Full Text:

Full Text:

### Automated synthesis: a distributed viewpoint. (English)Zbl 07278075

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 3, 5 p. (2018).
MSC:  68N19 68M14 68W15
Full Text:

### Synthesis of distributed algorithms with parameterized threshold guards. (English)Zbl 1487.68252

Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 32, 20 p. (2018).
Full Text:

### A typing discipline for statically verified crash failure handling in distributed systems. (English)Zbl 1418.68019

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 799-826 (2018).
Full Text:

Full Text:

### Models and languages for description of parallel processes. (English. Russian original)Zbl 1484.68142

J. Comput. Syst. Sci. Int. 57, No. 3, 471-481 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 3, 116-127 (2018).
MSC:  68Q85 68N19 68M14
Full Text:

### A protocol of mutual exclusion for DSM based on vectors of global timestamps. (English)Zbl 1386.68021

MSC:  68M14 68N19
Full Text:

### Race detection and reachability in nearly series-parallel DAGs. (English)Zbl 1403.68043

Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-503-1/ebook). 156-171 (2018).
Full Text:

### Proving opacity via linearizability: a sound and complete method. (English)Zbl 07542234

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 50-66 (2017).
Full Text:

### Modularising opacity verification for hybrid transactional memory. (English)Zbl 07542233

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 33-49 (2017).
Full Text:

Full Text:

### Multiactive objects and their applications. (English)Zbl 1398.68087

MSC:  68N19 68N20 68Q85
Full Text:

Full Text:

Full Text:

### Distributed network generation based on preferential attachment in ABS. (English)Zbl 1444.68132

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 103-115 (2017).
Full Text:

### Infrastructure-Agnostic programming and interoperable execution in heterogeneous grids. (English)Zbl 06985656

MSC:  68N19 68M14

### Abstraction and mining of traces to explain concurrency bugs. (English)Zbl 1380.68107

MSC:  68N19 68Q85 68T05
Full Text:

### Recoverable mutual exclusion (extended abstract). (English)Zbl 1373.68177

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 65-74 (2016).
Full Text:

### Type systems for distributed programs: components and sessions. (English)Zbl 1432.68002

Atlantis Studies in Computing 7. Amsterdam: Atlantis Press (ISBN 978-94-6239-203-8/hbk; 978-94-6239-204-5/ebook). xxii, 192 p. (2016).
Full Text:

### Vispark: GPU-accelerated distributed visual computing using Spark. (English)Zbl 1349.68032

MSC:  68M14 65Y10 68N19 68U10 68U20 68W15
Full Text:

### Transforming source code to mathematical relations for performance evaluation. (English)Zbl 1412.68039

MSC:  68N30 60J20 68N19
Full Text:

### Programming models for parallel computing. (English)Zbl 1373.68017

Scientific and Engineering Computation. Cambridge, MA: MIT Press (ISBN 978-0-262-52881-8). xxv, 458 p. (2015).

### Multiparty session types as coherence proofs. (English)Zbl 1374.68323

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 412-426 (2015).
Full Text:

### Hoare logic for disjunctive information flow. (English)Zbl 1434.68095

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 47-65 (2015).
Full Text:

### Proving opacity of transactional memory with early release. (English)Zbl 1328.68034

MSC:  68M14 68N19
Full Text:

Full Text:

### On distributed monitoring and synthesis. (English)Zbl 1459.68017

Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 54-62 (2015).
Full Text:

Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 186-195 (2014).
Full Text:

### Fast and scalable rendezvousing. (English)Zbl 1286.68064

MSC:  68N19 68M14
Full Text:

### Parallel programming for multicore and cluster systems. 2nd revised ed. (English)Zbl 1295.68012

Berlin: Springer (ISBN 978-3-642-37800-3/hbk; 978-3-642-37801-0/ebook). xiii, 516 p. (2013).
Full Text:

### (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. (English)Zbl 1272.68289

MSC:  68Q85 68N19 68N30 68Q45 68Q87 92C42 93A30
Full Text:

### Preserving the original MPI semantics in a virtualized processor environment. (English)Zbl 1264.68048

MSC:  68N19 68N30 68M14
Full Text:

### Efficient sessions. (English)Zbl 1264.68049

MSC:  68N19 68M14 68M12
Full Text:

### Distributed programming. Theory and practice. (English)Zbl 1276.68002

New York, NY: Springer (ISBN 978-1-4614-4880-8/hbk; 978-1-4614-4881-5/ebook). xviii, 383 p. (2013).
MSC:  68-01 68N19 68M14
Full Text:

### Standard type soundness for agents and artifacts. (English)Zbl 1424.68102

MSC:  68Q85 68N19 68T42
Full Text:

### Brief announcement: Increasing the power of the iterated immediate snapshot model with failure detectors. (English)Zbl 1301.68090

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 337-338 (2012).
MSC:  68N19 68M15
Full Text:

### Brief announcement: Reconfigurable state machine replication from non-reconfigurable building blocks. (English)Zbl 1301.68062

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 93-94 (2012).
MSC:  68M15 68M14 68N19
Full Text:

Full Text:

### Synthesizing distributed protocol specifications from a UML state machine modeled service specification. (English)Zbl 1280.68067

MSC:  68M14 68M12 68N19
Full Text:

### Parallelization of sequential programs: distribution of arrays among processors and structurization of communications. (English. Russian original)Zbl 1276.68047

Cybern. Syst. Anal. 48, No. 1, 122-137 (2012); translation from Kibern. Sist. Anal. 2012, No. 1, 144-163 (2012).
Full Text:

### A single-version STM that is multi-versioned permissive. (English)Zbl 1254.68063

MSC:  68N19 68M14
Full Text:

### Interrupting snapshots and the $$\text{Java}^{\text{TM}}$$ size method. (English)Zbl 1248.68083

MSC:  68M14 68P05 68N19
Full Text:

### Scheduling and buffer sizing of n-synchronous systems. Typing of ultimately periodic clocks in Lucy-n. (English)Zbl 1358.68041

Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 74-101 (2012).
MSC:  68M14 68M20 68N19
Full Text:

### Eventually consistent transactions. (English)Zbl 1352.68050

Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 67-86 (2012).
MSC:  68N19 68M14 68P01
Full Text:

### Analyzing consistency properties for fun and profit. (English)Zbl 1321.68081

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 197-206 (2011).
Full Text:

### Resilience of mutual exclusion algorithms to transient memory faults. (English)Zbl 1321.68172

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 69-78 (2011).
Full Text:

### Predicate abstraction and refinement for verifying multi-threaded programs. (English)Zbl 1284.68427

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 331-344 (2011).
MSC:  68Q85 68M20 68N19
Full Text:

### A separation logic for refining concurrent objects. (English)Zbl 1284.68207

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 247-258 (2011).
Full Text:

### Mathematizing C++ concurrency. (English)Zbl 1284.68165

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 55-66 (2011).
Full Text:

Full Text:

Full Text:

### SMV: selective multi-versioning STM. (English)Zbl 1350.68049

Peleg, David (ed.), Distributed computing. 25th international symposium, DISC 2011, Rome, Italy, September 20–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24099-7/pbk). Lecture Notes in Computer Science 6950, 125-140 (2011).
MSC:  68M14 68N19
Full Text:

### Subtyping in distributed systems. Reprint of the 2001 hardback ed. (English)Zbl 1253.68243

Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 233-253 (2010).
MSC:  68Q85 68M14 68N19

### Formal methods for distributed processing. A survey of object-oriented approaches. Reprint of the 2001 hardback ed. (English)Zbl 1233.68011

Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010).

### A Java based light distributed file system. (English)Zbl 1212.68031

MSC:  68N25 68N19

### Layering and enveloping: simplified algorithm with balancing loop fuzzy Petri net. (English)Zbl 1195.68078

Cao, Bing-yuan (ed.) et al., Fuzzy Information and Engineering 2010 (ACFIE 2010). Proceedings of the 5th annual conference, Huludao, China, September 23–27, 2010. Berlin: Springer (ISBN 978-3-642-14879-8/pbk; 978-3-642-14880-4/ebook). Advances in Intelligent and Soft Computing 78, 637-646 (2010).
MSC:  68T05 68Q85
Full Text:

### Window-based greedy contention management for transactional memory. (English)Zbl 1290.68032

Lynch, Nancy A. (ed.) et al., Distributed computing. 24th international symposium, DISC 2010, Cambridge, MA, USA, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15762-2/pbk). Lecture Notes in Computer Science 6343, 64-78 (2010).
MSC:  68M20 68M14 68N19
Full Text:

### Autonomics development: A domain-specific aspect language approach. (English)Zbl 1205.68095

Autonomic Systems. Basel: Birkhäuser (ISBN 978-3-0346-0539-7/pbk; 978-3-0346-0540-3/ebook). x, 134 p. (2010).
Full Text:

### Understanding concurrent systems. (English)Zbl 1211.68205

Texts in Computer Science. London: Springer (ISBN 978-1-84882-257-3/hbk; 978-1-84882-258-0/ebook). xviii, 527 p. (2010).
Full Text:

### Verifying distributed systems: the operational approach. (English)Zbl 1315.68105

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 429-440 (2009).
MSC:  68N30 68N19 68M14 68Q60 68T15
Full Text:

### Verifying multithreaded recursive programs with integer variables. (English)Zbl 1347.68069

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 143-154 (2009).
Full Text:

Full Text:

### Supporting parametric polymorphism in CORBA IDL. (English)Zbl 1183.68091

Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 285-292 (2009).
MSC:  68M14 68N19

### Brahms. An agent-oriented language for work practice simulation and multi-agent systems development. (English)Zbl 1185.68209

Bordini, Rafael H. (ed.) et al., Multi-agent programming. Languages, tools and applications. New York, NY: Springer (ISBN 978-0-387-89298-6/hbk; 978-0-387-89299-3/ebook). 73-117 (2009).
MSC:  68N19 68U20 68T42
Full Text:

### Large scale distributed and parallel computing for linear algebra problems: practice and experience. (English)Zbl 1200.68067

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 261-291 (2009).
Full Text:

### A peer-to-peer framework for message passing parallel programs. (English)Zbl 1187.68135

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 118-147 (2009).
MSC:  68N19 68M14
Full Text:

### Hybrid performance modeling and prediction of large-scale parallel systems. (English)Zbl 1189.68033

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 54-82 (2009).
MSC:  68N19 68M20
Full Text:

### Formalizing parallel programming in large scale distributed networks: from tasks parallel and data parallel to applied categorical structures. (English)Zbl 1189.68032

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 24-53 (2009).
MSC:  68N19 68M14
Full Text:

### Types for secure pattern matching with local knowledge in universal concurrent constraint programming. (English)Zbl 1251.68156

Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 417-431 (2009).
MSC:  68Q85 68N19 68T42
Full Text:

### Higher-order components for grid programming. Making grids more usable. (English)Zbl 1179.68015

Berlin: Springer (ISBN 978-3-642-00840-5/hbk; 978-3-642-00841-2/ebook). xiii, 186 p. (2009).
Full Text:

### Multi-agent systems and paraconsistent knowledge. (English)Zbl 1171.68359

Jain, Lakhmi C. (ed.) et al., Knowledge processing and decision making in agent-based systems. Berlin: Springer (ISBN 978-3-540-88048-6/hbk; 978-3-540-88049-3/ebook). Studies in Computational Intelligence 170, 101-121 (2009).
MSC:  68M14 68N19 68T27
Full Text:

### Specifying and implementing secure mobile applications. (English)Zbl 1171.68578

Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 235-283 (2009).

### Abstract machine for service-oriented mobility. (English)Zbl 1171.68577

Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 199-234 (2009).

### Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications. (English)Zbl 1169.68006

MSC:  68M14 68N19 68W15
Full Text:

### Prototyping concurrent systems with agents and artifacts: framework and core calculus. (English)Zbl 1277.68203

Canal, Carlos (ed.) et al., Proceedings of the 6th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2007), Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 4, 111-132 (2008).
MSC:  68Q85 68N19 68T42
Full Text:

### Observable behavior of dynamic systems: component reasoning for concurrent objects. (English)Zbl 1277.68056

Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 19-34 (2008).
MSC:  68N30 68N19 68Q85
Full Text:

### Applying an overbuilding application concept for design of components for extension service to a portal of a corporate system. (Russian. English summary)Zbl 1212.68008

MSC:  68M10 68M14

### A colaborative model system for the supervised document management. (Spanish. English summary)Zbl 1212.68018

MSC:  68M14 68N19

### An overview of parallel and distributed Java for heterogeneous systems: approaches and open issues. (English)Zbl 1180.68097

MSC:  68N15 68N19

MSC:  68N19
Full Text:

### Termination of just/fair computations in term rewriting. (English)Zbl 1146.68040

MSC:  68Q42 68N19 68Q85
Full Text:

### The power of DCAS, highly-concurrent software transactional memory. (English)Zbl 1283.68118

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 342-343 (2007).
Full Text:

### From causal to $$z$$-linearizable transactional memory. (English)Zbl 1283.68120

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 340-341 (2007).
Full Text:

### Transactions and privatization in Delaunay triangulation. (English)Zbl 1283.68121

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 336-337 (2007).
MSC:  68N19 68M14
Full Text:

### SNZI, scalable nonzero indicators. (English)Zbl 1283.68119

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 13-22 (2007).
Full Text:

### Constant-RMR implementations of CAS and other synchronization primitives using read and write operations. (English)Zbl 1283.68095

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 3-12 (2007).
Full Text:

### Formal sequentialization of distributed systems via program rewriting. (English)Zbl 1278.68213

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 53-75 (2007).
Full Text:

### Role of formal methods in the automobile industry. (English)Zbl 1189.93101

Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 175 (2007).
MSC:  93C85 93A30 68N19
Full Text:

### Productivity prediction of MPI programs based on models. (English. Russian original)Zbl 1161.68384

Autom. Remote Control 68, No. 5, 750-759 (2007); translation from Avtom. Telemekh. 68, No. 5, 8-17 (2007).
MSC:  68N19
Full Text:

MSC:  68N19
Full Text:

### Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. (English)Zbl 1118.68002

Lecture Notes in Computer Science 4468. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). x, 317 p. (2007).
Full Text:

### RALE: an environment for simulation and transformations. (English)Zbl 1127.68357

Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 265-284 (2007).
MSC:  68N19 68M14

Full Text:

### The perfectly synchronized round-based model of distributed computing. (English)Zbl 1115.68030

MSC:  68M14 68M15 68N19
Full Text:

### Ontology-driven middleware for next-generation train backbones. (English)Zbl 1115.68373

MSC:  68N19 68T27 68T05
Full Text:

### A bulk-synchronous parallel process algebra. (English)Zbl 1112.68105

MSC:  68Q85 68Q10 68N19
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3