1875 search results - page 54 / 375 » A Calculus of Broadcasting Systems |
HPDC
1993
IEEE
13 years 11 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— A mobile satellite broadcasting service including an ancillary terrestrial component (ATC) takes advantage of the satellite’s inherent capability to provide broadcast service...
WAIM
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. Broadcasting is a very effective technique to disseminate information to a massive number of clients when the data size is small. However, if the data size is large, the...
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...