Sciweavers

15840 search results - page 2612 / 3168
» The Control of Synchronous Systems
Sort
View
INFOCOM
2010
IEEE
15 years 5 months ago
Counting RFID Tags Efficiently and Anonymously
Radio Frequency IDentification (RFID) technology has attracted much attention due to its variety of applications, e.g., inventory control and object tracking. One important problem...
Hao Han, Bo Sheng, Chiu Chiang Tan, Qun Li, Weizhe...
ISITA
2010
15 years 5 months ago
Lattice-reduction aided HNN for vector precoding
In this paper we propose a modication of the Hopeld neural networks for vector precoding, based on Lenstra, Lenstra, and Lov`asz lattice basis reduction. This precoding algorithm c...
Vesna Gardasevic, Ralf R. Müller, Daniel J. R...
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
15 years 5 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
CMMR
2009
Springer
211views Music» more  CMMR 2009»
15 years 5 months ago
Surface Interactions for Interactive Sonification
This paper presents novel interaction modes for Model-Based Sonification (MBS) via interactive surfaces. We first discuss possible interactions for MBS on a multi-touch surface. Th...
René Tünnermann, Lukas Kolbe, Till Bov...
ESIAT
2009
IEEE
15 years 5 months ago
Research and Realization of Geospatial Information Service Orchestration Based on BPEL
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
Xiaoliang Meng, Fuling Bian, Yichun Xie
« Prev « First page 2612 / 3168 Last » Next »