HAL (Le Centre pour la Communication Scientifique Directe), 2004
... 12, p. 1104-1123, 2000. [KRONOS] http://www-verimag.imag.fr/TEMPORISE/kronos/ [LOH 02] C. Loh... more ... 12, p. 1104-1123, 2000. [KRONOS] http://www-verimag.imag.fr/TEMPORISE/kronos/ [LOH 02] C. Lohr, Contribution à la spécification de systèmes temps reel s'appuyant sur la technique de description formelle RT-LOTOS, Doctorat INPT, Toulouse, France, Décembre 2002. ...
Flexible manufacturing systems are composed of several interacting heterogeneous devices which pr... more Flexible manufacturing systems are composed of several interacting heterogeneous devices which present several synchronization and resource allocation problems. Designing the driving system of a flexible assembly cell is then rather complex, and a well defined methodology is therefore required.
... JP. ... ti , with firing interval [ai , bi ], is enabled by the current marking and that a di... more ... JP. ... ti , with firing interval [ai , bi ], is enabled by the current marking and that a different transition ti' is fired at time q (with ai < q < bi) ; this is possible because another transition can fire independently of ti 9 After step (2) of the firing of ti ', the current firing interval of ti is [max (0, ai-...
Page 1. Formal Validation of a Multicast Transport Protocol R. Ben Abbou FST, Fès, Morocco Benabb... more Page 1. Formal Validation of a Multicast Transport Protocol R. Ben Abbou FST, Fès, Morocco Benabbou@yahoo.com A.Benkiran EMI, Rabat, Morocco benkiran@emi.ac.ma JP Courtiat LAAS-CNRS, Toulouse, France courtiat@laas.fr Abstract ...
Extended Real-Time LOTOS for Preemptive Systems Verification Tarek Sadani (1)(2), P. de Saqui-San... more Extended Real-Time LOTOS for Preemptive Systems Verification Tarek Sadani (1)(2), P. de Saqui-Sannes (1)(2), JP. Courtiat (1) 1LAAS-CNRS, 7 avenue du colonel Roche, 31077 Toulouse Cedex 04, France 2ENSICA, 1 place Emile Blouin, 31056 Toulouse Cedex 05, France ...
1999 2nd International Conference on ATM. ICATM'99 (Cat. No.99EX284)
This paper presents a comparative study of different techniques used for communicating among dist... more This paper presents a comparative study of different techniques used for communicating among distinct IP subnetworks over an ATM infrastructure. The technologies dealt with are IP routing on an ATM infrastructure, ATM switching and IP switching. The study relies on simulators specially designed and implemented for each technology. These simulators take as input two real traffic traces that have been collected on the Internet, respectively on a campus and a corporate environment. For each traffic trace, important parameters have been identified and analyzed to verify how they do affect the performance of each technology. The comparison among the different approaches has taken into account such parameters like the VC space, the number of established flows, the average packet delay, the flow creation delay, the connection release delay, the routing delay, etc. The simulation results will permit us to tune some parameters of each technology, and to choose, depending on the traffic requirements, the solution that appears to be the most appropriate for communicating among different IP subnetworks over an ATM infrastructure
... vi Technology Enhanced Learning Computer-Automated Testing: an Evaluation of Student Performa... more ... vi Technology Enhanced Learning Computer-Automated Testing: an Evaluation of Student Performance 59 Silvia Cagnone, Stefania Mignani, Roberto Ricci ... o D. Martakos, University of Athens, Greece o D. Mwanza, Open University, UK o 5. Savvas, EUinogermaniki Agogi ...
HAL (Le Centre pour la Communication Scientifique Directe), 2004
... 12, p. 1104-1123, 2000. [KRONOS] http://www-verimag.imag.fr/TEMPORISE/kronos/ [LOH 02] C. Loh... more ... 12, p. 1104-1123, 2000. [KRONOS] http://www-verimag.imag.fr/TEMPORISE/kronos/ [LOH 02] C. Lohr, Contribution à la spécification de systèmes temps reel s&#x27;appuyant sur la technique de description formelle RT-LOTOS, Doctorat INPT, Toulouse, France, Décembre 2002. ...
Flexible manufacturing systems are composed of several interacting heterogeneous devices which pr... more Flexible manufacturing systems are composed of several interacting heterogeneous devices which present several synchronization and resource allocation problems. Designing the driving system of a flexible assembly cell is then rather complex, and a well defined methodology is therefore required.
... JP. ... ti , with firing interval [ai , bi ], is enabled by the current marking and that a di... more ... JP. ... ti , with firing interval [ai , bi ], is enabled by the current marking and that a different transition ti' is fired at time q (with ai < q < bi) ; this is possible because another transition can fire independently of ti 9 After step (2) of the firing of ti ', the current firing interval of ti is [max (0, ai-...
Page 1. Formal Validation of a Multicast Transport Protocol R. Ben Abbou FST, Fès, Morocco Benabb... more Page 1. Formal Validation of a Multicast Transport Protocol R. Ben Abbou FST, Fès, Morocco Benabbou@yahoo.com A.Benkiran EMI, Rabat, Morocco benkiran@emi.ac.ma JP Courtiat LAAS-CNRS, Toulouse, France courtiat@laas.fr Abstract ...
Extended Real-Time LOTOS for Preemptive Systems Verification Tarek Sadani (1)(2), P. de Saqui-San... more Extended Real-Time LOTOS for Preemptive Systems Verification Tarek Sadani (1)(2), P. de Saqui-Sannes (1)(2), JP. Courtiat (1) 1LAAS-CNRS, 7 avenue du colonel Roche, 31077 Toulouse Cedex 04, France 2ENSICA, 1 place Emile Blouin, 31056 Toulouse Cedex 05, France ...
1999 2nd International Conference on ATM. ICATM'99 (Cat. No.99EX284)
This paper presents a comparative study of different techniques used for communicating among dist... more This paper presents a comparative study of different techniques used for communicating among distinct IP subnetworks over an ATM infrastructure. The technologies dealt with are IP routing on an ATM infrastructure, ATM switching and IP switching. The study relies on simulators specially designed and implemented for each technology. These simulators take as input two real traffic traces that have been collected on the Internet, respectively on a campus and a corporate environment. For each traffic trace, important parameters have been identified and analyzed to verify how they do affect the performance of each technology. The comparison among the different approaches has taken into account such parameters like the VC space, the number of established flows, the average packet delay, the flow creation delay, the connection release delay, the routing delay, etc. The simulation results will permit us to tune some parameters of each technology, and to choose, depending on the traffic requirements, the solution that appears to be the most appropriate for communicating among different IP subnetworks over an ATM infrastructure
... vi Technology Enhanced Learning Computer-Automated Testing: an Evaluation of Student Performa... more ... vi Technology Enhanced Learning Computer-Automated Testing: an Evaluation of Student Performance 59 Silvia Cagnone, Stefania Mignani, Roberto Ricci ... o D. Martakos, University of Athens, Greece o D. Mwanza, Open University, UK o 5. Savvas, EUinogermaniki Agogi ...
Uploads
Papers