Sciweavers

5608 search results - page 886 / 1122
» On the Theory of Matchgate Computations
Sort
View
RTSS
2009
IEEE
16 years 1 months ago
Integrating Proactive and Reactive Approaches for Robust Real-Time Data Services
— Real-time data services are needed in data-intensive real-time applications such as e-commerce or traffic control. However, it is challenging to support real-time data service...
Yan Zhou, Kyoung-Don Kang
ICRA
2009
IEEE
130views Robotics» more  ICRA 2009»
16 years 1 months ago
Qualitative robot localisation using information from cast shadows
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
Paulo Santos, Hannah M. Dee, Valquiria Fenelon
IEEEPACT
2009
IEEE
16 years 1 months ago
Analytical Modeling of Pipeline Parallelism
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...
Angeles G. Navarro, Rafael Asenjo, Siham Tabik, Ca...
INFOCOM
2009
IEEE
16 years 1 months ago
Exact Analysis of Latency of Stateless Opportunistic Forwarding
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
Chi-Kin Chau, Prithwish Basu
LICS
2009
IEEE
16 years 1 months ago
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
Jérôme Leroux