Sciweavers

5171 search results - page 844 / 1035
» Deterministic Parallel Processing
Sort
View
EDBT
2010
ACM
155views Database» more  EDBT 2010»
15 years 7 months ago
Suffix tree construction algorithms on modern hardware
Suffix trees are indexing structures that enhance the performance of numerous string processing algorithms. In this paper, we propose cache-conscious suffix tree construction algo...
Dimitris Tsirogiannis, Nick Koudas
WSC
2008
15 years 6 months ago
A Pi-calculus formalism for discrete event simulation
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
Jianrui Wang, Richard A. Wysk
152
Voted
CAV
2008
Springer
131views Hardware» more  CAV 2008»
15 years 5 months ago
Validating High-Level Synthesis
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
CIKM
2008
Springer
15 years 5 months ago
An extended cooperative transaction model for xml
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
Francis Gropengießer, Kai-Uwe Sattler
DICTA
2007
15 years 5 months ago
Ridge Enhancement in Fingerprint Images Using Oriented Diffusion
The extraction of “Level 2” detail — ridge terminations, ridge bifurcations, bridges etc. — from digitised images of fingerprints requires an accurate segmentation of the...
Robert O. Hastings