-
1
-
-
33846118079
-
Designing reliable systems from unreliable components: The challenges of transistor variability and degradation
-
S. Borkar, "Designing reliable systems from unreliable components: the challenges of transistor variability and degradation, " Micro, IEEE, vol. 25, no. 6, pp. 10-16, 2005.
-
(2005)
Micro, IEEE
, vol.25
, Issue.6
, pp. 10-16
-
-
Borkar, S.1
-
2
-
-
36249000551
-
Embedded system design for automotive applications
-
A. Sangiovanni-Vincentelli and M. Di Natale, "Embedded system design for automotive applications, " IEEE Computer, vol. 40, no. 10, pp. 42-51, 2007.
-
(2007)
IEEE Computer
, vol.40
, Issue.10
, pp. 42-51
-
-
Sangiovanni-Vincentelli, A.1
Di Natale, M.2
-
3
-
-
30844443384
-
Reliabilitycentric high-level synthesis
-
S. Tosun, N. Mansouri, E. Arvas, M. Kandemir, and Y. Xie, "Reliabilitycentric high-level synthesis, " in Proc. of DATE, pp. 1258-1263, 2005.
-
(2005)
Proc. of DATE
, pp. 1258-1263
-
-
Tosun, S.1
Mansouri, N.2
Arvas, E.3
Kandemir, M.4
Xie, Y.5
-
4
-
-
34548331636
-
Reliability-aware system synthesis
-
M. Gla?, M. Lukasiewycz, T. Streichert, C. Haubelt, and J. Teich, "Reliability-aware system synthesis, " in Proc. of DATE, pp. 409-414, 2007.
-
(2007)
Proc. of DATE
, pp. 409-414
-
-
Gla, M.1
Lukasiewycz, M.2
Streichert, T.3
Haubelt, C.4
Teich, J.5
-
5
-
-
77957998076
-
Analysis of on-line self-testing policies for real-time embedded multiprocessors in DSM technologies
-
O. Héron, J. Guilhemsang, N. Ventroux, and A. Giulieri, "Analysis of on-line self-testing policies for real-time embedded multiprocessors in DSM technologies, " in Proc. of IOLTS, pp. 49-55, 2010.
-
(2010)
Proc. of IOLTS
, pp. 49-55
-
-
Héron, O.1
Guilhemsang, J.2
Ventroux, N.3
Giulieri, A.4
-
6
-
-
11244324452
-
Reliability-aware co-synthesis for embedded systems
-
Y. Xie, L. Li, M. Kandemir, N. Vijaykrishnan, and M. J. Irwin, "Reliability-aware co-synthesis for embedded systems, " in Proc. of ASAP, pp. 41-50, 2004.
-
(2004)
Proc. of ASAP
, pp. 41-50
-
-
Xie, Y.1
Li, L.2
Kandemir, M.3
Vijaykrishnan, N.4
Irwin, M.J.5
-
7
-
-
84863543377
-
Towards faulttolerant embedded systems with imperfect fault detection
-
J. Huang, K. Huang, A. Raabe, C. Buckl, and A. Knoll, "Towards faulttolerant embedded systems with imperfect fault detection, " in Proc. of DAC, pp. 188-196, 2012.
-
(2012)
Proc. of DAC
, pp. 188-196
-
-
Huang, J.1
Huang, K.2
Raabe, A.3
Buckl, C.4
Knoll, A.5
-
8
-
-
79952020118
-
Reliability-driven system-level synthesis of embedded systems
-
C. Bolchini and A. Miele, "Reliability-driven system-level synthesis of embedded systems, " in Proc. of DFT, pp. 35-43, 2010.
-
(2010)
Proc. of DFT
, pp. 35-43
-
-
Bolchini, C.1
Miele, A.2
-
9
-
-
84888121879
-
Reliability-driven system-level synthesis for mixed-critical embedded systems
-
C. Bolchini and A. Miele, "Reliability-driven system-level synthesis for mixed-critical embedded systems, " Computers, IEEE Transactions on, vol. 62, no. 12, pp. 2489-2502, 2013.
-
(2013)
Computers IEEE Transactions on
, vol.62
, Issue.12
, pp. 2489-2502
-
-
Bolchini, C.1
Miele, A.2
-
10
-
-
36048940105
-
A tunable add-on diagnostic protocol for time-triggered systems
-
M. Serafini, N. Suri, J. Vinter, A. Ademaj, W. Brandstatter, F. Tagliabo, and J. Koch, "A tunable add-on diagnostic protocol for time-triggered systems, " in Proc. of DSN, pp. 164-174, 2007.
-
(2007)
Proc. of DSN
, pp. 164-174
-
-
Serafini, M.1
Suri, N.2
Vinter, J.3
Ademaj, A.4
Brandstatter, W.5
Tagliabo, F.6
Koch, J.7
-
11
-
-
36248955478
-
On-line diagnosis and recovery: On the choice and impact of tuning parameters
-
M. Serafini, A. Bondavalli, and N. Suri, "On-line diagnosis and recovery: On the choice and impact of tuning parameters, " Dependable and Secure Computing, IEEE Transactions on, vol. 4, no. 4, pp. 295-312, 2007.
-
(2007)
Dependable and Secure Computing, IEEE Transactions on
, vol.4
, Issue.4
, pp. 295-312
-
-
Serafini, M.1
Bondavalli, A.2
Suri, N.3
-
12
-
-
84894306879
-
Monitoring of workload arrival functions for mixed-criticality systems
-
M. Neukirchner, P. Axer, T. Michaels, and R. Ernst, "Monitoring of workload arrival functions for mixed-criticality systems, " in Real-Time Systems Symposium (RTSS), 2013 IEEE 34th, pp. 88-96, 2013.
-
Real-Time Systems Symposium (RTSS) 2013 IEEE 34th
, vol.2013
, pp. 88-96
-
-
Neukirchner, M.1
Axer, P.2
Michaels, T.3
Ernst, R.4
-
13
-
-
34548126126
-
Distributed fault diagnosis for networked, embedded automotive systems
-
J. Luo, K. Choi, K. R. Pattipati, L. Qiao, and S. Chigusa, "Distributed fault diagnosis for networked, embedded automotive systems, " in Systems, Man and Cybernetics, 2006. SMC'06. IEEE International Conference on, pp. 1226-1232, 2006.
-
(2006)
Systems, Man and Cybernetics 2006. SMC'06 IEEE International Conference on
, pp. 1226-1232
-
-
Luo, J.1
Choi, K.2
Pattipati, K.R.3
Qiao, L.4
Chigusa, S.5
-
14
-
-
70549113356
-
A combined on-line/off-line framework for black-box fault diagnosis
-
S. Tripakis, "A combined on-line/off-line framework for black-box fault diagnosis, " in Runtime Verification, pp. 152-167, 2009.
-
(2009)
Runtime Verification
, pp. 152-167
-
-
Tripakis, S.1
-
15
-
-
80054815526
-
Multiple fault diagnosis of discrete event systems using petri nets
-
I. Fliss and M. Tagina, "Multiple fault diagnosis of discrete event systems using petri nets, " in Communications, Computing and Control Applications (CCCA), 2011 International Conference on, pp. 1-6, 2011.
-
(2011)
Communications, Computing and Control Applications (CCCA) 2011 International Conference on
, pp. 1-6
-
-
Fliss, I.1
Tagina, M.2
-
16
-
-
84862544727
-
Fault diagnosis of discrete-event systems using continuous petri nets
-
July
-
C. Mahulea, C. Seatzu, M. Cabasino, and M. Silva, "Fault diagnosis of discrete-event systems using continuous petri nets, " Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, vol. 42, pp. 970-984, July 2012.
-
(2012)
Systems, Man and Cybernetics, Part A: Systems and Humans IEEE Transactions on
, vol.42
, pp. 970-984
-
-
Mahulea, C.1
Seatzu, C.2
Cabasino, M.3
Silva, M.4
-
17
-
-
84899089979
-
Implementation of a fault diagnosis method for timed discrete-event systems
-
B. Suiphon, Z. Simeu-Abazi, and E. Gascard, "Implementation of a fault diagnosis method for timed discrete-event systems, " in Industrial Engineering and Systems Management (IESM), Proceedings of 2013 International Conference on, pp. 1-8, 2013.
-
(2013)
Industrial Engineering and Systems Management (IESM), Proceedings of 2013 International Conference on
, pp. 1-8
-
-
Suiphon, B.1
Simeu-Abazi, Z.2
Gascard, E.3
-
18
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R. E. Bryant, "Graph-based algorithms for boolean function manipulation, " Computers, IEEE Transactions on, vol. 100, no. 8, pp. 677-691, 1986.
-
(1986)
Computers IEEE Transactions on
, vol.100
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
19
-
-
84893763875
-
A general framework for analysing system properties in platform-based embedded system designs
-
S. Chakraborty, S. Kunzli, and L. Thiele, "A general framework for analysing system properties in platform-based embedded system designs, " in Proc. of DATE, pp. 190-195, 2003.
-
(2003)
Proc. of DATE
, pp. 190-195
-
-
Chakraborty, S.1
Kunzli, S.2
Thiele, L.3
-
21
-
-
84885675723
-
Priority assignment for event-triggered systems using mathematical programming
-
M. Lukasiewycz, S. Steinhorst, and S. Chakraborty, "Priority assignment for event-triggered systems using mathematical programming, " in Proc. of DATE, pp. 982-987, 2013.
-
(2013)
Proc. of DATE
, pp. 982-987
-
-
Lukasiewycz, M.1
Steinhorst, S.2
Chakraborty, S.3
|