Sciweavers

MAM
2002
90views more  MAM 2002»
13 years 10 months ago
Layered interactive convergence for distributed clock synchronization
Raghukul Tilak, Alan D. George, Robert W. Todd
FMICS
2010
Springer
14 years 7 days ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre