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

PART OF
The BITSAVERS.ORG Documents Library
Additional Collections
SHOW DETAILS
up-solid down-solid
eye
Title
Date Published
Creator
From the bitsavers.org collection, a scanned-in computer-related document. mit :: tx-2 :: Sketchpad TR296 Jan63
Topics: sketchpad, display, pen, drawing, constraint, picture, constraints, lines, instance, light pen,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: tx-2 :: Sketchpad A Man-Machine Graphical Communication System Jan63
Topics: sketchpad, display, pen, drawing, constraint, figure, picture, constraints, lines, light pen, ring...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: tx-0 :: memos :: M-5001-39 MIDAS Nov62
Topics: macro, symbol, program, midas, carriage, symbols, defined, location, argument, relocatable, upper...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: rle pdp1 :: memos :: pdp45 certainlyAbr jan72
Topics: symbol, constants, assembler, expression, location, program, carriage, tab, characters, undefined,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: rle pdp1 :: memos :: pdp45 certainly dec71
Topics: symbol, program, expression, characters, assembler, constants, carriage, defined, character,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: rle pdp1 :: memos :: pdp30 possible dec65
Topics: program, symbol, macro, source, expression, location, instruction, lac, characters, symbols, source...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: rle pdp1 :: memos :: pdp30 possible aug65
Topics: program, symbol, macro, source, expression, location, lac, constants, characters, assembly, source...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-995
Topics: abd, tag, atomic, simulation, ordered, atomicity, status, operations, distributed, operation, read...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-991
Topics: test, code, tests, factoring, factored, mock, object, objects, developer, system, test factoring,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-982
Topics: atomic, consensus, lemma, processes, compute, actions, canonical, finite, execution, failure,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-920
Topics: epoch, configuration, replica, replicas, timestamp, quorum, correctness, nonfaulty, phase, lemma,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-901
Topics: snapshot, archive, snapshots, transaction, object, storage, transactions, mob, performance,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-877
Topics: consensus, applicable, processes, execution, action, transition, task, finite, participants,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-874
Topics: token, object, subsystem, analysis, model, models, method, objects, extraction, program, type...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-869
Topics: region, object, memory, type, rtsj, thread, owner, objects, threads, regions, type system, shared...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-858
Topics: object, objects, transform, ownership, type, upgrade, system, class, tstack, owner, type system,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-853
Topics: ownership, java, tstack, runtime, owner, object, class, type, objects, types, ownership types, safe...
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-851
Topics: upgrade, object, objects, transform, upgrades, transaction, transforms, application, transformed,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-850
Topics: abstract, replicas, objects, replica, object, conformance, nfs, abstraction, file, replicated,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-839
Topics: type, lock, locks, java, thread, system, object, partial, min, class, type system, lock level, type...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-834
Topics: analysis, write, object, callee, allocated, barriers, interprocedural, barrier, intraprocedural,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-822
Topics: role, nodes, node, procedure, objects, roles, heap, onstage, object, graph, role graph, role...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-816
Topics: object, sets, primitive, program, relations, model, predicate, treenode, objects, calculus, object...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-740
Topics: frustum, spatial, rendering, ray, algorithms, algorithm, casting, scene, visible, rays, visible...
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-711
Topics: specification, component, class, specialization, methods, components, overridable, instance,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-708
Topics: client, aocc, server, acbl, transaction, object, commit, accesses, clients, abort, percent...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-702
Topics: java, thor, stub, veneer, client, code, rpc, object, interface, method, java veneer, stub object,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-692
Topics: objects, partition, object, garbage, irl, reference, outlist, inlist, collector, operations,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-666
Topics: disk, mob, objects, server, object, performance, cache, modifications, modified, layout, disk...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-664
Topics: protocol, waiting, synchronization, algorithm, lock, reactive, algorithms, contention, protocols,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-659
Topics: msh, obj, link, links, ect, object, wth, rol, objects, provi, obj ect, msh links, msh obj, obj...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-658
Topics: batched, loop, method, bcs, client, thor, calls, node, frontend, batch, batched control, control...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-652
Topics: cache, objects, object, size, prefetch, shrinking, garbage, traversal, marking, prefetching, cache...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-647
Topics: type, function, objects, reconstruction, activation, object, mutable, dynamic, garbage, closure,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-640
Topics: programming, program, method, user, video, object, tel, flow, methods, paves, flow graph, object...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-637
Topics: subcommand, module, object, payload, command, vusystem, modules, interface, tel, video, member...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-626
Topics: transaction, object, server, commit, objects, validation, transactions, frontend, application,...
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,...
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-599
Topics: dispatch, object, method, code, methods, class, type, customized, implementation, objects, dispatch...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-574
Topics: object, objects, reference, distributed, entry, insert, message, messages, garbage, references,...
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-539
Topics: invocations, asynchronous, pipe, tail, sequence, object, message, head, invocation, queue, sequence...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-529
Topics: object, transaction, database, field, agna, objects, procedure, list, persistent, frames, active...
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-519
Topics: prelude, object, migration, mechanisms, annotations, node, program, asynchronous, parallel,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-453
Topics: action, object, topaction, validation, subaction, actions, versions, fixed, commit, shadow, fixed...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-419
Topics: data, specification, operations, operation, process, object, trace, implementation, coin, objects,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-400
Topics: type, returns, atomic, proc, objects, guardian, object, operations, expression, types, effects...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-377
Topics: atomic, computation, concurrency, computations, object, operation, transition, transitions,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-367
Topics: concurrent, arc, serial, lemma, transaction, operation, transactions, operations, visible, weak,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-354
Topics: rev, request, remote, programmer, client, program, procedure, requests, object, rev request, rev...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-347
Topics: motion, turtle, reference, frame, object, relative, moving, speed, maketurtle, students, reference...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-331
Topics: names, naming, context, contexts, proc, object, objects, mail, user, aggregate, current context,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-327
Topics: action, atomic, objects, debugging, object, retrace, actions, handler, user, mutex, atomic objects,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-314
Topics: activity, atomicity, atomic, activities, implementation, dynamic, object, operations,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-308
Topics: log, object, objects, recovery, stable, action, recoverable, data, entries, outcome, recovery...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-303
Topics: replacement, guardian, subsystem, argus, implementation, handlers, abstraction, guardians, handler,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-293 MDS Pgmg Lang
Topics: mdl, atom, programming, returns, language, type, object, argument, channel, string, programming...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-292 MDL Primer
Topics: mdl, primer, atom, returns, argument, subr, list, function, mol, primtype, mdl primer, mol primer,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-275
Topics: office, osl, attribute, entity, procedure, class, specification, attributes, analysis, entities,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-252
Topics: object, recovery, repository, checkpoint, header, commit, version, bucket, atomic, storage, object...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-243
Topics: object, version, commit, token, image, ovs, current, header, repository, storage, commit record,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-234
Topics: object, type, abstract, external, representation, operations, values, objects, decode, operation,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-229
Topics: serializer, event, specification, enqueue, transaction, clause, events, node, queue, verification,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-221
Topics: data, operations, model, abstraction, operation, objects, computation, implementation, abstract,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-219
Topics: object, context, copy, operations, image, type, copying, objects, contexts, components, copy...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-209
Topics: storage, objects, secondary, reference, object, vector, garbage, module, primary, processor,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-205
Topics: commit, object, objects, token, system, possibility, operations, synchronization, version,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-203
Topics: specification, event, condition, synchronization, solution, activation, ordering, predicate,...
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-185
Topics: node, message, process, obpl, resource, phoenix, boston, deadlock, del, representing, control...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-174
Topics: block, layer, frame, object, segment, objects, acl, type, map, binding, large block, block space,...