Sciweavers

24132 search results - page 213 / 4827
» and 2009
Sort
View
EMSOFT
2009
Springer
16 years 1 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
EMSOFT
2009
Springer
16 years 1 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
123
Voted
EPIA
2009
Springer
16 years 1 months ago
Tracking Recurring Concepts with Meta-learners
João Gama, Petr Kosina