NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
International journal on software tools for technology transfer : STTT, Tập 15, Số 3, 2013
Mục lục:
STTNội dung
1Rigorous embedded design: challenges and perspectives / Saddek Bensalem, Axel Legay, Marius Bozga
2Component-based system design: analytic real-time interfaces for state-based component implementations / Kai Lampka, Simon Perathoner, Lothar Thiele
3Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems / Jonas Rox, Rolf Ernst
4Temporal isolation in real-time systems: the VBS approach / Silviu S. Craciunas and others
5Timed-automata based schedulability analysis for distributed firm real-time systems: a case study / Thi Thieu Hoa Le and others
6Tradeoff exploration between reliability, power consumption, and execution time for embedded systems. The TSH tricriteria scheduling heuristic / Ismail Assayad, Alain Girault, Hamoudi Kalla
7Monitoring properties of analog and mixed-signal circuits / Oded Maler, Dejan Nickovic
8Modeling task systems using parameterized partial orders / Fred Houben, Georgeta Igna, Frits Vaandrager