Sciweavers

140 search results - page 19 / 28
» Comparing the performance of concurrent linked-list implemen...
Sort
View
ICIW
2009
IEEE
14 years 3 months ago
An Adaptive Scheduling Policy for Staged Applications
The performance of Web servers and application servers is a crucial factor for the success of the underlying business activity. Current commercial servers (such as Apache and Micr...
Mohammad Shadi Al Hakeem, Jan Richling, Gero M&uum...
PPDP
1999
Springer
14 years 26 days ago
A Virtual Machine for a Process Calculus
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
Luís M. B. Lopes, Fernando M. A. Silva, Vas...
CAV
1997
Springer
102views Hardware» more  CAV 1997»
14 years 5 days ago
Efficient Model Checking Using Tabled Resolution
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramak...
IPPS
2006
IEEE
14 years 2 months ago
Acceleration of a content-based image-retrieval application on the RDISK cluster
Because of the growing use of multimedia content over Internet, Content-Based Image Retrieval (CBIR) has recently received a lot of interest. While accurate search techniques base...
Auguste Noumsi, Steven Derrien, Patrice Quinton
FPGA
2010
ACM
197views FPGA» more  FPGA 2010»
13 years 12 months ago
A 3d-audio reconfigurable processor
Various multimedia communication systems based on 3DAudio algorithms have been proposed by researchers from the acoustic data processing domain. However, all systems reported in t...
Dimitris Theodoropoulos, Georgi Kuzmanov, Georgi G...