Výsledky vyhľadávania - Modes of computation-parallelism and concurrency General Term
-
1
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
3
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
4
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
5
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
7
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
8
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
9
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
10
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
11
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
12
Autori:
Prispievatelia:
Predmety: General Terms, Algorithms, Theory
Popis súboru: application/pdf
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, F.1.2 [Theory of Computation, Modes of Computation—parallelism, concurrency, F.3.2 [Theory of Computation, Logics and Meanings of Programs—operational semantics, I.2.4 [Computing Methodologies, Knowledge representation formalisms and methods—Modal logic General Terms, Security, Verification Additional Key Words and Phrases, Game semantics, schedulers, epistemic logic, process
Popis súboru: application/pdf
-
17
Autori:
Prispievatelia:
Zdroj: http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf.
Predmety: H.5.3 [Information Interfaces and Presentation, Group and Orga- nization Interfaces—Theory and models, Web-based interaction General Terms Languages, Standardization, Theory Keywords Web services, contracts, concurrency theory, CCS, must testing, type theory, subtyping, explicit coercions
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.5657; http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf
Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.5657
http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf -
18
Autori:
Zdroj: Journal of the ACM; Feb2012, Vol. 59 Issue 1, p3-3:49, 49p
-
19
Autori: a ďalší
Zdroj: ACM Transactions on Architecture & Code Optimization; Jun2025, Vol. 22 Issue 2, p1-26, 26p
-
20
REC: REtime Convolutional Layers to Fully Exploit Harvested Energy for ReRAM-based CNN Accelerators.
Autori:
Zdroj: ACM Transactions on Embedded Computing Systems; Nov2024, Vol. 23 Issue 6, p1-25, 25p
Nájsť tento článok vo Web of Science 
Full Text Finder