Search Results - "F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism AND concurrency"

Conditions for Compatibility of Components: The Case of Masters and Slaves

Authors: Beek, Maurice ter Carmona Vargas, Josep Kleijn, Jetty et al.

Contributors: Beek, Maurice ter Carmona Vargas, Josep Kleijn, Jetty et al.

Source: Lecture Notes in Computer Science ISBN: 9783319471655
Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 784–805, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Carmona J.; Kleijn J./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:784/pagina_a:805/intervallo_pagine:784–805

Subject Terms: Màquines, Teoria de, Communication behaviour, Reactive components, Construction engineering, H.3.4 INFORMATION STORAGE AND RETRIEVAL. Systems and Software. Distributed systems, F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency, 0102 computer and information sciences, 02 engineering and technology, Compatibility, 01 natural sciences, Machine theory, Team automata, Systems-of-systems, Correct communications, 0202 electrical engineering, electronic engineering, information engineering, F.1.1 COMPUTATION BY ABSTRACT DEVICES. Models of Computation. Automata, Multi-component systems, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Automata theory, Multicomponent systems, E.4 CODING AND INFORMATION THEORY. Formal models of communication, Master-slave synchronisations, Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Correctby, Program verification, Synchronisation policy, Correct-by-construction

File Description: application/pdf

Access URL: https://upcommons.upc.edu/bitstream/2117/100199/3/ISoLA2016_086_final_v1-1.pdf
http://hdl.handle.net/2117/100199
https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_55
https://upcommons.upc.edu/bitstream/2117/100199/3/ISoLA2016_086_final_v1-1.pdf
https://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekCK16
https://upcommons.upc.edu/handle/2117/100199

New Combinatorial Topology Bounds for Renaming: The Upper Bound.

Authors: CASTAÑEDA, ARMANDO RAJSBAUM, SERGIO

Source: Journal of the ACM; Feb2012, Vol. 59 Issue 1, p3-3:49, 49p

Subject Terms: COMBINATORIAL topology, MATHEMATICAL bounds, COMPUTABLE functions, DISTRIBUTED computing, MACHINE theory, ALGORITHMS, COMPUTER programming

Linear Work Suffix Array Construction.

Authors: Kärkkäinen, Juha Sanders, Peter Burkhardt, Stefan

Source: Journal of the ACM; Nov2006, Vol. 53 Issue 6, p918-936, 19p

Subject Terms: ALGORITHMS, C++, MEMORY, ALGEBRA, PROGRAMMING languages

Concurrent Zero-Knowledge.

Authors: Dwork, Cynthia Naor, Moni Sahai, Amit

Source: Journal of the ACM; Nov2004, Vol. 51 Issue 6, p851-898, 48p, 2 Diagrams

Subject Terms: LANGUAGE & languages, AUTHENTICATION (Law), KEYSTROKE timing authentication, THEORY of knowledge, INFORMATION theory

Experiences in Initiating Concurrency Software Research Efforts.

Authors: Harper, K. Eric Jiang Zheng Mahate, Shakeel

Source: ICSE: International Conference on Software Engineering; 2010, p139-148, 10p, 3 Diagrams, 1 Chart, 1 Graph

Subject Terms: COMPUTER software, MOTHERBOARDS, COMPUTER programming, HIGH technology industries, COMPUTER architecture

Epistemic Strategies and Games on Concurrent Processes.

Authors: CHATZIKOKOLAKIS, KONSTANTINOS KNIGHT, SOPHIA PALAMIDESSI, CATUSCIA et al.

Source: ACM Transactions on Computational Logic; Oct2012, Vol. 13 Issue 4, p1-35, 35p

Subject Terms: GAME-theoretical semantics, EPISTEMIC logic, PROBABILITY theory, MATHEMATICAL models, COMPUTER scheduling, ALGEBRA, INFORMATION theory

Detecting Locally Distributed Predicates.

Authors: DE ROSA, MICHAEL GOLDSTEIN, SETH COPEN LEE, PETER et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; 2011, Vol. 6 Issue 2, p13-13:14, 14p, 2 Diagrams, 2 Charts

Subject Terms: ROBOTICS, DEBUGGING, DISTRIBUTED computing, EMPIRICAL research, ALGORITHMS, SPARSE matrices, SYSTEMS theory

DESIGNING A FAULT-TOLERANT JINI COMPUTE SERVER.

Authors: LAZĂR, IOAN

Source: Studia Universitatis Babeş-Bolyai, Informatica; 2001, Vol. 46 Issue 2, p81-90, 10p

DESIGNING A FAULT-TOLERANT JINI COMPUTE SERVER.

Authors: LAZĂR, IOAN

Source: Studia Universitatis Babeş-Bolyai, Informatica; 1999, Vol. 44 Issue 2, p81-90, 10p