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

More right-solid
Show sorted alphabetically
More right-solid
SHOW DETAILS
up-solid down-solid
eye
Title
Date Published
Creator
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1370
Topics: markov, equivalence, hmms, stochastic, models, priors, canonical, model, hidden, matrix, hidden...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1048
Topics: debugger, causal, hypothesis, generator, events, event, assumptions, scenario, reasoning, geologic,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1244
Topics: torque, motor, sensor, loop, actuator, chapter, bandwidth, control, friction, ripple, open loop,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-911
Topics: class, inheritance, boolean, classes, specification, implication, symbol, true, set, literals,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-076
Topics: internal, array, source, workspace, pattern, language, predicate, matches, lisp, list, internal...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-211
Topics: schema, schemata, sequence, finite, theorem, recursive, execution, equivalence, corresponding,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-924
Topics: solution, operator, equation, inverse, regularization, functions, data, solutions, defined,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-726
Topics: object, surface, photometric, brightness, image, gaussian, gripper, orientation, lookup,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ctss :: Bulletin 05 Jan64
Topics: fap, user, file, command, edit, status, quota, logout, ctss, track, track quota
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-363
Topics: subjective, figure, occlusion, patient, contours, rectangle, interpretation, dot, stereogram,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-600
Topics: objects, registration, object, query, scheme, data, indexes, set, indexing, set element,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-996
Topics: ibgp, route, routers, algorithm, configuration, igp, router, reflectors, bgp, reflector, route...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-358
Topics: animation, graphics, display, imaging, list, slot, environment, matrix, primitives, figure,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-169
Topics: diagnostic, patient, disease, survival, data, tumor, iii, decision, cancer, patients, cancer...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-526
Topics: object, concurrent, recursion, thread, message, recursive, deadlock, port, method, calls, object...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-425
Topics: dataflow, program, processor, parallelism, instruction, task, processors, scheduling, latency,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-812
Topics: router, element, click, configuration, packet, elements, optimizations, packets, language,...
From the bitsavers.org collectio n, a scanned-in computer-related document. mit :: whirlwind :: programs :: 102648903 T3800 Drum Diagnostics :: fc3800m800 ackley bd cc ck J
From the bitsavers.org collectio n, a scanned-in computer-related document. mit :: whirlwind :: programs :: 102648903 T3800 Drum Diagnostics :: fc3800m804 ackley bd cc ck
From the bitsavers.org collection, a scanned-in computer-related document. mit :: tx-0 :: memos :: M-5001-07 newOrders Jul59
Topics: contents, llr, live, subroutine, program, leaving, computer, osahoum, live register
From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: M-series :: 2M-0277 Whirlwind Programming Manual Oct58
Topics: instruction, digits, contents, registers, computer, drum, address, block, initial address, magnetic...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: DCL-series :: DCL-093 Biweekly Report July 25 1955
Topics: integrals, programs, atomic, scattering, diatomic, computation, propagation, wave, massachusetts,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: M-series :: M-1350 Operational Procedure on the Whirlwind Computer Dec51
Topics: tho, program, parameter, programmer, tapo, parameters, programs, boon, ths, ono, tho program, tho...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-691
Topics: server, authentication, servers, security, access, domain, mesh, model, request, cascaded, access...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1395
Topics: model, gaussian, image, error, roc, probability, random, distribution, hypothesis, density, model...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 23 Chaosnet
Topics: spectral, color, material, slope, image, regions, rubin, crosspoint, normalization, intensity,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-833
Topics: delays, delay, adversary, circuit, puf, measurement, device, silicon, variation, pufs, physical...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-650
Topics: cells, dendritic, ganglion, inhibition, soma, excitatory, morphology, cell, inhibitory, inputs,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1189
Topics: recognition, object, objects, search, features, constraints, image, model, interpretation, ikeuchi,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1543
Topics: feature, constraint, contact, robot, configuration, model, measurement, space, chapter, models,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-826
Topics: sonar, localization, segments, robot, contour, interpretation, segment, figure, interpretations,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-362
Topics: data, cons, flow, connection, applicative, graph, static, reference, cell, program, data flow,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-993
Topics: etna, configuration, node, nodes, paxos, tag, operation, write, reconfiguration, atomic, write...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-504
Topics: concept, concepts, decision, interactions, knowledge, clinical, representation, properties,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: M-series :: M-3059 Thoughts on Incremental Permeability Sep54
Topics: permeability, incremental, biasing, field, domain, perpendicular, moments, atomic, rotational,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: Wolf Research Whirlwind I Checkout Progress Report Jul63
Topics: checkout, resistors, checking, watt, computer, racks, power, scheduled, encountered, alternator,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1550
Topics: saliency, salient, curve, curves, network, shashua, element, elements, gaps, salient curve,...
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-302
Topics: emulation, dataflow, facility, multiprocessor, machine, simulation, processors, memory, processor,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-889
Topics: type, class, java, analysis, generic, extends, variables, origins, constraints, constraint, type...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-090
Topics: debugging, execution, cost, statement, operations, block, program, vienna, instruction, trigger,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-054
Topics: display, data, gdm, routine, system, multics, segment, template, command, monitoring, display...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-026
Topics: character, generator, memory, matrix, logic, beam, voltage, remote, output, vector, character...
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-857
Topics: hash, memory, cache, authentication, data, processor, chunk, hashes, secure, bandwidth, memory...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-094
Topics: petri, net, deadlock, transition, marking, subnet, theorem, nets, firing, transitions, free choice,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-288
Topics: polynomial, galois, roots, algorithm, irreducible, polynomials, algebraic, minimal, step, compute,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-565
Topics: synchronization, jref, barrier, solver, processor, processors, overhead, implementation,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-564
Topics: eoa, exp, type, tennent, model, identifiers, semantics, category, comm, block, property comp,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-762
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-673
Topics: network, atm, vunet, data, interface, processing, host, cell, video, memory, host interface, high...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-943
Topics: gossip, node, rambo, nodes, messages, departed, active, invariant, phase, algorithm, gossip...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-936
Topics: lemma, finger, exptime, process, occurs, fingers, lookup, block, message, implies, block message,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-320
Topics: permutation, pebbles, vertex, graph, pebble, moves, theorem, vertices, biconnected, proof, upper...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-1005
Topics: upgrade, upgrades, nodes, node, object, incompatible, disallow, calls, upgrader, version, current...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-518
Topics: message, process, phase, nonfaulty, algorithm, messages, processes, lemma, time, sends, nonfaulty...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-116
Topics: backup, file, system, secondary, files, incremental, directory, dump, directories, reloading, file...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-068
Topics: computer, ibm, economies, uni, data, computing, size, industry, cdc, hon, public policy, computer...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-852
Topics: invariants, program, daikon, annotations, invariant, users, specifications, houdini, specification,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-475
Topics: action, das, concurrent, lock, disconnected, commit, actions, nested, subaction, timestamp, phase...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-725
Topics: operator, phase, compiler, operators, routing, scheduled, router, node, cop, nodes, scheduled...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-060
Topics: string, canonical, language, markov, strings, target, expression, syntax, variable, formal, target...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-727
Topics: objects, garbage, references, trace, object, partition, reference, tracing, client, server, garbage...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-587
Topics: timed, definition, execution, automaton, lemma, finite, automata, sequence, live, safe, timed...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-304
Topics: node, nodes, logic, simulation, circuit, transistor, input, values, rsim, network, node values,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-528
Topics: file, implementations, disk, placement, system, parameters, files, multiple, algorithm,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-227
Topics: computer, systems, system, program, human, programming, technological, verification, computers,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-290
Topics: analyst, office, oam, oadm, automation, study, interview, manager, questions, description, office...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-704
Topics: algorithm, robot, wavefront, coiled, learning, vertices, vertex, piecemeal, sequences, wavefronts,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-566
Topics: minix, file, disk, segment, sprite, blocks, block, lfs, sunos, system, file system, sprite lfs,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-250
Topics: packet, input, module, hardware, output, die, modules, fault, synchronization, signals, packet...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-752
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-059
Topics: scene, vertices, vertex, objects, regions, links, program, bodies, figure, link, weak link, project...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-891
Topics: vertex, aspect, dependence, sdg, vertices, method, represent, entry, arcs, pointcut, entry vertex,...