This innovative approach eliminates the traditional instruction set interface and instead exposes the details of a simple replicated architecture directly to the compiler. This allows the compiler to customize the hardware to each application.
For the purpose of this paper a logic is defined to be a non-empty set of propositions which is partially ordered by a relation of logical implication, denoted by "s" , and which, as a poset, is orthocomplemented by a unary operation of negation.The negation of the proposition x is denoted by Nx and the least element in the logic is denoted by 0 , we write NO = 1 .
A number of authors have studied busy period problems for particular cases of the general single-server queueing system. For example, using the now standard notation of Kendall [7], GI/M/1 was studied by Conolly [3] and Takacs [18]. Earlier work on M/M/1 includes that of Ledermann and Reuter [8] and Bailey [1]. Kendall [6], Takacs [17], and Prabhu [11] have considered M/G/1.
Summary
It has been proved by Burke (1956) and Reich (1957) that the output process of a single server queue with a Poisson input process and negative exponential distribution for service time is again a Poisson process with the same parameter as the input process. In this paper single server queues with a Poisson input process and a general class of service time distribution are considered. It is shown that successive interdeparture intervals are independent in the limit only in the case the service time is negative exponential. It is shown also that if the size of the waiting room is taken into account as in Finch (1958) then successive departure intervals are not independent in the limit even when the service time is negative exponential.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.