Výsledky vyhľadávania - theory of parallel and distributed computation

Distributed Augmentation, Hypersweeps, and Branch Decomposition of Contour Trees for Scientific Exploration

Autori: Li, Mingzhe Carr, Hamish Rübel, Oliver a ďalší

Zdroj: IEEE Transactions on Visualization and Computer Graphics. 31(1)

Predmety: 46 Information and Computing Sciences (for-2020), 4606 Distributed Computing and Systems Software (for-2020), 4607 Graphics, Augmented Reality and Games (for-2020), branch decomposition, Contour trees, parallel algorithms, computational topology, computational topology, topological data analysis, topological data analysis, computational topology, topological data analysis, 0801 Artificial Intelligence and Image Processing (for), 0802 Computation Theory and Mathematics (for), Software Engineering (science-metrix), 46 Information and computing sciences (for-2020)

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/3sk2v71s
https://escholarship.org/content/qt3sk2v71s/qt3sk2v71s.pdf

A Distributed-Memory Algorithm for Computing a Heavy-Weight Perfect Matching on Bipartite Graphs

Autori: Azad, Ariful Buluç, Aydin Li, Xiaoye S a ďalší

Zdroj: SIAM Journal on Scientific Computing. 42(4)

Predmety: bipartite graphs, matching, parallel algorithms, graph theory, transversals, cs.DC, Applied Mathematics, Numerical and Computational Mathematics, Computation Theory and Mathematics, Numerical & Computational Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/7403v6r9
https://escholarship.org/content/qt7403v6r9/qt7403v6r9.pdf

Global vs. s-t Vertex Connectivity Beyond Sequential: Almost-Perfect Reductions and Near-Optimal Separations

Autori: Blikstad, Joakim Jiang, Yonggang Mukhopadhyay, Sagnik a ďalší

Zdroj: STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing. :2305-2316

Predmety: Algorithmic Graph Theory, Distributed Computation, Parallel Computation, Vertex Connectivity

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368914

nesC-TinyOS model for parallel and distributed computation of max independent set by Hopfield network on wireless sensor network

Autori: Li, Jiakai Serpen, Gursel

Zdroj: Procedia Computer Science. Dec2011, Vol. 6, p396-401. 6p.

Predmety: Computer operating systems, Parallel computers, Distributed computing, Graph theory, Wireless sensor networks, Artificial neural networks, Mathematical optimization, Electric network topology

Parallel and distributed computations of maximum independent set by a Hopfield neural net embedded into a wireless sensor network

Autori: Serpen, Gursel Li, Jiakai

Zdroj: Procedia Computer Science. Dec2011, Vol. 6, p390-395. 6p.

Predmety: Wireless sensor networks, Parallel computers, Graph theory, Computer input-output equipment, Artificial neural networks, Mathematical optimization, Distributed computing, Simulation methods & models

Algorithms for Big Data

Prispievatelia: Bast, Hannah Korzen, Claudius Meyer, Ulrich a ďalší

Predmety: computer hardware, computer networks, computer programming, computer science, computer systems, directed graphs, distributed computer systems, distributed systems, engineering, graph theory, graphic methods, internet, mathematics, microprocessor chips, network protocols, parallel processing systems, processors, signal processing, telecommunication systems, theoretical computer science, Network hardware, Algorithms and data structures, Mathematical theory of computation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/61296

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Groote, Jan Friso Larsen, Kim Guldstrand

Predmety: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48219

Scheduling computations

Autori: Rito, Guilherme Miguel Teixeira Paulino, Hervé RUN

Prispievatelia: Rito, Guilherme Miguel Teixeira Paulino, Hervé RUN

Predmety: Scheduling algorithms, Randomized algorithms, Parallel computing, Distributed computing, Dynamic load balancing, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10362/166873

Owicki-Gries Theory: A Possible Way of Relating Grammar Systems to Concurrent Programs

Autori: Grando, María Adela

Zdroj: Triangle: llenguatge, literatura, computació; Núm. 8 (2012); 19-41

Predmety: language, literature, computation

Popis súboru: application/pdf

Relation: http://www.raco.cat/index.php/triangle/article/view/388844/482312

Prístupová URL adresa: http://www.raco.cat/index.php/triangle/article/view/388844

Programming Languages and Systems

Prispievatelia: Müller, Peter

Predmety: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, Programming and scripting languages: general, Computer networking and communications, Algorithms and data structures, Natural language and machine translation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37721

Computer Aided Verification

Prispievatelia: Lahiri, Shuvendu K. Wang, Chao

Predmety: Software Engineering, Theory of Computation, Computer Systems Organization and Communication Networks, Artificial Intelligence, Information Systems and Communication Service, Computer Hardware, Computer Engineering and Networks, Database Management System, architecture verification and validation, artificial intelligence, computer hardware, computer networks, computer programming, computer systems, data security, distributed computer systems, embedded systems, formal logic, linguistics, model checking, network protocols, parallel processing systems, signal processing, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Computer networking & communications, Artificial intelligence, Computer hardware, Computer networking and communications

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/41295

Fast-Lipschitz Optimization With Wireless Sensor Networks Applications

Autori: Fischione, Carlo

Zdroj: TRENoP, Transport Research Environment with Novel Perspectives IEEE Transactions on Automatic Control. 56(10):2319-2331

Predmety: Convex and non-convex optimization, distributed optimization, interference function theory, multi-objective optimization, parallel and distributed computation, wireless sensor networks

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-45590

Fast Deterministic Parallel Branch-and-Bound

Autori: Kieran T. Herley Andrea Pietracaprina Geppino Pucci a ďalší

Prispievatelia: Kieran T. Herley Andrea Pietracaprina Geppino Pucci a ďalší

Zdroj: http://www.dei.unipd.it/~capri/PAPERS/ppl99.ps.Z.

Predmety: Algorithms and data structures, theory of parallel and distributed computation, combinatorial optimization, dynamic load-balancing

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8119; http://www.dei.unipd.it/~capri/PAPERS/ppl99.ps.Z

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8119
http://www.dei.unipd.it/~capri/PAPERS/ppl99.ps.Z

Generalized Precedence-Based Queueing Systems

Autori: Liu, Zhen Baccelli, François

Zdroj: Mathematics of Operations Research, 1992 Aug 01. 17(3), 615-639.

Prístupová URL adresa: https://www.jstor.org/stable/3689753

Estimation of Volume Rendering Efficiency with GPU in a Parallel Distributed Environment.

Autori: Montea,b,c, Cristian Federico Perez Piccolib, Fabiana Lucianod, Cristian a ďalší

Zdroj: Procedia Computer Science. Apr2013, Vol. 18, p1402-1411. 10p.

Predmety: Volume rendering (Scientific visualization), Estimation theory, Graphics processing units, Parallel computers, Diagnostic imaging, Data analysis

Parallel attribute reduction in high-dimensional data: An efficient MapReduce strategy with fuzzy discernibility matrix.

Autori: Sowkuntla, Pandu Sai Prasad, P.S.V.S.

Zdroj: Applied Soft Computing. Mar2025, Vol. 172, pN.PAG-N.PAG. 1p.

Predmety: Rough sets, Set theory, Data reduction, Fuzzy sets, Fuzzy measure theory

ADMM Algorithm for Distributed Computation of Block Chain System and Application in Active Distribution Network

Autori: Dongdong ZHOU Yibo LI Anqi YANG a ďalší

Zdroj: 发电技术, Vol 40, Iss 2, Pp 115-121 (2019)

Predmety: distribution network, optimal power flow, distributed optimization, relaxation technique, Applications of electric power, TK4001-4102, Production of electric energy or power. Powerplants. Central stations, TK1001-1841, Science

Popis súboru: electronic resource

Relation: https://www.pgtjournal.com/EN/10.12096/j.2096-4528.pgt.18243; https://doaj.org/toc/2096-4528

Prístupová URL adresa: https://doaj.org/article/142df562f70e4ab4ae99c316967a65b1

Compositional Development in the Event of Interface Difference

Autori: Jonathan Burton Maciej Koutny Giuseppe Pappalardo a ďalší

Prispievatelia: Jonathan Burton Maciej Koutny Giuseppe Pappalardo a ďalší

Zdroj: http://www.cs.ncl.ac.uk/research/trs/papers/752.pdf.

Predmety: Theory of parallel and distributed computation, behaviour abstraction, communicating sequential processes, compositionality

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.4614; http://www.cs.ncl.ac.uk/research/trs/papers/752.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.4614
http://www.cs.ncl.ac.uk/research/trs/papers/752.pdf

Divide-and-Conquer Algorithms on the Hypercube

Autori: Ernst W. Mayr Ralph Werchner The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Ernst W. Mayr Ralph Werchner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.informatik.uni-frankfurt.de/~roessner/group/werchner/papers/tcs.ps.

Predmety: Theory of Parallel and Distributed Computation, Algorithms and Data Structures, Divide-and-Conquer, Hypercube, Subcube Allocation

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5929

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5929
http://www.informatik.uni-frankfurt.de/~roessner/group/werchner/papers/tcs.ps

On the Complexity of Deadlock Detection in Families of Planar Nets

Autori: Bruno Durand Anne-Cécile Fabret The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Bruno Durand Anne-Cécile Fabret The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR95/RR95-22.ps.Z

Predmety: computational complexity, theory of parallel and distributed computation, automata graphs, tilings, deadlock

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7211

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7211