Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 41 for “"Lisp"”.
-
A lisp oriented architecture
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Prototyping Z specifications in extended Lisp.
… thesis reports on a CASE tool, the Z Animator in Lisp, that supports a process of specification validation through animation. A specification in the proprietary ZAL format, a high-level, largely functional, executable notation based on extended Lisp, can be executed by the Animation Engine within …
-
Traffic Engineering for LISP-Enabled Networks
… in order to address this scalability issue, LISP (Locator/Identifier Separation Protocol) has been proposed, which separates an address space into a non-routable End-Point Identifiers (EIDs) and a routable Routing Locators (RLOCs), where each EIDs can be associated to more than one (multiple) …
-
Reducing list access time for LISP execution
Prefetching items into cache can either increase or decrease memory access time, depending on how well the prefetching algorithm matches the memory reference pattern. A popular prefetching algorithm is one block lookahead (OBL). Caches help to improve system performance mainly because of the …
-
Predicate dispatching in the Common Lisp Object
… of other dispatching mechanisms, to the Common Lisp Object System (CLOS). To demonstrate its utility, I used predicate dispatching to enhance Weyl, a computer algebra system which doubles as a CLOS library. My result is Dispatching-Enhanced Weyl (DEW), a computer algebra system that I have …
-
A Multiprocessing System for the Direct Execution of Lisp
Made available in DSpace on 2014-12-12T20:54:57Z (GMT). No. of bitstreams: 1 7913656.pdf: 2382168 bytes, checksum: 399e457032a16e68e5ef740765db16a3 (MD5) Previous issue date: 1978
-
A lisp-oriented multiprocessor architecture for digital parity simulation
Thesis: M.S., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 1987
-
PDP/11 LISP and its use to teach automatic computation concepts.
Thesis: B.S., Massachusetts Institute of Technology, Department of Electrical Engineering, 1972
-
Performance analysis of garbage collection and dynamic reordering in a Lisp system
… improving the efficiency of memory management in Lisp and similar dynamic language systems. An analysis of the effect of generation configuration is presented, focusing on the effect of the number of generations and generation capacities. Analytic timing and survival models are used to represent …
-
Improving Pan-African research and education networks through traffic engineering: A LISP/SDN approach
… (SDN), Locator/Identifier Separation Protocol (LISP) and Reinforcement Learning. To quantify the extent and impact of circuitous routing among Africa's NRENs, active topology discovery was conducted. Traceroute results showed that up to 75% of traffic from African sources to African NRENs went …
-
Blast: A Machine Architecture for High-Speed List Processing Using Associative Tables (Traversal, Pointers)
… of nonnumeric processing languages such as LISP, there has been an increasing demand for machine architectures which are ideally suited to run such languages. Access to the main data structure used in LISP systems, i.e., list structures, is not conducive to a pipelined machine organization. …
-
A Study of Locator ID Separation Protocol
Locator ID/Separation Protocol (LISP) aims at solving the issues in the current Internet Routing Architecture. The growth of the BGP routing table and Forwarding Information bases on core routers is very high. In addition, the number of BGP messages that are currently being processed by the BGP …
-
Natively probabilistic computation
… Boolean circuits, backtracking search and pure Lisp. I show how these tools let one compactly specify probabilistic generative models, generalize and parallelize widely used sampling algorithms like rejection sampling and Markov chain Monte Carlo, and solve difficult Bayesian inference problems. …
-
An improved locator identifier split architecture (ILISA) to enhance mobility
… Locator Identifier Separation Protocol MN (LISP-MN) and Mobile IPv6 (MIPv6). The MIPv6, as the standardised IETF mobility protocol, was used to benchmark the performance of LISP-MN. The poor performance recorded is owed to the design of the LISP-MN’s architecture, with no specific way of …
-
Locally Identified Solutions and Practices: a critical realist investigation into the processes of social innovation in the context of neighbourhood policing
… Locally Identified Solutions and Practices (LISP) applied to neighbourhood policing work as a socially innovative community engagement process in neighbourhood policing?’<br/><br/>The research used a critical realist & systems analysis approach, utilising Soft Systems Methodology (SSM) to …
-
APT: A principled design for an animated view of program execution for novice programmers
… in three 'canned stepper displays for Prolog, Lisp and 6502 Assembler. These prototypes, called APT-0 (Animated Program Tracer), demonstrate that the design principles can be broadly applied to procedural and declarative; low and high level languages. Protocol data was collected from subjects …
-
Towards utilizing network diversity for future internet protocols
… danach mit dem Locator/ID Separation Protocol (LISP) die vielversprechendste Lösung. Dabei steht die Bewertung der Leistung, der Sicherheitsaspekte und der Ausfallsicherheit von LISP im Mittelpunkt. Vorhergehende Studien haben durch die Analyse aktuellen Datenverkehrs gezeigt, dass der Großteil …
-
Gestión mecanizada del conocimiento matemático en topología algebraica
… Topology using the Kenzo system, a Common Lisp program devoted to Algebraic Topology developed by Francis Sergeraert, as an instrumental tool. We can split the work presented in this thesis into three main parts which coincide with the main goals of Mathematical Knowledge Management. Our …
Page 1 of 3