Sciweavers

1995 search results - page 236 / 399
» interfaces 2008
Sort
View
FORMATS
2008
Springer
15 years 7 months ago
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
K. Mani Chandy, Sayan Mitra, Concetta Pilotto
FPGA
2008
ACM
161views FPGA» more  FPGA 2008»
15 years 7 months ago
Implementing high-speed string matching hardware for network intrusion detection systems
This paper presents high-throughput techniques for implementing FSM based string matching hardware on FPGAs. By taking advantage of the fact that string matching operations for di...
Atul Mahajan, Benfano Soewito, Sai K. Parsi, Ning ...
GI
2008
Springer
15 years 6 months ago
Navigating Dynamically-Generated High Quality Maps on Tilt-Sensing Mobile Devices
Abstract: On mobile devices, navigating in high-resolution and high-density 2D information spaces, such as geographic maps, is a common and important task. In order to support this...
Sven G. Kratz, Michael Rohs
138
Voted
GISCIENCE
2008
Springer
145views GIS» more  GISCIENCE 2008»
15 years 6 months ago
Similarity-Based Information Retrieval and Its Role within Spatial Data Infrastructures
While similarity has gained in importance in research about information retrieval on the (geospatial) semantic Web, information retrieval paradigms and their integration into exist...
Krzysztof Janowicz, Marc Wilkes, Michael Lutz
GLOBECOM
2008
IEEE
15 years 6 months ago
Automatic Large Scale Generation of Internet PoP Level Maps
—Point of presence (PoP) level Internet maps are promising for tasks such as reasoning about the Internet evolution in time or Internet delay estimation. We thus suggest an effi...
Dima Feldman, Yuval Shavitt