5446 search results - page 507 / 1090 » Mobile computing |
152
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
169
Voted
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
— This paper describes decentralized control laws for the coordination of multiple vehicles performing spatially distributed tasks. The control laws are based on a gradient desce...
127
Voted
WMCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
Networked Surfaces are surfaces which provide network connectivity to specially augmented objects, when these objects are physically placed on top of the surface. When an object (...
136
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
: This paper presents the study of modifying a legacy single-issue DSP processor to provide real-time processing capacity for emerging multimedia applications. The latest video com...
128
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...