Sciweavers

2169 search results - page 103 / 434
» Mobile Processing in Open Systems
Sort
View
244
Voted
FDL
2004
IEEE
15 years 7 months ago
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
P. Hastono, Stephan Klaus, Sorin A. Huss
ICDE
2007
IEEE
132views Database» more  ICDE 2007»
16 years 5 months ago
Lira: Lightweight, Region-aware Load Shedding in Mobile CQ Systems
Position updates and query re-evaluations are two predominant, costly components of processing location-based, continual queries (CQs) in mobile systems. To obtain high-quality qu...
Bugra Gedik, Ling Liu, Kun-Lung Wu, Philip S. Yu
APAL
2008
111views more  APAL 2008»
15 years 4 months ago
Cut elimination for a simple formulation of epsilon calculus
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
Grigori Mints
MOBISYS
2004
ACM
16 years 3 months ago
Impromptu: Managing Networked Audio Applications for Mobile Users
This paper discusses the software architecture of Impromptu, a mobile IP-based audio computing platform, with an associated set of network-based applications and services. Impromp...
Chris Schmandt, Kwan Hong Lee, Jang Kim, Mark S. A...
3DIM
2007
IEEE
15 years 10 months ago
3D laser measurement system for large scale architectures using multiple mobile robots
In order to construct three dimensional shape models of large scale architectures by a laser range finder, a number of range images are normally taken from various viewpoints and...
Ryo Kurazume, Yukihiro Tobata, Yumi Iwashita, Tsut...