Sciweavers

21007 search results - page 128 / 4202
» Mobile Parallel Computing
Sort
View
CONCUR
2010
Springer
15 years 3 months ago
Parameterized Verification of Ad Hoc Networks
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavat...
CHI
2003
ACM
16 years 2 months ago
Gummi: user interface for deformable computers
We show interaction possibilities and a graphical user interface for deformable, mobile devices. WIMP (windows, icons, mouse, pointer) interfaces are not practical on mobile devic...
Carsten Schwesig, Ivan Poupyrev, Eijiro Mori
SIGMETRICS
2003
ACM
130views Hardware» more  SIGMETRICS 2003»
15 years 7 months ago
Analysis of TCP's computational energy cost for mobile computing
In this paper we present results from a detailed measurement study of TCP (Transmission Control Protocol) running over a wireless link. Our primary goal was on obtaining a breakdo...
Bokyung Wang, Suresh Singh
EUROMICRO
2002
IEEE
15 years 7 months ago
Applications for the Highly Parallel Mobile Multimedia Modem M3-DSP
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
Michael Hosemann, Gerhard Fettweis, Vladimir Nikol...