Lines Matching full:parallel
753 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
1293 …which program execution and input\slash output are handled uniformly as parallel, cooperating proc…
1606 …stence of label variables permits the construction of coroutines, quasi-parallel processes, and ot…
3206 …keywords = "ESOPE; multi-access systems; multiprogramming; parallel processes; parallel proces…
3225 … interrupt scheduling; management information systems; monitoring; parallel; parallel processing; …
3991 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/conc.scientific.computing.bib",
4185 … methods; noise; optimal detection; optimisation; optimisation problem; parallel processing; patte…
4456 …ol; debugging; interrupt drive programming; memories; microprogramming; parallel processing; progr…
4605 …parallel, or in a combination of these modes. This paper shows that expression execution time can …
4609 …computational trees; data handling; digital arithmetic; execution time; parallel processing; subex…
5619 …parallel processing algorithm for shrinking binary patterns to obtain single isolated elements, on…
5623 …rging; multiple connected; multiple connected pictures; neural network; parallel processing; patte…
5959 …keywords = "access; computer; operating systems; operating systems (computers); parallel proce…
6074 …e; communication; concurrency; operating systems (computers); parallel processes; parallel process…
6760 title = "Interference between Communicating Parallel Processes",
6774 …clusion; interference between communicating parallel processes; mutual exclusion; operating system…
8085 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.lin.alg.bib",
8457 …title = "A Highly Parallel Algorithm for Approximating All Zeros of a Polynomial with Only …
8470 …with only real zeros. The algorithm, which is conceptually suitable for parallel computation, dete…
8476 … techniques --- Polynomials; multiple zeros; Newton's method; parallel algorithm; parallel numeric…
9051 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
9052 …uired to evaluate such products on ordinary serial computers as well as parallel computers is disc…
9058 …ions; matrix multiplication; operation minimization; parallel computers; parallel machine; paralle…
9977 …l event-node network to represent a set of precedence relations without parallel activities is pre…
10000 …es; he also has a choice of instance selection schemes (raster, random, parallel). Examples are gi…
10341 …; microprogramming; monitors; multiprocessing programs; multiprocessor; parallel processing; super…
10476 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
10653 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
11720 …esented. Language structures to utilize this storage method and express parallel algorithms are de…
11726 …allelism; FORTRAN; ILLIAC IV; ILLIAC IV Fortran; parallel control; parallel control structures; pa…
12579 title = "The Parallel Execution of {DO} Loops",
12590 …abstract = "Methods are developed for the parallel execution of different iterations of a DO l…
12596 …puters; computing; design of compilers; DO loops; loops; parallel; parallel execution; parallel pr…
13004 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
13012 …keywords = "external sorting; parallel processing; parallelism; queues; reducing the processin…
13749 …bibliography/Database/Wiederhold.bib and ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
14106 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
14931 title = "A Comparison of List Schedules for Parallel Processing Systems",
14941 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/OVR.bib",
14948 … list schedules; list scheduling; optimisation; optimization; parallel processing; parallel proces…
15135 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
15661 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
15662 …phy of the language, and discusses some of the problems associated with parallel computer architec…
15668 …liac IV computer; language; machine oriented languages; parallel computer architectures; parallel …
16596 …of semaphores and extended semaphores (queue semaphores). The number of parallel processes is care…
16602 …ogramming system; operating system; operating systems (computers); parallel; parallel processing; …
16785 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.synch.bib",
16938 …abstract = "A method is described which allows parallel processing of packed data items using …
16944 …sing; data processing; datum; full-word instructions; packed data; parallel; parallel processing; …
16991 … compactifying garbage collector; multiprocessing programs; operations; parallel processing; point…
17194 title = "Merging with Parallel Processors",
17205 …parallel processors working synchronously. The paper presents an algorithm for merging A and B wit…
17211 …stems, digital; linearly ordered sets; merging; parallel binary insertion; parallel processing; pa…
17514 title = "Reduction: {A} Method of Proving Properties of Parallel Programs",
17529 …parallel program has a given property it is often convenient to assume that a statement is indivis…
17535 …atheory; deadlock; free; halting; indivisible; interruptible; parallel processing; parallel progra…
17967 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
18250 title = "Verifying Properties of Parallel Programs: An Axiomatic Approach",
18263 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
18265 …parallel programs is presented. A deductive system which is in some sense complete for partial cor…
18271 …ectness proofs; deadlock; multiprogramming; mutual exclusion; parallel processing; parallel progra…
18402 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
18566 title = "Formal Verification of Parallel Programs",
18579 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
18580 …bstract = "Two formal models for parallel computation are presented: an abstract conceptual mo…
18586 …; deadlock; exclusion; mutual; operating systems (computers); parallel processing; parallel progra…
18942 …ally requires by performing garbage collection on a second processor in parallel with list process…
18949 …tures; garbage collection; Lisp; list; list processor; multiprocessing; parallel processing; proce…
19665 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
20234 title = "Sorting on a Mesh-Connected Parallel Computer",
20247 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.comm.bib",
20255 keywords = "mesh connected; parallel computer; parallel processing; sorting",
20403 … drawings; comparison; computer graphics; computer systems, digital --- Parallel Processing; conte…
20739 …title = "Functions Realizable with Word-Parallel Logical and Two's-Complement Addition Inst…
20758 …mming; digital arithmetic; functions realisable; two's complement; word parallel logical instructi…
20971 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Pfpbib.bib",
21494 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
21972 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
21979 …; conceptual framework; concurrent; nonprocedural programming language; parallel; programming lang…
22009 title = "An Exercise in Proving Parallel Programs Correct",
22027 …keywords = "correct; garbage collector; parallel processing; parallel programs; programming th…
22044 …abstract = "A language for specifying the intended behavior of communicating parallel processe…
22050 …ts; formal languages; formal problem specification; language; parallel processes; parallel process…
22218 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.misc.bib",
22221 …per is reproduced in Kuhn and Padua's (1981, IEEE) survey ``Tutorial on Parallel Processing.'' Als…
22226 …io: bhibbard enm; grecommended91; implementation; j\-lb; maeder biblio: parallel hardware and devi…
23488 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.misc.bib",
23625 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.misc.bib an…
23660 title = "Fast Parallel Sorting Algorithms",
23674 …abstract = "A parallel bucket-sort algorithm is presented that requires time O(log n) and the …
23678 …comment = "``A parallel bucket--sort algorithm is presented that requires time $O(\log n)$ an…
23681 …er programming --- Subroutines; computer systems programming; parallel processing; parallel sortin…
23720 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.misc.bib",
23722 …ests that input and output are basic primitives of programming and that parallel composition of co…
23724 …per is reproduced in Kuhn and Padua's (1981, IEEE) survey ``Tutorial on Parallel Processing.'' Rep…
23729 …s; multiple entries; multiple exits; nondeterminacy; output; parallel composition; parallel progra…
24045 …title = "Models for Parallel Processing Within Programs: Application to {CPU:I/O} and {I/O:…
24055 …graphy/Database/Wiederhold.bib and ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Parallel.io.bib",
24056 …abstract = "Approximate queueing models for internal parallel processing by individual program…
24058 …annote = "Queueing models for parallel processing by improvement from CPU:I/O overlap if fou…
24064 …r systems, digital --- Multiprocessing; internal parallel; network decomposition; parallel I/O; pa…
24412 …ctional; if-then-else; infinite structures; LISP; Lisp; LISP; Parallel evaluation; parallel evalua…
24428 …/pub/bibliography/Misc/os.bib and ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.synch.bib and…
24436 …e concept; microcomputer networks; monitors; operating synchronization; parallel processing; path;…
24561 title = "Corrigendum: {``An exercise in proving parallel programs correct''}",
24802 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
25095 …ibliography/Database/Wiederhold.bib; ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.synch.bib",
25786 title = "Computing Connected Components on Parallel Computers",
25798 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib",
25799 …abstract = "We present a parallel algorithm which uses $n^2$ processors to find the connected …
25803 …tion; Graph theory; graph theory; operating systems; OS; parallel; parallel computers; parallel pr…