3 search results - page 1 / 1 » Causality in the Semantics of Esterel: Revisited |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
MEMOCODE
2003
IEEE
13 years 10 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
EMS
2008
IEEE
13 years 7 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...