1377 search results - page 24 / 276 » Flit-Reservation Flow Control |
ESORICS
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
INFOCOM
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
TON
2002
13 years 8 months ago
2002
We propose a flow-control scheme for multicast ABR ser
ICPP
1993
IEEE
14 years 1 months ago
1993
IEEE
SIMD or vector computers and collection-oriented languages, like C , are designed to perform the same computation on each data item or on just a subset of the data. Subsets of pro...