Multi-Valued Performance Metrics for Real-Time Embedded Systems Xiaobo (Sharon) HuRajeshkumar S. Sambandam OriginalPaper Pages: 5 - 28
Synthesis for Mixed Arithmetic Anne MignotteJean-Michel MullerOlivier Peyran OriginalPaper Pages: 29 - 60
Assessing Probabilistic Timing Constraints on System Performance G. de VecianaM. JacomeJian-Huei Guo OriginalPaper Pages: 61 - 81
Functional Validation of Mixed Hardware/Software Systems based on Specification, Partitioning, and Simulation of Test Cases Axel JantschJohann NotbauerThomas Albrecht OriginalPaper Pages: 83 - 113