in this paper, we present a novel algorithm for vanet using cloud computing. we accomplish processing, routing and traffic control in a centralized and parallel way by adding one or more server to the network. each car or node is considered a client, in such a manner that routing, traffic control, getting information from client and data processing and storing are performed by one or more serve...

This paper compares the use of Lisp and Prolog for the implementation of a functional grammar unification system. To achieve this comparison, we have taken as a starting point Michael Elhadad’s FUF system, which is written in Lisp and produced a much smaller and more efficient Prolog version (PFUF) retaining many of FUF’s essential features. Our approach is based on a precompilation scheme that...

We review META, a classic technique for building recursive descent parsers, that is both simple and efficient. While META does not handle all possible regular or context-free grammars, it handles a surprisingly large fraction of the grammars encountered by Lisp programmers. We show how META can be used to parse streams, strings and lists—including Common Lisp's hairy lambda expression parameter...

This document describes various methods for interworking between the Internet and an Internet in which Endpoint Identifiers are separated from to Routing Locators using the Locator/ID Separation Protocol (LISP). Existing Internet hosts that do not participate in the LISP system must still be able to reach sites numbered from this EID prefixes. This new draft describes mechanisms which might be ...

We show how to speed up the Gabriel 'Triangle' Benchmark by more than two orders of magnitude (206 X faster than the Cray-1) on a Common Lisp system running on the 80860-based OKIstation, by using better programming techniques. The resulting program fits nicely within next generation on-chip caches and kills almost all potential parallelism, thus becoming worthless as a general-purpose Lisp ben...

This paper compares the use of Lisp and Prolog for the implementation of a functional grammar uniication system. To achieve this comparison, we have taken as a starting point Michael Elhadad's FUF system, which is written in Lisp and produced a much smaller and more eecient Prolog version (PFUF) retaining many of FUF's essential features. Our approach is based on a precompilation scheme that re...

Conventional wisdom has maintained that while LISP is suitable for the development of experimental software, it does not support production-quality systems well. This report describes a building-block approach where a complex system (an intelligent Chinese language tutor) was built in a LISP environment out of a series of powerful tools. The resulting system does not in any way sacrifice perfor...