Sciweavers

12264 search results - page 88 / 2453
» An Analysis of the XSL Algorithm
Sort
View
FMCAD
2007
Springer
15 years 10 months ago
Algorithmic Analysis of Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...
SAFECOMP
2007
Springer
15 years 10 months ago
Formal Specification and Analysis of AFDX Redundancy Management Algorithms
Jan Täubrich, Reinhard von Hanxleden