Search Results - "Modes of Computation—Parallelism and concurrency"
-
1
Authors: et al.
Contributors: 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–805Subject 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 -
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Modes of Computation— Parallelism and concurrency, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Process models, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic— Temporal logic General Terms, Languages, Theory, Verification Additional Key Words and Phrases, True concurrency, causality, mu-calculus, behavioural equivalences, history-preserving bisimilarity, event structures
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed pro- gramming, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency General Terms Algorithms, Design, Theory Keywords Data Filtering, Dataflow, Architecturally Diverse Platforms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.620.8539; http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.1.4 [Processor Architectures, Parallel Architectures— distributed architectures, C.2.4 [Computer-Communication Networks, Distributed Systems, C.4 [Performance of Systems] — fault tolerance, D.4.1 [Operating Systems, Process Manage- ment—synchronization, F.1.2 [Computation by Abstract Devices, Modes of Computation— parallelism and concurrency General Terms, Algorithms, Performance, Reliability, Theory Additional Key Words and Phrases, Contention-sensitive complexity, wait-free algorithms, asyn- chronous shared-memory systems
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, E.1 [Data Structures, Arrays, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Sorting and searching, H.3.1 [Information Storage and Retrieval, Content Analysis and Indexing—Indexing methods
File Description: application/pdf
-
6
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.1.2 [Processor Architectures, Multiple Data Stream Architectures (Multiprocessors, Parallel processors, D.1.3 [Programming Techniques, Concurrent Programming, Parallel programming, D.4.1 [Operating Systems, Process Management—Multiprocessing/multiprogramming, Scheduling, F.1.2 [Conputation by Abstract Devices, Modes of Computation—Parallelism and concurrency General Terms, Algorithms, Design, Performance, Theory Additional Key Words and Phrases, Automatic parallelization, DAG, multiprocessors, parallel processing, software tools, static scheduling, task graphs
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.322.2295; http://www.dcc.fc.up.pt/~ines/aulas/0809/CG/papers/kwok.pdf
-
7
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems—distributed applications, distributed databases, network operating systems, C.4 [Per- formance of Systems, reliability, availability, and serviceability, D.1.3 [Programming Tech- niques, Concurrent programming—distributed programming, D.4.5 [Operating Systems, Re- liability—fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computa- tion—automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, H.2.4 [Database Management, Systems—con- currency, distributed systems, transaction processing General Terms, Algorithms, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broad- cast, Byzantine Generals ’ problem, commit problem, consensus problem
File Description: application/pdf
-
8
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, B.3.2 [Memory Structures, Design Styles-shared memory, C.1.2 [Processor Architectures, Multiple Data Stream Architectures, D.1.3 [Programming Techniques, Concurrent programming, D.2.1 [Software engineering, Requirements, D.4.2 [Operating Systems, Storage management-distributed memories, F.1.2 [Computation by Abstract Devices, Modes of computation-parallelism and concurrency General Term, Design, Theory Key Words, Concurrent Objects, Consistency Condition, Linearizability, Locality Property, Non-Blocking Property
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.417; http://www.ece.utexas.edu/~garg/dist/normality.ps.Z
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems|distributed applications, distributed databases, network operating systems, C.4 [Per- formance of Systems, reliability, availability, and serviceability, D.1.3 [Programming Tech- niques, Concurrent programming|distributed programming, D.4.5 [Operating Systems, Re- liability|fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computa- tion|automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation|parallelism and concurrency, H.2.4 [Database Management, Systems|con- currency, distributed systems, transaction processing General Terms, Algorithms, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broad- cast, Byzantine Generals &apos, problem, commit problem
File Description: application/pdf
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—geometrical problems and computations F.1.2 [Compu- tation by A, Modes of Computation—parallelism and concurrency General Terms, Algorithms, Theory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.237; http://www.cs.ucsb.edu/~suri/cs235/Rlist/wellSepPairDecom.pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.3 [Programming Techniques, Concurrent Programming—distributed program- ming, D.3.2 [Programming Languages, Language Classifications—concurrent, distributed, and parallel languages, F.1.2 [Computation by Abstract Devices, Modes of Computation— parallelism and concurrency General Terms, Languages, Theory Additional Key Words and Phrases, distributed predicates, distributed computing, snapshots
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7581; http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf
-
12
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Sys- tems—distributed applications, distributed databases, network operating systems, C.4 [Performance of Systems, —reliability, availability, and serviceability, D.1.3 [Programming Techniques, Concurrent programming—distributed programming, D.4.5 [Operating Systems, Reliability—fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computation—automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, H.2.4 [Database Management, Systems—concurrency, distributed systems, transaction processing General Terms, Algorithms, Reliability, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broadcast, Byzantine Generals ’ problem, commit problem
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.509.9085; http://spacegrant.colorado.edu/3cs/software/download/unreliable.pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, C.2[Computer- Communication Networks, Miscellaneous, B.3.2 [Memory Structures, Design Styles—shared memory General Terms Algorithms, Theory Keywords Common2, Wait-free, Stack, Queue, Consensus number 2, Unbounded concurrency, Immediate snapshot
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7446; http://www.cs.tau.ac.il/~adamx/podc06.pdf
-
14
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors C.1.2 [Processor Architectures, Multiple Data Stream Architectures (Multiprocessors) – multiple-instruction-stream, multiple-data-stream processors (MIMD, D.1.3 [Programming Techniques, Concurrent Programming – distributed programming, parallel programming, D.4.1 [Operating Systems, Process Management – scheduling, F.1.2 [Computation by Abstract Devices, Modes of Computation – parallelism and concurrency. General Terms Algorithms, Performance, Design. Keywords Genetic algorithm, parallel processing, scheduling, heterogeneous
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6257; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p2209.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency General Terms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.9205; http://www.ccrc.wustl.edu/~roger/papers/balc12.pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, B.6.3 [Logic Design, Design Aids—Automatic Synthesis, D.2.4 [Software Engineering, Software/Program Verification—Formal Methods, B.4.3 [Input/Output and Data Communication, Interconnections (Subsystems—Asynchronous/Synchronous Operations, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and Concurrency, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computability Theory, temporal logic General Terms, Algorithms, Theory, Verification Additional Key Words and Phrases, Church’s problem, Distributed Systems, Synthesis, Semi-commutations ACM Reference Format
File Description: application/pdf
Nájsť tento článok vo Web of Science