We investigate the scalability of an existing lockless hash table when it is implemented on a GPU. This lockless hash table is an essential part of a model checker, a tool that can be used to prove the correctness of software that performs critical tasks. We show that our implementation of the hash table on a GPU is scalable and that a GPU can lookup twice as much per second as a CPU when runni...

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 lo...

We describe an implementation of the Deformable Parts Model [1] that operates in a user-defined time-frame. Our implementation uses a variety of mechanism to trade-off speed against accuracy. Our implementation can detect all 20 PASCAL 2007 objects simultaneously at 30Hz with an mAP of 0.26. At 15Hz, its mAP is 0.30; and at 100Hz, its mAP is 0.16. By comparison the reference implementation of [...

Reading is one of the important skills which should be mastered by students. At same time, students have difficulties learning a foreign language. Also, it believed that every student has different capacity for Therefore, this research aims to find out whether there significant difference in students’ reading ability after implementation mind mapping comprehension and through as media. In colle...

Background: Advertising media are frequently employet as promotial to disseminate information about produducts. The aspect of celebrity endorser's profile is their level attractiveness, another credibility and domain knowledge. Purpose: This study aims examine the effect credibility, expertise endorsers on purchasing decisions. Method : Experimental research techniques 59 participants were util...

Symbolic substitution, a parallel processing technique, has been proposed in computing literature to perform fast, carry-free addition of numbers. Several algorithms and corresponding symbolic substitution tables have been developed for addition of two numbers represented in binary, modified signed digit (MSD), and canonical modified signed digit (CMSD) number systems. In this paper, however, w...

The aim of this study was to investigate the effects using freewriting techniques on writing ability Indonesian junior high school students in producing descriptive texts. conducted a private located Banten province and involved 33 who were selected through total sampling. A quasi-experimental design used, with pre- post-tests serving as research instruments. tests validated for content validit...