Search references for PARALLEL COMPUTATION-THESIS. Phrases containing PARALLEL COMPUTATION-THESIS
See searches and references containing PARALLEL COMPUTATION-THESIS!PARALLEL COMPUTATION-THESIS
Hypothesis in computational complexity theory
In computational complexity theory, the parallel computation thesis is a hypothesis which states that the time used by a (reasonable) parallel machine
Parallel_computation_thesis
Software application of the concept of reversible computing
which was utilized in parallel discrete event simulations, known as Time Warp. To date, the technique known as Reverse Computation has only been applied
Reverse_computation
Subfield of computer science and mathematics
algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information
Theoretical_computer_science
Amount of resources to perform an algorithm
computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation
Computational_complexity
Inherent difficulty of computational problems
complexity) and the number of processors (used in parallel computing). One of the roles of computational complexity theory is to determine the practical
Computational complexity theory
Computational_complexity_theory
Model of concurrent computation
mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation. In response to a message it receives
Actor_model
Ability of a computing system to simulate Turing machines
model of computation, a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing-complete or computationally universal
Turing_completeness
Sequence of operations for a task
typically used to solve a class of specific problems or to perform a computation. Algorithms are used as specifications for performing calculations and
Algorithm
Computation model defining an abstract machine
for the Church–Turing thesis. This thesis states that Turing machines, lambda calculus, and other similar formalisms of computation do indeed capture the
Turing_machine
Abstract computation model
more general form of these relationships is expressed by the parallel computation thesis. An alternating Turing machine with k alternations is an alternating
Alternating_Turing_machine
Abstract computer for designing parallel algorithms
solving them in parallel. The introduction of the formal 'P-RAM' model in Wyllie's 1979 thesis had the aim of quantifying analysis of parallel algorithms in
Parallel_RAM
Ability to solve a problem by an effective procedure
hand. General models of computation equivalent to a Turing machine (see Church–Turing thesis) include: Lambda calculus A computation consists of an initial
Computability
Problem of finding obscured edges in a wire-frame 3D model
output-sensitive hidden surface removal algorithm and its parallelization. In Proc. 4th Annual Symp. on Computational Geometry, SCG ’88, pp. 193–200, New York, NY
Hidden-line_removal
Israeli computer scientist and mathematician
science in areas including randomized computation, cryptography, circuit complexity, proof complexity, parallel computation, and our understanding of fundamental
Avi_Wigderson
British American computer scientist
he formulated the concept of bulk synchronous computation as a unifying principle for parallel computation. Leslie received the Nevanlinna Prize in 1986
Leslie_Valiant
American computer scientist
Foundation’s Doctoral Thesis Award. 1982 ACM Doctoral Dissertation Award for his Ph.D. thesis, Area-Efficient VLSI Computation 1985 National Science Foundation
Charles_E._Leiserson
made between the processes of computation and deduction, is misleading". Robert Kowalski developed the thesis that computation could be subsumed by deduction
Indeterminacy in concurrent computation
Indeterminacy_in_concurrent_computation
Design technique for parallel algorithms
Wylie, James C. (1979). "Chapter 4: Computational Structures". The Complexity of Parallel Computations (Thesis). Cornell University. Shiloach, Yossi;
Pointer_jumping
Computer programming paradigm
stream processing paradigm simplifies parallel software and hardware by restricting the kinds of parallel computation that can be performed. Given a sequence
Stream_processing
Computer scientist and quantum computing researcher
(2003). Complexity analysis and semantics for quantum computation. imperial.ac.uk (PhD thesis). Imperial College London. hdl:10044/1/11786. OCLC 1001162468
Elham_Kashefi
Type of cryptographic algorithm
effectiveness of parallel computing. In order to evaluate the function using less memory, a significant time penalty is incurred. As each MHF computation requires
Memory-hard_function
computing refers to computational systems that use very large numbers of identical, parallel processors each having limited computational ability and local
Amorphous_computing
Methods that imitate, replicate or use natural processes
Natural computing, also called natural computation, is a terminology introduced to encompass three classes of methods: 1) those that take inspiration
Natural_computing
Family of approaches for modelling concurrent systems
distinguishing the process calculi from sequential models of computation. Parallel composition allows computation in P {\displaystyle {\mathit {P}}} and Q {\displaystyle
Process_calculus
Optimization technique
Algorithms". Caltech Concurrent Computation Program (report 826). Cantú-Paz, Erick (2001). Efficient and Accurate Parallel Genetic Algorithms. Genetic Algorithms
Metaheuristic
Parallel programming model
available. Another way to look at MapReduce is as a 5-step parallel and distributed computation: Prepare the Map() input – the "MapReduce system" designates
MapReduce
Evolutionary computation conference
Genetic and Evolutionary Computation Conference (GECCO) is a peer-reviewed technical conference in the area of evolutionary computation, broadly interpreted
Genetic and Evolutionary Computation Conference
Genetic_and_Evolutionary_Computation_Conference
Competitive algorithm for searching a problem space
Proceedings of the International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature: 78–87. ISBN 3-540-58484-6
Genetic_algorithm
Machines: an abstract model of parallel computation for Turing Machines, the Game of Life, and Artificial Neural Networks, M.S. Thesis, Carnegie Mellon University
History of the Church–Turing thesis
History_of_the_Church–Turing_thesis
Models of computation
Hypercomputation or super-Turing computation is a set of hypothetical models of computation that can provide outputs that are not Turing-computable. For
Hypercomputation
Method of solving differential equations
James H., Joseph E. Pasciak, and Jinchao Xu. "Parallel multilevel preconditioners." Mathematics of Computation 55, no. 191 (1990): 1–22. Xu, Jinchao. "Iterative
Multigrid_method
British physicist and computer scientist
switched to computer science in 1985, and in 1986 became professor of computation in the Department of Electronics and Computer Science at Southampton
Tony_Hey
ISBN 0-89791-133-4, S2CID 17475781. Wyllie, J. C. (1979), The Complexity of Parallel Computation, Ph.D. thesis, Department of Computer Science, Cornell University.
List_ranking
Problem in linear algebra
linear algebra, the computation of the permanent of a matrix is a problem that is thought to be more difficult than the computation of the determinant
Computing_the_permanent
American computer scientist (1931–2026)
Models for Computation Computation Structures Structure of Computer Systems Semantic Theory for Computer Systems Semantics of Parallel Computation Computer
Jack_Dennis
Thought experiment on artificial intelligence
argument is against the thesis that "has since come to be called 'computationalism,' according to which cognition is just computation, hence mental states
Chinese_room
American computer scientist (born 1950)
of Engineering for contributions to numerical software, parallel and distributed computation, and problem-solving environments. In 2023, Dongarra was
Jack_Dongarra
Sequence in computer science
1016/S0019-9958(86)80023-7 Ladner, R. E.; Fischer, M. J. (1980), "Parallel Prefix Computation", Journal of the ACM, 27 (4): 831–838, CiteSeerX 10.1.1.106.6247
Prefix_sum
American engineer, scientist, inventor, and entrepreneur
and genetic engineering, and for his contributions to parallel tempering methods in computational science. Deem received a Bachelor of Science degree with
Michael_W._Deem
Italian computer scientist
for his 1985 book "Computational Geometry: An Introduction" into which he blended salient parts of M. I. Shamos' doctoral thesis (Shamos appears as a
Franco_P._Preparata
Optimization algorithm
optimization algorithm (ACO) is a probabilistic technique for solving computational problems that can be reduced to finding good paths through graphs. Artificial
Ant colony optimization algorithms
Ant_colony_optimization_algorithms
Computational method in Bayesian statistics
Approximate Bayesian computation (ABC) constitutes a class of computational methods rooted in Bayesian statistics that can be used to estimate the posterior
Approximate Bayesian computation
Approximate_Bayesian_computation
Measure method in computational geometry
authors list (link) Pirzadeh, Hormoz (1999). Computational geometry with the rotating calipers (Master's thesis). McGill University. Binay K. Bhattacharya
Rotating_calipers
Overview of and topical guide to algorithms
computed Church–Turing thesis — thesis concerning the nature of effective computation Turing machine — model formalizing computation Lambda calculus — formal
Outline_of_algorithms
Iterative simulation method
In computational science, particle swarm optimization (PSO) is a computational method that optimizes a problem by iteratively trying to improve a population
Particle_swarm_optimization
mathematical model of concurrent computation. The Actor model treats "Actors" as the universal primitives of concurrent digital computation: in response to a message
Actor model and process calculi history
Actor_model_and_process_calculi_history
theory of computation that deals with what can be computed, in principle. Computational complexity theory deals with how hard computations are, in quantitative
List of computability and complexity topics
List_of_computability_and_complexity_topics
Population models of evolutionary algorithms
Rates, and Multi-Population Parallel Genetic Algorithms", Proc. of the 1st Annual Conf. on Genetic and Evolutionary Computation (GECCO), pp. 91–98 Belkadi
Population model (evolutionary algorithm)
Population_model_(evolutionary_algorithm)
Class in computational complexity theory
In computational complexity theory, the class NC (for "Nick's Class") is the set of decision problems decidable in polylogarithmic time on a parallel computer
NC_(complexity)
American computer scientist
Cynthia (1983). Bounds on Fundamental Problems in Parallel and Distributed Computation. cornell.edu (PhD thesis). Cornell University. hdl:1813/6427. OCLC 634017620
Cynthia_Dwork
Class of data processing algorithms
Machine, Ph.D. Thesis Wellein, G et al. (2009) Efficient temporal blocking for stencil computations by multicore-aware wavefront parallelization, 33rd Annual
Iterative_Stencil_Loops
type theory and constructive mathematics, computational complexity theory, and algorithmics. His Ph.D. thesis, The Program Complexity of Searching a Table
Harry_Mairson
Attempts to formalize the concept of algorithms
But this equivalence together with the thesis (unproven assertion) that this includes every calculation/computation indicates why so much emphasis has been
Algorithm_characterizations
Higher education institution
particularly known for research in the areas of artificial intelligence, computational linguistics, systems biology, mathematical logic and theoretical computer
School of Informatics, University of Edinburgh
School_of_Informatics,_University_of_Edinburgh
American computer scientist (1943–2012)
satisfaction, case-based reasoning and the application of massively parallel computation to AI problems. He held positions in academia and industry and at
David_Waltz
of Parallel Processes (Research Report). Retrieved March 9, 2022. Baker, Henry (January 1978). Actor Systems for Real-Time Computation (PhD thesis). Massachusetts
Unbounded_nondeterminism
British-American scientist (born 1959)
A New Kind of Science, which presents an empirical study of simple computational systems. It argues that for fundamental reasons these types of systems
Stephen_Wolfram
American computer scientist
topics in computer science, including graph isomorphism, parallel algorithms, computational geometry and scientific computing. His most recent focus on
Gary Miller (computer scientist)
Gary_Miller_(computer_scientist)
Ray tracing software
"SPEC MPI2007—an application benchmark suite for parallel systems using MPI". Concurrency and Computation: Practice and Experience. 22 (2): 191–205. doi:10
Tachyon_(software)
Chinese-American computer scientist (born 1944)
mathematical computation. He has conducted over forty research projects. His research mainly focuses on Symbolic and Algebraic Computation (SAC), automatic
Paul_S._Wang
American computer scientist
Algorithm for Continually Running Fully Recurrent Neural Networks". Neural Computation. 1 (2): 270–280. doi:10.1162/neco.1989.1.2.270. ISSN 0899-7667. R. J
Ronald_J._Williams
American computer scientist
development of data flow computer architecture. His thesis described parallel programming language, parallel processor computer and a basis for a network architecture
James_Rumbaugh
Subset of evolutionary computation
population-based bio-inspired algorithms and evolutionary computation, which itself are part of the field of computational intelligence. The mechanisms of biological
Evolutionary_algorithm
American computer scientist
and Y. Gurevich. Abstract State Machines Capture Parallel Algorithms. ACM Transactions on Computational Logic 4(4), 2003, 578–651, and 9(3), 2008, article
Yuri_Gurevich
Indian computer scientist (1947–2024)
high-level specification and description of architectures and protocols. The Computation Structures Group at MIT, which he headed, uses TRSs to design faster
Arvind_(computer_scientist)
American computer scientist (born 1942)
fields of distributed computing, parallel computing, cryptography, algorithms and data structures, and computational complexity. Fischer was born in 1942
Michael_J._Fischer
Computer optimization technique
January 2011. Randy B. Osborne (1990-03-21). "Speculative Computation in Multilisp". Parallel Lisp: Languages and Systems (PS). Lecture Notes in Computer
Speculative_execution
British neuroscientist and psychologist
neurophysiology into new models of visual processing. His work was influential in computational neuroscience and led to a resurgence of interest in the discipline.
David_Marr_(scientist)
American computational psychologist
Sciences department. O'Reilly's research is aimed at developing detailed computational models of the biological basis of cognition. He is most famous for developing
Randall_C._O'Reilly
American computer scientist (1935–2011)
professor at Yale University. Fischer's thesis research concerned the effects of different models of computation on the efficiency of solving problems.
Patrick_C._Fischer
American computer scientist
the algorithmic foundations of motion planning, computational biology, computational geometry and parallel computing. Amato is the Abel Bliss Professor of
Nancy_M._Amato
created using machine learning to perform a number of tasks. While the computational implementations of ANNs relate to earlier discoveries in mathematics
History of artificial neural networks
History_of_artificial_neural_networks
prioritized and immediate access on supercomputers and grids for emergency computations such as severe weather prediction during matters of immediate concern
Urgent_computing
Framework for studying interactive computational tasks through logic
of B1,...,Bn. CoL formulates computational problems in their most general—interactive—sense. CoL defines a computational problem as a game played by a
Computability_logic
Estimate of time taken for running an algorithm
In theoretical computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm
Time_complexity
British scientist
indexed by Google Scholar Blake, Andrew (1984). Parallel computation in low-level vision. ethos.bl.uk (PhD thesis). University of Edinburgh. hdl:1842/6632.
Andrew Blake (computer scientist)
Andrew_Blake_(computer_scientist)
Integer in Ramsey theory
Clusters with an Extension to Multi-Cluster Computation and Sat Benchmark Problem Implementation (Ph.D. thesis). University of Cincinnati. Ahmed, Tanbir
Van_der_Waerden_number
Mathematical-logic system
calculus (also written as λ-calculus) is a formal system for expressing computation based on function abstraction and application using variable binding
Lambda_calculus
South African electrical engineer
his PhD from Stellenbosch University in 1991 with a thesis on parallel processing for computational electromagnetics. In 1992 he was appointed associate
David_Bruce_Davidson
Taiwanese computer scientist
research focused on computational complexity and parallel computation. His doctoral dissertation was titled, "Topics in Analytic Computation Complexity". In
H._T._Kung
Basic circuit in quantum computing
In quantum computing and specifically the quantum circuit model of computation, a quantum logic gate (or simply quantum gate) is a basic quantum circuit
Quantum_logic_gate
American mathematician and educator
abstract and algorithmic graph theory, as well as data visualization and parallel computing. Dean received his B.S. in Mathematics and Physics from Mississippi
Nathaniel Dean (mathematician)
Nathaniel_Dean_(mathematician)
Blueprint for intelligent agents
human mind and a computational instantiation of such a theory used in the fields of artificial intelligence (AI) and computational cognitive science
Cognitive_architecture
Russian computer scientist (1962–2026)
Sciences degree in Physics and Mathematics in 1989 for a thesis entitled «Macroanalysis of Parallel Structure of Sequential Programs and Algorithms». In 1990
Vladimir_Voevodin
American computer scientist (1945–2020)
McMillan's Ph.D. thesis, which received an ACM Doctoral Dissertation Award. In addition, his research group developed the first parallel resolution theorem
Edmund_M._Clarke
to define any sequential computation and could be easily adapted to parallel computations. The reducibility of all computations to λ-calculus allows these
Computable_topology
Component of a computer process
models such as CUDA designed for data parallel computation, an array of threads run the same code in parallel using only its ID to find its data in memory
Thread_(computing)
British computer scientist
Symposium on Parallel Algorithms and Architectures (SPAA 2003), 101–108 (2003). L.A. Goldberg, M. Jerrum and M. Paterson, The computational complexity of
Mike_Paterson
Australian physicist
S2CID 124694221. "When parallel worlds collide ... Quantum mechanics is born". 24 October 2014. "Wiseman, Author at CQC2T". Wiseman's thesis "The Australian
Howard_M._Wiseman
Canadian computer scientist and logician (1939–2002)
Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, New
Raymond_Reiter
American data scientist
2015-10-30. "Werner Krebs". Yaetdo. Retrieved 2015-10-30. "Heckman's Computation Center". University of Chicago. Archived from the original on April 22
Werner_G._Krebs
18-bit computer from Digital, 1966
computer (MSc thesis). University of Arizona. Wokhlu, Roop Krishen (1969). The logic design of a PDP-9 controlled parallel computer (MSc thesis). University
PDP-9
American politician and academic
with a thesis on "Concentrator Switches for Routing Messages in Parallel Computers" and his PhD with a thesis on "Virtual Memory for Data-Parallel Computing"
Thomas_H._Cormen
American-Canadian computer scientist, contributor to complexity theory
complexity, with excursions into programming language semantics, parallel computation, and artificial intelligence. Other areas that he has contributed
Stephen_Cook
Partition of graph into sequence of paths
Eppstein, D. (1992), "Parallel recognition of series–parallel graphs" (PDF), Information and Computation, 98 (1): 41–55, doi:10.1016/0890-5401(92)90041-D
Ear_decomposition
Form of artificial intelligence
necessarily non-embryogenic): Automated machine learning (AutoML) Evolutionary computation NeuroEvolution of Augmenting Topologies (NEAT) HyperNEAT (A Generative
Neuroevolution
Indian American computer scientist
William J. B. Oldham. His 1992 PhD thesis was titled "Self-repair and adaptation in collective and parallel computational networks". Phoha began his career
Vir_Phoha
Computing joint values of a kinematic chain from a known end position
orientation (relative to the start of the chain). IK operations are computationally much more complex than forward kinematics, in which joint parameters
Inverse_kinematics
Neural simulation software
the software, which was known as PDP++, is featured in the textbook Computational Explorations in Cognitive Neuroscience. Emergent features a modular
Emergent_(software)
Method for outsourcing computing tasks to humans
human-based computation game or game with a purpose (GWAP) is a human-based computation technique of outsourcing steps within a computational process to
Human-based_computation_game
PARALLEL COMPUTATION-THESIS
PARALLEL COMPUTATION-THESIS
Boy/Male
Indian, Sanskrit
Competition
Surname or Lastname
English
English : occupational name from Middle English combere, an agent derivative of Old English camb ‘comb’, referring perhaps to a maker or seller of combs, or to someone who used them to prepare wool or flax for spinning. This was an alternative process to carding, and caused the wool fibers to lie more or less parallel to one another, so that the cloth produced had a hard, smooth finish without a nap.English : variant of Coomber.Probably an Americanized spelling of German Kommer or Kammer.
Girl/Female
Assamese, Hindu, Indian, Kannada, Sanskrit, Sindhi, Telugu
Motivation; Competition; React
Girl/Female
Biblical
In compunction, or sharp pain.
Girl/Female
Biblical
Parables, governing.
Biblical
parables; governing
Boy/Male
Indian, Punjabi, Sikh
Victorious in Competition
Girl/Female
Arabic, Muslim
Example; Allegory; Parable
Surname or Lastname
English
English : from Old Norse drengr ‘young man’, but with more than one possible interpretation. It may reflect the personal name (originally a byname) of this form, which had some currency in the most Scandinavian-influenced areas of medieval England. Alternatively it may reflect the Middle English borrowing of the vocabulary word in the sense ‘servant’, later a technical term of the feudal system of Northumbria for a free tenant who held land by military and agricultural service, sometimes paying rent as well or in commutation.
Boy/Male
Shakespearean
All's Well That Ends Well.' A follower of Bertram, Count of Rousillon.
Boy/Male
Indian, Malayalam
Commutation
Boy/Male
British, English
Extra Ordinary; Not in Competition
Biblical
a parable; governing
Girl/Female
Hindu, Indian
A Compilation or a Bunch of Vedic Hymns
Girl/Female
Tamil
A compilation or a bunch of vedic hymns
Girl/Female
Biblical
A parable, governing.
Boy/Male
Arabic, Muslim
Striving; Contest; Competition; Battle
Boy/Male
Australian, British, English, Latin
Running Competition
Girl/Female
Muslim
Example, Allegory, Parable
PARALLEL COMPUTATION-THESIS
PARALLEL COMPUTATION-THESIS
Girl/Female
Tamil
Girl/Female
Australian, British, English, Hebrew
Form of Sarah; Princess
Boy/Male
Tamil
Courage
Male
Hebrew
(גָּלִיל) Hebrew name GALIYL means "rolling, turning" or "circuit, region, ring." In the bible, this is the name of a circuit or ring (Galilee) of the Gentiles.Â
Girl/Female
American, Arabic, Buddhist, Danish, Gujarati, Hebrew, Hindu, Indian, Kannada, Marathi, Muslim, Punjabi, Sanskrit, Sikh, Tamil
A Star; Action; Fate; Destiny
Girl/Female
Indian
Girl/Female
Hindu, Indian
Woman of Gokulam Roaming Around Krishna
Girl/Female
Hindu, Indian, Traditional
An Auspiou Sign Drawn in Front of Hindu Home
Girl/Female
Arabic
Life
Girl/Female
Hindu
Bejewelled, With beautiful smile
PARALLEL COMPUTATION-THESIS
PARALLEL COMPUTATION-THESIS
PARALLEL COMPUTATION-THESIS
PARALLEL COMPUTATION-THESIS
PARALLEL COMPUTATION-THESIS
a.
Continuing a resemblance through many particulars; applicable in all essential parts; like; similar; as, a parallel case; a parallel passage.
n.
A comparison made; elaborate tracing of similarity; as, Johnson's parallel between Dryden and Pope.
v. t.
To produce or adduce as a parallel.
n.
A line which, throughout its whole extent, is equidistant from another line; a parallel line, a parallel plane, etc.
n.
The result of computation; the amount computed.
v. t.
To represent by parable.
imp. & p. p.
of Parallel
n.
The change of a penalty or punishment by the pardoning power of the State; as, the commutation of a sentence of death to banishment or imprisonment.
n.
Computation.
n.
One of a series of long trenches constructed before a besieged fortress, by the besieging force, as a cover for troops supporting the attacking batteries. They are roughly parallel to the line of outer defenses of the fortress.
n.
A character consisting of two parallel vertical lines (thus, ) used in the text to direct attention to a similarly marked note in the margin or at the foot of a page.
v. i.
To be parallel; to correspond; to be like.
n.
One of the imaginary circles on the surface of the earth, parallel to the equator, marking the latitude; also, the corresponding line on a globe or map.
n.
Reckoning; computation.
a.
Having opposite surfaces exactly plane and parallel, as a piece of glass.
adv.
In a parallel manner; with parallelism.
n.
A substitution, as of a less thing for a greater, esp. a substitution of one form of payment for another, or one payment for many, or a specific sum of money for conditional payments or allowances; as, commutation of tithes; commutation of fares; commutation of copyright; commutation of rations.
a.
Extended in the same direction, and in all parts equally distant; as, parallel lines; parallel planes.
n.
Enumeration; computation.
v. t.
To place or set so as to be parallel; to place so as to be parallel to, or to conform in direction with, something else.