Search Results - Theory of computation → Parallel algorithms
-
1
Authors:
Source: ACM Transactions on Mathematical Software. 46(4)
Subject Terms: 46 Information and Computing Sciences (for-2020), 4601 Applied Computing (for-2020), Eigenvalues, parallel eigenvalue algorithms, self-consistent field, shift-invert spectrum slicing, math.NA, math.NA, cs.DC, cs.NA, physics.comp-ph, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)
Access URL: https://escholarship.org/uc/item/8wq6g5t4
-
2
Authors: von Davier, Matthias
Source: ETS Research Report Series. Nov 2016 (v).
Peer Reviewed: Y
Page Count: 13
-
3
Authors: Li, Daniel Thomas
Subject Terms: Computer science, graph algorithms, parallel algorithms, parallel bellman-ford, shared-memory algorithms, single source shortest paths, theory of computation
File Description: application/pdf
-
4
Authors:
Source: SIAM Journal on Computing. 50(3)
Subject Terms: Theory Of Computation, Applied Mathematics, Information and Computing Sciences, Numerical and Computational Mathematics, Mathematical Sciences, parallel algorithms, perfect matching, graph minors, mimicking networks, maximum flow, Pure Mathematics, Computation Theory and Mathematics, Computation Theory & Mathematics, Theory of computation, Applied mathematics, Numerical and computational mathematics
Access URL: https://escholarship.org/uc/item/6c3540wg
-
5
-
6
Authors: Roosta, Seyed H.
Source: Bibliogr. s. 535-546.
-
7
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
8
Authors: et al.
Source: ACM Transactions on Mathematical Software. 42(4)
Subject Terms: 46 Information and Computing Sciences (for-2020), 4903 Numerical and Computational Mathematics (for-2020), 49 Mathematical Sciences (for-2020), Design, Algorithms, Performance, HSS matrices, randomized sampling, ULV factorization, parallel algorithms, distributed-memory, cs.MS, cs.MS, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)
File Description: application/pdf
-
9
Authors: et al.
Source: Computer Graphics Forum. 41:519-527
Subject Terms: animated texture, CCS Concepts, GPU algorithm, Procedural texturing, slime mould, • Computing methodologies → Texturing, • Mathematics of computing → Geometric topology, • Theory of computation → Parallel algorithms, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
File Description: application/pdf
Access URL: https://hdl.handle.net/11573/1673351
-
10
Authors:
Source: SIAM Journal on Numerical Analysis, 1988 Feb 01. 25(1), 189-205.
Access URL: https://www.jstor.org/stable/2157374
-
11
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
12
Computational Learning Theory through a New Lens: Scalability, Uncertainty, Practicality, and beyond
Authors: Chen Wang
Source: ProQuest LLC. 2024Ph.D. Dissertation, Rutgers The State University of New Jersey, School of Graduate Studies.
Peer Reviewed: N
Page Count: 338
Descriptors: Computation, Learning Theories, Algorithms, Artificial Intelligence, Graphs, Privacy
-
13
Authors:
Source: Information Systems. Jun2011, Vol. 36 Issue 4, p808-823. 16p.
Subject Terms: *Multicore processors, *Computer software, *Databases, *Algorithms, *Information theory, Parallel algorithms
-
14
Authors: et al.
Source: International Journal of Parallel Programming. 37(4)
Subject Terms: Computer Science, Software Engineering/Programming and Operating Systems, Processor Architectures, Theory of Computation, IBM CELL, Biological computer vision, Parallel algorithms, Cognitive computing
File Description: application/pdf
-
15
Authors:
Source: ACM Transactions on Mathematical Software. 43(3)
Subject Terms: 46 Information and Computing Sciences (for-2020), 4601 Applied Computing (for-2020), Selected inversion, sparse direct method, distributed memory parallel, algorithm, high-performance computation, electronic structure theory, math.NA, math.NA, cs.DC, cs.NA, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)
Access URL: https://escholarship.org/uc/item/0p13r5v0
-
16
Authors: et al.
Source: Grantee Submission. 2024.
Peer Reviewed: Y
Page Count: 76
Sponsoring Agency: Institute of Education Sciences (ED)
Descriptors: Educational Assessment, Bayesian Statistics, Statistical Inference, Item Response Theory, Educational Testing, Algorithms, Computation, Accuracy, Achievement Tests, Foreign Countries, Secondary School Students, International Assessment, Data Collection, Data Analysis, Data Processing, Evaluation Methods
Assessment and Survey Identifiers: Program for International Student Assessment
IES Funded: Yes
-
17
Authors: Hivert, Florent
Contributors: Hivert, Florent
Source: Proceedings of the International Workshop on Parallel Symbolic Computation. :1-4
Subject Terms: [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], • Theory of computation → Parallel algorithms, Combinatorics, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], com- binatorics, CCS CONCEPTS • Mathematics of computing → Mathematical software per- formance, 0102 computer and information sciences, 0101 mathematics, Permutations and combinations, computer algebra, work-stealing, 01 natural sciences, KEYWORDS Multithreaded programming
-
18
Contributors:
Subject Terms: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
19
Contributors: Müller, Peter
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
20
Authors:
Contributors:
Source: Proceedings of the First International Workshop on Software Correctness for HPC Applications. :28-33
Subject Terms: • Theory of computation → Parallel algorithms, Ultra-large-scale systems, Software verification, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Dynamic analysis, Software and its engineering → Model checking, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Formal software verification, 16. Peace & justice
File Description: application/pdf
Access URL: https://hal.inria.fr/hal-01632421/file/McSimGrid-correctness17.pdf
https://inria.hal.science/hal-01632421v1/document
https://doi.org/10.1145/3145344.3145345
https://inria.hal.science/hal-01632421v1
https://hal.archives-ouvertes.fr/hal-01632421v1
https://doi.org/10.1145/3145344.3145345
https://dblp.uni-trier.de/db/conf/sc/correctness2017.html#PhamJQ17
https://hal.inria.fr/hal-01632421/document
https://dl.acm.org/doi/10.1145/3145344.3145345
https://hal.inria.fr/hal-01632421
Nájsť tento článok vo Web of Science 
Full Text Finder