Sciweavers

6249 search results - page 1099 / 1250
» Topological Informational Spaces
Sort
View
BCSHCI
2009
15 years 7 months ago
Putting the physical into the digital: issues in designing hybrid interactive surfaces
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
David S. Kirk, Abigail Sellen, Stuart Taylor, Nico...
CONCUR
2010
Springer
15 years 7 months ago
Reasoning about Optimistic Concurrency Using a Program Logic for History
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
DIALM
2010
ACM
146views Algorithms» more  DIALM 2010»
15 years 7 months ago
Regional consecutive leader election in mobile ad-hoc networks
In this paper we introduce the regional consecutive leader election (RCLE) problem, which extends the classic leader election problem to the ever-changing environment of mobile ad-...
Hyun Chul Chung, Peter Robinson, Jennifer L. Welch
GLOBECOM
2008
IEEE
15 years 7 months ago
Physical Layer Differential Network Coding for Two-Way Relay Channels
— In this work, we consider differential modulation in two-way relay channels (TWRC). In single antenna systems, we propose non-coherent schemes for both amplify-and forward (AF)...
Tao Cui, Feifei Gao, Chintha Tellambura
ASAP
2010
IEEE
185views Hardware» more  ASAP 2010»
15 years 6 months ago
ImpEDE: A multidimensional design-space exploration framework for biomedical-implant processors
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
Dhara Dave, Christos Strydis, Georgi Gaydadjiev
« Prev « First page 1099 / 1250 Last » Next »