Sciweavers

82 search results - page 6 / 17
» Specifying Asynchronous Transfer of Control
Sort
View
HPCC
2009
Springer
15 years 2 months ago
Grid Network Dimensioning by Modeling the Deadline Constrained Bulk Data Transfers
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
Kashif Munir, Pascale Vicat-Blanc Primet, Michael ...
84
Voted
EMSOFT
2007
Springer
15 years 1 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
RTSS
1997
IEEE
15 years 1 months ago
Response-time guarantees in ATM networks
We present a method for providing response-time guarantees in Asynchronous Transfer Mode (ATM) networks. The method is based on traditional real-time CPU Response-Time Analysis (R...
Andreas Ermedahl, Hans Hansson, Mikael Sjödin
COMCOM
1999
99views more  COMCOM 1999»
14 years 9 months ago
Fair and reliable hop-by-hop flow control
Asynchronous transfer mode (ATM) networks can support different services with different Quality of Service (QoS) requirements. Among all service types, Available Bit Rate (ABR) is...
Wei Kuang Lai, Duan Ruei Shiu, Mei Chian Liou, Jiu...
FUIN
2007
110views more  FUIN 2007»
14 years 9 months ago
Controllable Delay-Insensitive Processes
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
Mark B. Josephs, Hemangee K. Kapoor