MiNERVA Archive | Directory Listing

../

CIS-5_Papers_on_Interlisp-D_rev_198301.pdf 7.23 MB 🧲

CSL-73-1_An_Interactive_Program_Verifier_197305_rev197607.pdf 7.74 MB 🧲

CSL-73-2_New_Programming_Languages_For_AI_Research.pdf 2.39 MB 🧲

CSL-73-3_The_Implementation_of_NLS_on_a_Minicomputer.pdf 1.92 MB 🧲

CSL-73-4_Omnigraph_Simple_Terminal-Indepenent_Graphics_Software.pdf 2.96 MB 🧲

CSL-74-1_A_Postmortem_for_a_Timesharing_System.pdf 6.07 MB 🧲

CSL-74-3_Introducing_Iteration_Into_the_Pure_LISP_Theorem_Prover_rev_197503.pdf 2.39 MB 🧲

CSL-75-1_On_the_Problem_of_Uniform_References_to_Data_Structures_197501.pdf 2.63 MB 🧲

CSL-75-3_A_Space-Economical_Suffix_Tree_Construction_Algorithm_197504.pdf 1.86 MB 🧲

CSL-75-4_Some_Principles_of_Memory_Schemata_197507.pdf 2.02 MB 🧲

CSL-75-5_Dimensions_of_Representation_197507.pdf 2.83 MB 🧲

CSL-75-6_Subgoal_Induction_197507.pdf 2.21 MB 🧲

CSL-75-7_Ethernet_Distributed_Packet_Switching_for_Local_Computer_Networks.pdf 1.43 MB 🧲

CSL-75-8_Goal-Directed_Program_Transformation_197509.pdf 2.49 MB 🧲

CSL-76-1_A_Fast_String_Searching_Algorithm.pdf 1.68 MB 🧲

CSL-76-2_Constructive_Methods_in_Program_Verification_197607.pdf 2.27 MB 🧲

CSL-76-3_The_Analysis_of_Hashing_Algorithms.pdf 4.74 MB 🧲

CSL-76-4_An_Overview_of_KRL_-_A_Knowledge_Representation_Language_19760704.pdf 4.39 MB 🧲

CSL-76-5_The_Interlisp_Virtual_Machine_Specification.pdf 10.71 MB 🧲

CSL-76-6_Early_Experience_With_Mesa.pdf 1.95 MB 🧲

CSL-77-1_Schemes_-_A_High_Level_Data_Structuring_Concept_197701.pdf 3.53 MB 🧲

CSL-77-2_Strategy_Construction_using_a_Synthesis_of_Heuristic_and_Decision-Theoretic_Methods.pdf 8.52 MB 🧲

CSL-77-3_A_Display_Oriented_Programmers_Assistant.pdf 2.95 MB 🧲

CSL-77-4_A_Necessary_and_Sufficient_Condition_for_the_Existence_of_Hoare_Logics_197706.pdf 1.47 MB 🧲

CSL-78-3_Empirical_Estimates_of_Program_Entropy.pdf 7.07 MB 🧲

CSL-78-4_Using_Encryption_for_Authentication_in_Large_Networks_of_Computers.pdf 1.33 MB 🧲

CSL-78-5_Separating_Data_From_Function_in_a_Distributed_File_System_197809.pdf 1.89 MB 🧲

CSL-79-1_Monitoring_System_Behavior_In_a_Complex_Computational_Environment_197901.pdf 18.72 MB 🧲

CSL-79-10_Pup_An_Internetwork_Architecture_Jul79.pdf 3.59 MB 🧲

CSL-79-11_Alto_A_Personal_Computer.pdf 6.26 MB 🧲

CSL-79-12_Violet_an_Experimental_Decentralized_System.pdf 1.44 MB 🧲

CSL-79-13_WFS_A_Simple_Shared_File_System_for_a_Distributed_Environment.pdf 1.44 MB 🧲

CSL-79-14_Weighted_Voting_for_Replicated_Data.pdf 1.71 MB 🧲

CSL-79-3_Mesa_Language_Manual_Version_5.0.pdf 17.60 MB 🧲

CSL-79-4_Transport_of_Electronic_Messages_Through_a_Network.pdf 1.29 MB 🧲

CSL-79-5_Formalizing_the_Analysis_of_Algorithms_197906.pdf 11.62 MB 🧲

CSL-79-6_Raster_Graphics_for_Interactive_Programming_Environments_197906.pdf 3.51 MB 🧲

CSL-79-7_Compact_Encodings_of_List_Structure.pdf 2.01 MB 🧲

CSL-79-8_Code_Generation_and_Machine_Descriptions.pdf 3.17 MB 🧲

CSL-79-9_An_Entity-Based_Database_Interface.pdf 1.34 MB 🧲

CSL-80-10_Requirements_for_an_Experimental_Programming_Environment.pdf 4.09 MB 🧲

CSL-80-11_The_Proper_Place_of_Men_and_Machines_in_Language_Translation_198010.pdf 2.77 MB 🧲

CSL-80-12_Algorithm_Schemata_and_Data_Structures_in_Syntactic_Processing_198010.pdf 3.93 MB 🧲

CSL-80-2_The_Ethernet_Local_Network_-_Three_Reports_198002.pdf 5.70 MB 🧲

CSL-80-3_A_Client-Based_Transaction_System_To_Maintain_Data_Integrity_198003.pdf 1.59 MB 🧲

CSL-80-4_Efficient_Dynamic_Programming_Using_Quadrangle_Inequalities_198003.pdf 1.37 MB 🧲

CSL-80-5_A_Layered_Approach_to_Software_Design.pdf 2.34 MB 🧲

CSL-80-6_The_Display_of_Characters_Using_Gray_Level_Sample_Arrays.pdf 1.15 MB 🧲

CSL-80-7_Displaying_Data_Structures_for_Interactive_Debugging_198006.pdf 8.85 MB 🧲

CSL-80-8_Stress_and_Salience_in_English_-_Theory_and_Practice_198005.pdf 13.91 MB 🧲

CSL-80-9_Efficient_Algorithms_for_Enumerating_Intersecting_Intervals_and_Rectangles_198006.pdf 1.44 MB 🧲

CSL-81-1_The_Dorado_A_High-Performance_Personal_Computer_Three_Papers.pdf 9.27 MB 🧲

CSL-81-10_Techniques_for_Program_Verification_198106.pdf 11.63 MB 🧲

CSL-81-11_Real_Programming_in_Functional_Languages.pdf 2.10 MB 🧲

CSL-81-12_Report_On_The_Programming_Language_Euclid.pdf 4.89 MB 🧲

CSL-81-2_The_TXDT_Package_-_Interlisp_Text_Editing_Primitives_198101.pdf 4.04 MB 🧲

CSL-81-3_An_Experimental_Description-Based_Programming_Environment.pdf 3.65 MB 🧲

CSL-81-6_Laurel_Manual_198105.pdf 8.79 MB 🧲

CSL-81-7_Trellis_Data_Compression_198106.pdf 8.57 MB 🧲

CSL-81-8_Information_Storage_in_a_Decentralized_Computer_System.pdf 6.73 MB 🧲

CSL-81-9_Remote_Procedure_Call.pdf 13.50 MB 🧲

CSL-82-1_Cryptographic_Sealing_for_Information_Secrecy_and_Authentication_198202.pdf 2.44 MB 🧲

CSL-82-2_An_Analysis_of_a_Mesa_Instruction_Set.pdf 1.51 MB 🧲

CSL-82-3_Some_Notes_on_Putting_Formal_Specifications_to_Productive_Use_198206.pdf 2.04 MB 🧲

CSL-82-4_Grapevine_-_an_Exercise_in_Distributed_Computing_198206.pdf 3.24 MB 🧲

CSL-82-5_Packet-Voice_Communication_on_an_Ethernet_Local_Comptuer_Network.pdf 1.84 MB 🧲

CSL-82-7_Controlling_Large_Software_Development_In_a_Distributed_Environment.pdf 7.50 MB 🧲

CSL-83-1_An_Interactive_High-Level_Debugger_for_Control-Flow_Optimized_Programs.pdf 2.06 MB 🧲

CSL-83-11_The_Cedar_Programming_Environment_A_Midterm_Report_and_Examination.pdf 12.89 MB 🧲

CSL-83-12_Grapevine_-_Two_Papers_and_a_Report_198312.pdf 8.75 MB 🧲

CSL-83-4_Design_and_Implementation_of_a_Relationship-Entity-Datum_Data_Model_198305.pdf 10.78 MB 🧲

CSL-83-5_Data_Types_Are_Values.pdf 1.78 MB 🧲

CSL-83-7_Implementing_Remote_Procedure_Calls.pdf 2.01 MB 🧲

CSL-83-8_Adding_Voice_to_an_Office_Computer_Network.pdf 2.06 MB 🧲

CSL-83-9_The_Semantics_of_Lazy_And_Industrious_Evaluation.pdf 2.22 MB 🧲

CSL-84-4_The_Alpine_File_System.pdf 2.60 MB 🧲

CSL-84-7_On_Adding_Garbage_Collection_and_Runtime_Types_to_a_Strongly-Typed_Statically-Checked_Concurrent_Language.pdf 1.68 MB 🧲

CSL-85-01_Distributed_Name_Servers.pdf 9.32 MB 🧲

CSL-85-8_An_Effective_Test_Strategy.pdf 1.47 MB 🧲

CSL-85-9_Walnut_Storing_Electronic_Mail_in_a_Database.pdf 1.66 MB 🧲

CSL-86-1_A_Structural_View_of_the_Cedar_Programming_Environment_198606.pdf 8.05 MB 🧲

CSL-86-3_Voice_Annotation_and_Editing_in_a_Workstation_Environment.pdf 2.88 MB 🧲

CSL-87-7_Reimplementing_the_Cedar_File_System_Using_Logging_and_Group_Commit.pdf 1.44 MB 🧲

CSL-89-1_Epidemic_Algorithms_for_Replicated_Database_Maintenance.pdf 2.13 MB 🧲

CSL-89-2_Etherphone_Collected_Papers_1987-1988.pdf 4.91 MB 🧲

CSL-89-3_Data_Compression_with_Finite_Windows.pdf 2.50 MB 🧲

CSL-89-4_UNIX_Needs_A_True_Integrated_Environment.pdf 1.30 MB 🧲

CSL-89-6_Efficient_Binary_Space_Partitions_for_Hidden-Surface_Removal_and_Solid_Modeling_198907.pdf 1.81 MB 🧲

CSL-89-7_Browsing_Electronic_Mail_Experiences_Interfacing_a_Mail_System_to_a_DBMS.pdf 1.47 MB 🧲

CSL-89-8_Experiences_Creating_a_Portable_Cedar.pdf 1.27 MB 🧲

CSL-90-2_Rebuilding_Database_Caches_During_Fast_Crash_Recovery.pdf 1.14 MB 🧲

CSL-91-1_Low_Latency_Logging.pdf 1.17 MB 🧲

CSL-91-10_A_Stylus-Based_User_Interface_for_Text_Entry_and_Editing.pdf 4.36 MB 🧲

CSL-91-12_CSL_Technical_Reports_Digest_1973-1991_199111.pdf 5.40 MB 🧲

CSL-91-13_The_Yggdrasil_Project_Motivation_and_Design.pdf 1.96 MB 🧲

CSL-91-2_Implementing_Long_Lived_Transactions_Using_Log_Record_Forwarding.pdf 1.62 MB 🧲

CSL-91-5_Secure_and_Efficient_Implementation_of_Abstract_Data_Types_for_Databases.pdf 1.15 MB 🧲

CSL-91-7_Virtual_Memory_Replacement_Using_Historical_Information_on_Virtual_Objects.pdf 1.61 MB 🧲

CSL-91-9_Stylus_User_Interfaces_for_Manipulating_Text.pdf 1.31 MB 🧲

CSL-92-10_Using_Collaborative_Filtering_to_Weave_an_Information_Tapestry.pdf 1.74 MB 🧲

CSL-93-13_A_Tour_Through_Tapestry.pdf 1.55 MB 🧲

CSL-93-17_Papers_from_the_SunDragon_Project.pdf 3.06 MB 🧲

CSL-93-4_Safe_Efficient_Garbage_Collection_for_C++.pdf 4.58 MB 🧲

CSL-93-8_Using_Property_Specifications_to_Achieve_Graceful_Disconnected_Operation_in_aN_Intermittent_Mobile_Computing_Environment.pdf 5.03 MB 🧲

CSL-94-10_Ropes_Are_Better_Than_Strings.pdf 1.50 MB 🧲

EDL-88-3_A_New_Approach_to_Imaging_IC_Layout_and_Schematics.pdf 4.64 MB 🧲

EDL-92-1_Device_Independent_Color_Reproduction.pdf 2.48 MB 🧲

ISL-6_Plans_and_Situated_Actions.pdf 8.66 MB 🧲

ISL-81-1_Optimal_Pagination_Techniques_for_Automatic_Typesetting_Systems_198108.pdf 6.17 MB 🧲

ISL-83-1_A_Retrospective_on_the_Dorado_-_A_High-Performance_Personal_Computer_198308.pdf 4.09 MB 🧲

OPD-T8101_48-Bit_Absolute_Internet_and_Ethernet_Host_Numbers.pdf 1.41 MB 🧲

OPD-T8102_Evolution_of_the_Ethernet_Sep81.pdf 3.51 MB 🧲

OPD-T8103_The_Clearinghouse.pdf 4.32 MB 🧲

SCG-82-1_Searching_for_Information_in_a_Dynamic_Book_198202.pdf 18.63 MB 🧲

SCG-82-2_A_Large_Object-Oriented_Virtual_Memory.pdf 8.13 MB 🧲

Shoch_Carrying_Voice_Traffic_Through_an_Ethernet_Local_Network_Aug80.pdf 1.61 MB 🧲

SSL-76-6_Smalltalk-72_Instruction_Manual_Mar76.pdf 5.48 MB 🧲

SSL-77-1_Evaluation_of_Mouse_Rate-Controlled_Isometric_Joystick_Step_Keys_and_Text_Keys_for_Text_Selection_on_a_CRT.pdf 2.08 MB 🧲

SSL-77-2_Teaching_Smalltalk.pdf 3.34 MB 🧲

SSL-78-1_Studies_In_The_Psychology_Of_Computer_Text_Editing_Systems.pdf 8.23 MB 🧲

SSL-79-5_An_Annotated_Bibliography_on_Local_Computer_Networks_Oct79.pdf 3.24 MB 🧲

SSL-79-5_An_Annotated_Bibliography_on_Local_Computer_Networks.pdf 3.18 MB 🧲

SSL-79-6_Computer_Science_and_Office_Information_Systems.pdf 2.86 MB 🧲

SSL-79-7_A_Guide_to_LSI_Implementation_Second_Edition.pdf 12.49 MB 🧲

SSL-79-8_On_the_Equivalence_of_Office_Models.pdf 1.38 MB 🧲

SSL-81-1_The_Nature_of_Heuristics.pdf 3.99 MB 🧲

The_Smalltalk-76_Programming_System_Design_and_Implementation.pdf 1.56 MB 🧲

VLSI-81-1_The_Optical_Mouse.pdf 5.24 MB 🧲

VLSI-81-2_The_MPC_Adventures.pdf 3.36 MB 🧲

VLSI-81-3_The_Partitioning_of_Concerns_in_Digital_System_Design.pdf 1.29 MB 🧲

VLSI-82-1_The_Organization_of_Expert_Systems_-_A_Perspective_Tutorial_198201.pdf 5.92 MB 🧲

Xerox_PARC_Blue_and_White_Series_Reports_1973-_May90.pdf 1.02 MB 🧲