Sciweavers

2169 search results - page 103 / 434
» Mobile Processing in Open Systems
Sort
View
314
Voted
FDL
2004
IEEE
15 years 10 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 8 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 6 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 6 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
16 years 1 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...