1681 search results - page 294 / 337 » Formal Design of Distributed Control Systems with Lustre |
IPPS
2003
IEEE
14 years 27 days ago
2003
IEEE
ShareStreams (Scalable Hardware Architectures for Stream Schedulers) is a canonical architecture for realizing a range of scheduling disciplines. This paper discusses the design c...
ANSS
2002
IEEE
14 years 17 days ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
The Grid-based Virtual Laboratory AMsterdam (VLAM-G), provides a science portal for distributed analysis in applied scientific research. It offers scientists experiment control, d...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Identity federation is a key requirement for today’s distributed services. This technology allows managed sharing of users’ identity information between identity providers (...
ICDCS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper describes a highly available distributedvideo on demand (VoD) service which is inherently fault tolerant. The VoD service is provided by multiple servers that reside at...