Výsledky vyhledávání - "F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency"

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

Autoři: Beek, Maurice ter Carmona Vargas, Josep Kleijn, Jetty a další

Přispěvatelé: Beek, Maurice ter Carmona Vargas, Josep Kleijn, Jetty a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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.

Autoři: CASTAÑEDA, ARMANDO RAJSBAUM, SERGIO

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

Témata: COMBINATORIAL topology, MATHEMATICAL bounds, COMPUTABLE functions, DISTRIBUTED computing, MACHINE theory, ALGORITHMS, COMPUTER programming

Linear Work Suffix Array Construction.

Autoři: Kärkkäinen, Juha Sanders, Peter Burkhardt, Stefan

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

Témata: ALGORITHMS, C++, MEMORY, ALGEBRA, PROGRAMMING languages

Concurrent Zero-Knowledge.

Autoři: Dwork, Cynthia Naor, Moni Sahai, Amit

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

Témata: LANGUAGE & languages, AUTHENTICATION (Law), KEYSTROKE timing authentication, THEORY of knowledge, INFORMATION theory

Experiences in Initiating Concurrency Software Research Efforts.

Autoři: Harper, K. Eric Jiang Zheng Mahate, Shakeel

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

Témata: COMPUTER software, MOTHERBOARDS, COMPUTER programming, HIGH technology industries, COMPUTER architecture

Epistemic Strategies and Games on Concurrent Processes.

Autoři: CHATZIKOKOLAKIS, KONSTANTINOS KNIGHT, SOPHIA PALAMIDESSI, CATUSCIA a další

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

Témata: GAME-theoretical semantics, EPISTEMIC logic, PROBABILITY theory, MATHEMATICAL models, COMPUTER scheduling, ALGEBRA, INFORMATION theory

Detecting Locally Distributed Predicates.

Autoři: DE ROSA, MICHAEL GOLDSTEIN, SETH COPEN LEE, PETER a další

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

Témata: ROBOTICS, DEBUGGING, DISTRIBUTED computing, EMPIRICAL research, ALGORITHMS, SPARSE matrices, SYSTEMS theory

DESIGNING A FAULT-TOLERANT JINI COMPUTE SERVER.

Autoři: LAZĂR, IOAN

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

DESIGNING A FAULT-TOLERANT JINI COMPUTE SERVER.

Autoři: LAZĂR, IOAN

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