The runtime system of dynamic languages such as Prolog or Lisp and their derivatives contain a symbol table, in Prolog often called the atom table. A simple dynamically resizing hash-table used to be an adequate way to implement this table. As Prolog becomes fashionable for 24×7 server processes we need to deal with atom garbage collection and concurrent access to the atom table. Classical lock...

INTRODUCTION Given the large volume of data generated in hospitals, in order to efficiently management them; using hospital information system (HIS) is critical. User participation is one of the major factors in the success of HIS that in turn leads Information needs and processes to be correctly predicted and also their commitment to the development of HIS to be augmented. The purpose of this ...

Extended Abstract In this paper we present an implementation of a tableau calculus for propositional Intuitionistic Logic in which the depth of the deductions is linearly bounded in the length of the formula to be proved and giving rise to a O(n log n)-SPACE decision procedure. This implementation is based on the tableau calculus given in 1], which is an improvement of that given in 3]. In T, d...

this study aimed to explore concentration of a low grade sulfide-oxide lead-zinc sample containing 2.3% pb, 1.91% zn taken from changarzeh mine, south natanz, iran. the effects of different parameters such as type and dosage of collector, milling retention time, dosage of sodium sulfur and its preparation time, application of sodium silicate, ph and solid content were investigated in relation t...

This paper addresses the fixed-point DSP implementation of FM demodulation and decoding for the digital radio application. The demodulation module involves division and arctan for which there is no dedicated hardware on a fixed-point DSP. Division is normally achieved either by using the Newton-Raphson method or by using conditional subtraction instruction. It is normally more efficient to use ...

ASTRACT In recent studies substantial number of research papers explored possibility of accelerating CRC codes as a way of gaining significant performance increase while processing a protocol. Most software implementation depend on a speed and architectural improvements of general purpose processors. It has been reported that a single CPU core still can’t achieve 10Gbps rates when receiving and...

This paper discusses details and implementation techniques for an ongoing project called MNET. First, an example socket application is presented and the difficulties of the sockets API is addressed. Then we go into detail as to how MNET is built and how it is added as a linux kernel module with ease. Finally we show other projects that are related to what MNET is trying to fix.

Deletion from open-address hash table is not so easy as deletion from chained hash table, because in open-address table we can’t simply mark a slot containing deleted key as empty. Search for keys may become incorrect. The classical method to implement deletion is to mark slots in hash table by three values: “free”, “busy”, “deleted”. That method is easy to implement, but there are some disadva...