2468 search results - page 158 / 494 » Aggregation operators 2003 |
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
HOTOS
2003
IEEE
14 years 2 months ago
2003
IEEE
Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting t...
HOTOS
2003
IEEE
14 years 2 months ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
- In this paper we describe the navigation and planning of the i-Fork system, a flexible AGV intended to operate in partially structured warehouses where frequent floor plant layou...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
— Stability analysis of high-order delta-sigma loops is a challenge. In this brief, a sufficient design criterion is presented for highorder multibit error-feedback DACs which a...