Changes between Version 45 and Version 46 of SoclibCourseTp1
- Timestamp:
- Jul 4, 2011, 12:01:11 PM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SoclibCourseTp1
v45 v46 14 14 La modélisation CABA est l'un des deux niveaux d'abstraction utilisés pour modéliser les composants de la bibliothèque SoCLib. 15 15 Ce type de modélisation s'appuie sur la théorie des automates d'états synchrones communicants (CFSM), 16 et permet d'utiliser des technique d'ordonnancement statique pour accélérer la simulation.16 et permet d'utiliser des techniques d'ordonnancement statique pour accélérer la simulation. 17 17 18 18 = 2. Architecture matérielle =