From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-016
( 1 reviews )
Topics: random, sequences, sequence, definition, theorem, recursive, sequential, infinite, set, function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-039
Topics: computable, polynomial, theorem, iff, turing, remark, computing, binary, expressions, expression,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-502
Topics: vss, protocol, definition, protocols, players, secret, adversary, secure, player, function, vss...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-508
Topics: hash, keyword, hashing, algorithm, minimal, search, perfect, function, table, wordset, minimal...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-521
Topics: virtual, data, memory, software, hardware, address, array, processor, distributed, loop, virtual...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-522
Topics: loop, data, partitioning, cache, partitions, partition, loops, remote, accesses, array, data...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-536
Topics: function, source, bound, redundancy, huffman, upper, convex, maximum, variation, assumes, extreme...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-561
Topics: algorithm, pose, camera, rays, incidence, rotations, refinement, matches, algorithms, estimates,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-568
Topics: optimization, pose, images, algorithm, spherical, camera, global, image, reconstruction, nodes,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-575
Topics: hash, signature, random, adversary, adversarial, signer, function, digital, pss, hashing, hash...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-583
Topics: memory, dynamic, static, accesses, compiler, raw, array, dependence, equivalence, references,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-018
Topics: user, processor, ctss, transfer, users, interaction, input, system, program, simulation, processor...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-024
Topics: command, values, map, request, execute, del, data, function, variable, max, execute command,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-037
Topics: models, scene, program, model, cube, regions, vertices, chapter, objects, figure, project mac, mac...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-044
Topics: diagnostic, diagnosis, program, attributes, tests, test, attribute, pattern, decision, function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-047
Topics: sin, method, var, program, exp, methods, saint, form, rational, integral, rational function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-064
Topics: loop, graph, program, execution, node, cycle, sequence, input, graphs, nodes, program graph,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-066
Topics: cell, array, cells, theorem, predicate, linear, figure, transformation, predicates, firing, cell...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-073
Topics: intensity, lines, values, intensities, figure, error, scan, function, feature, predicate, false...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-079
Topics: reflectivity, image, solution, intensity, singular, surface, equations, characteristics, object,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-092
Topics: integral, integrals, contour, wanderer, integration, limit, macsyma, infinite, functions,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-093
Topics: induction, proof, truncation, recursion, structural, function, program, recursive, prove,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-095
Topics: expressions, expression, macsyma, algebraic, pattern, rational, polynomial, canonical, matching,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-097
Topics: theorem, arbitrary, function, boolean, variables, finite, formula, length, variable, functions,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-099
Topics: recursive, theorem, complexity, lemma, function, sets, comp, proof, primitive, set, primitive...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-105
Topics: comparator, theorem, network, partial, assignments, assignment, sorting, injective, valued, set,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-110
Topics: recursive, functions, theorem, primitive, hierarchy, function, subrecursive, hierarchies, honesty,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-113
Topics: node, nodes, reduction, polynomial, iff, cover, assume, column, flow, subset, node cover,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-131
Topics: recursive, function, theorem, theory, formula, deduction, definition, predicate, formulas,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-136
Topics: lambda, expression, expressions, semantic, function, normal, applicative, domain, calculus,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-143
Topics: patient, digitalis, therapeutic, renal, system, node, digital, digoxin, toxic, user, renal...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-151
Topics: array, cell, loading, arm, repair, cells, flawed, arrays, embedded, test, array programmer, loading...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-153
Topics: renal, tha, uas, uith, chronic, acute, hypothesis, strategy, doctor, tract, urinary tract, renal...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-168
Topics: theorem, program, programs, binary, theorems, backward, tidiness, axiom, recursively, corollary,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-181
Topics: petri, tokens, places, reachability, polynomial, bounded, recursive, firing, finite, net, petri...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-190
Topics: objects, returns, type, object, variable, variables, array, parameters, size, const, size...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-202
Topics: machine, abstraction, hidden, unction, data, unctions, specification, mapping, defined, derived,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-212
Topics: mod, factorization, algorithm, function, congruence, inversion, signatures, computation,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-216
Topics: dataflow, fortran, array, connectivity, ccn, ooo, zonal, code, val, simple, dataflow computer,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-218
Topics: array, expression, type, values, function, error, construct, bool, arity, integer, bool test, type...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-230
Topics: flow, network, algorithm, augmenting, function, layered, vertex, edge, maximum, vertices, flow...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-235
Topics: recursive, probability, sequence, theory, sequences, random, independence, theorem, turing,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-238
Topics: complexity, boolean, circuit, node, function, functions, lemma, monotone, theorem, variables, lower...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-244
Topics: loop, flow, loops, data, driven, computation, record, input, computations, corresponding, data...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-248
Topics: die, terminals, arc, diat, layout, routing, terminal, circuit, channel, matching, die layout,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-257
Topics: function, instrument, output, flow, note, orchestra, input, stream, data, synthesis, data flow,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-262
Topics: construct, integer, cell, operand, forall, instruction, figure, boolean, values, array, data flow,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-264
Topics: packet, debugging, process, processes, node, user, application, facility, logical, computation,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-276
Topics: synthesis, implementation, preliminary, theorem, rules, rewrite, expression, specification, rule,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-280
Topics: array, buffering, graph, flow, data, fdg, node, forall, algorithm, val, data flow, buffering graph,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-306
Topics: type, module, integer, function, port, construct, padl, array, string, definitions, module type,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-321
Topics: type, program, vimval, function, operators, node, set, operator, returns, types, type checking,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-323
Topics: array, loop, unfolding, interlace, reference, data, arrays, loops, interval, endif, reference...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-325
Topics: term, evaluator, lemma, theorem, reduction, axioms, type, combinatory, reducible, notion, type...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-329
Topics: qualitative, derivative, algorithms, behavior, functional, function, reasoning, mathematical,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-333
Topics: simulation, partition, checkpoint, node, circuit, roll, message, input, event, simulated, simulated...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-335
Topics: algorithm, lemma, clocks, clock, nonfaulty, process, processes, message, synchronization, messages,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-340
Topics: utility, urp, preference, qualitative, modeling, knowledge, independence, reasoning,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-344
Topics: unification, equational, algorithm, variables, lemma, set, theories, substitution, symbols,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-353
Topics: backup, activation, computation, recovery, instruction, vim, stream, data, system, function, early...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-355
Topics: instruction, vim, storage, chunk, array, data, function, chunks, instructions, arc, data flow,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-374
Topics: algorithm, flow, vertex, parallel, vertices, edge, algorithms, maximum, lemma, subroutine, maximum...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-454
Topics: transaction, paratran, task, tasks, transactions, eval, parallel, sequential, code, transaction...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-458
Topics: type, looping, lemma, dependent, proof, function, types, combinator, recursive, reduction, looping...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-481
Topics: computation, lemma, bound, lower, rational, integer, polynomial, vertex, bounds, input, lower...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-495
Topics: spectral, norm, fourier, functions, theorem, boolean, function, decision, lemma, parity, spectral...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-503
Topics: adversary, protocol, function, garbled, secure, input, players, player, output, simulator, secure...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-511
Topics: adversary, protocol, function, player, secure, input, simulator, notion, players, computational,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-517
Topics: node, processor, algorithm, search, tree, message, transformation, algorithms, nodes, storing,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-524
Topics: pcf, lemma, term, stable, reduction, cpo, definition, subterm, rewrite, model, full abstraction,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-555
Topics: abstract, deallocation, function, activation, procedure, interpreter, object, program, labels,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-588
Topics: automaton, cluster, behavior, client, automata, synchronizer, actions, node, array, theorem, fair...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-595
Topics: synchronization, processor, dependences, loop, array, dependence, doall, figure, linear,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-619
Topics: lcl, specification, module, ensures, abstract, claims, type, specifications, program, bool, ensures...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-624
Topics: client, stub, database, futures, thor, batched, veneer, object, objects, calls, batched futures,...