Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.

Month of March 2007 - Page Number 1

Showing 1 - 10 of 1,485 from March 2007
Browse Prior Art Database
  1. 1.
    IPCOM000149215D | Original Publication Date: 2007-Mar-31
  2. 2.
    MAC TR-134 CSG MEMO- l(1 6 SEMANTICS OF DATA STRUCTURES AND I(EFERENCES David J. E l l i s August 1974 This research was supported by the National Science Foundation under research grant 6,J-34671. MASSAC'riUSETTS INSTITUTE OF TECHNOLOGY PROJECT MAC MASSACHUSETTS 02139 CAMBRIDGE SEMANTICS OF DATA STRUCTURES...
    IPCOM000149213D | Original Publication Date: 1974-Aug-31
  3. 3.
    Ti SUBGRAPB HOMEOMORPHISM PROBLEM Andrea Suzanne LaPaugh Shmitted to the Department of Electrical Engineering and Computer Science on May 31, 1977 in partial fulfillment of the requirements for the Degree of Master of Science ABSTRACT The problem investigated in this thesis is that of finding homeomorphic images of...
    IPCOM000149212D | Original Publication Date: 1978-Feb-28
  4. 4.
    B.S., Rensselaer Polytech.nic Institute (1980) S.M., Massachusetts Institutes of Technology (1982) Submitted in partial fidfillment of the requirements ofthe degree of Doctor of Philosophy a& the MASSACHUSETTS INSTITUTE OF TECHNOLOGY January 19881 Massachusetts Institute of Technology 1988 Signature of...
    IPCOM000149207D | Original Publication Date: 1988-Jan-31
  5. 5.
    Multiple Inheritance in Contemporary Progrismminy Languages by Daniel 4. Carnese September, 1984 Abstract In one paradigrn of abstract type definition, a separate procedure definition is given for each abstract operatioi'i. This paradigm can be extended by allowing the operation set of a type to be computed from...
    IPCOM000149206D | Original Publication Date: 1984-Sep-30
  6. 6.
    Efficient Denland-driven Evaluation (11) Keshav Pingali Arvind 19 September 1983 Laboratory for Computer Science Massachusetts Institute of 'Fechnology CambridgeMassachusetts 027 39 Abstract In Part I of this paper, we presented a scheme whereby a compiler could propagate demands through programs in a powerful...
    IPCOM000149205D | Original Publication Date: 1983-Sep-19
  7. 7.
    Junc 1981 Glenn Bulrke This report describes research done at thc L.aboratcrq for Conlputer Scicncc of the PI.iassachusctts Institute of Technolog!?. Support for this resc;irch was pro~idccl in part by National lr~stitutcs of ltcalth grant numbcr 1 1'41 Ill1 01096-04 from rhc I>ivinion of 12esearch Rcsources, and...
    IPCOM000149202D | Original Publication Date: 1981-Jun-30
  8. 8.
    A, Performance Irnprovisag Synchronisation Mechanism for Distributed Systems Mukul Kumar Sinha A new rnechanjsm for the synchronisation of accesses to distributed data objects is developed. This mechanism, called timepad, is an extention to the timestamp synchronisation scheme and it encaches the concurrency...
    IPCOM000149201D | Original Publication Date: 1980-Aug-31
  9. 9.
    A DECIDABILI'TY RESULT FOR A SECOND ORDER PROCESS L,OGIC &hit Parikh MASSACIiLJSETTS INSTITUTE OF TECHNOLOGY LABOMTORY FOR COMP'IJTER SCIENCE MASSACHUSETTS 02139 CAMBRIDGE A DECIIDABILI'FY RESULT FOR A SECOND ORDER PROCESS LOGIC. Rohit PanaikhLsbor~kto~yfor Computer Science, MUI,T., and Mathematics Department,...
    IPCOM000149197D | Original Publication Date: 1978-Jul-31
  10. 10.
    SECURITY CLASSIFiCATiON OF THIS PAGE (man Dola Enleesd) Initial Report on a Lisp Programmer's Technical Report 9. PERFORMING ORGANIZATION NAME AND ADDRESS 10. PROGPAM ELEMENT, PROJECT, TASK AREA 8, WORK UNIT NUMBERS Artificial intelligence Laboratory 545 Technology Square Cambridge, Massachusetts 02139 Advanced...
    IPCOM000149196D | Original Publication Date: 1976-Dec-31