Suchergebnisse - "F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism AND concurrency~"

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

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

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

Quelle: 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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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.

Autoren: CASTAÑEDA, ARMANDO RAJSBAUM, SERGIO

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

Schlagwörter: COMBINATORIAL topology, MATHEMATICAL bounds, COMPUTABLE functions, DISTRIBUTED computing, MACHINE theory, ALGORITHMS, COMPUTER programming

Linear Work Suffix Array Construction.

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

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

Schlagwörter: ALGORITHMS, C++, MEMORY, ALGEBRA, PROGRAMMING languages

Concurrent Zero-Knowledge.

Autoren: Dwork, Cynthia Naor, Moni Sahai, Amit

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

Schlagwörter: LANGUAGE & languages, AUTHENTICATION (Law), KEYSTROKE timing authentication, THEORY of knowledge, INFORMATION theory

Experiences in Initiating Concurrency Software Research Efforts.

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

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

Schlagwörter: COMPUTER software, MOTHERBOARDS, COMPUTER programming, HIGH technology industries, COMPUTER architecture

Epistemic Strategies and Games on Concurrent Processes.

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

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

Schlagwörter: GAME-theoretical semantics, EPISTEMIC logic, PROBABILITY theory, MATHEMATICAL models, COMPUTER scheduling, ALGEBRA, INFORMATION theory

Detecting Locally Distributed Predicates.

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

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

Schlagwörter: ROBOTICS, DEBUGGING, DISTRIBUTED computing, EMPIRICAL research, ALGORITHMS, SPARSE matrices, SYSTEMS theory

DESIGNING A FAULT-TOLERANT JINI COMPUTE SERVER.

Autoren: LAZĂR, IOAN

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

DESIGNING A FAULT-TOLERANT JINI COMPUTE SERVER.

Autoren: LAZĂR, IOAN

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