Skip to main content

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology

Massachusetts Institute of Technology (MIT) is a private research university located in Cambridge, Massachusetts, United States. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific, engineering, and technological education and research, and is considered one of the most prestigious universities in the world.



rss RSS

379
RESULTS


Show sorted alphabetically

Show sorted alphabetically

SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
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,...