Login



Publications

Filter:
 

Year: 1996

  • Technical Report I. Mura, F. Di Giandomenico and A. Bondavalli. "Real-Time Multiprocessor Systems: Performability Evaluation". IEI-CNR, Pisa, Italy. Technical Report B4-07-02-9. 1996. [More]
  • Technical Report M. Nelli, A. Bondavalli and L. Simoncini. "Hierarchical Modelling of HW/SW Control Systems: an Application to Dependability Analysis of Railway Interlocking". CNUCE-CNR, Pisa, Italy. Technical Report C96-09. 1996. [More]

Year: 1995

  • Technical Report A. Bondavalli, S. Chiaradonna, M. Cipollone, F. Di Giandomenico and F. Grandoni. "Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems". CNUCE/CNR. Technical Report C95-42. 1995. [More]
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "A Contribution to Dependability Evaluation of Fault-Tolerant, Iterative-Execution Software". CNUCE/CNR. Technical Report C95-41. 1995. [More]
  • Conference A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and S. La Torre. "Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation". 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95). 1995. pp. 489-503. [More]
  • Technical Report F. Di Giandomenico, A. Bondavalli and J. Xu. "Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments". Technical Report 173. 1995. [More]
  • Technical Report S. La Torre, S. Chiaradonna, F. Di Giandomenico and A. Bondavalli. "The Effects of Input Correlation on the Dependability of Iterative Software". IEI/CNR. Technical Report B4-24. 1995. [More]
  • Technical Report F. Di Giandomenico, A. Bondavalli and J. Xu. "Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments". IEI CNR, Pisa, Italy. Technical Report B4-15. 1995. [More]
  • Conference M. Bizzarri, P. Bizzarri, A. Bondavalli, F. Di Giandomenico and F. Tarini. "Design of Flexible and Dependable Real-Time Applications". 20th IFAC-IFIP WRTP'95. Press and Pergamon eds. 1995. [More]
  • Conference A. Bondavalli, A. Buzzi and F. Tarini. "Uno Strumento Grafico per la Strutturazione di Applicazioni Tolleranti i Guasti". Congresso annuale A.I.C.A. '95. 1995. pp. 979-986. [More]
  • Journal C. Bernardeschi, A. Bondavalli and L. Simoncini. "Using Process Algebras for the Semantic Analysis of Data Flow Networks", IEICE Trans. on Information and Systems, Vol. E78-D. 1995, pp. 959-968. [More]
  • Book Chapter A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment". In R et al (eds), Predictably Dependable Computing Systems. Springer-Verlag. 1995. pp. 141-154. [More]
  • Conference A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Dependability Models for Iterative Software Considering Correlation among Successive Inputs". IEEE Int. Computer Performance and Dependability Symposium (IPDS'95). 1995. pp. 13-21. [More]
  • Book Chapter A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Dependability Analysis of Iterative Fault Tolerant Software Considering Correlation". In R et al (eds), Predictably Dependable Computing Systems. Springer-Verlag. 1995. pp. 459-472. [More]
  • Book Chapter J. Xu, A. Bondavalli and F. Di Giandomenico. "Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software". In R et al (eds), Predictably Dependable Computing Systems. Springer-Verlag. 1995. pp. 155-172. [More]
  • Book Chapter A. Bondavalli, J. Stankovic and L. Strigini. "Adaptable Fault Tolerance for Real-Time Systems". In Fussell, D., Malek and M. (eds), Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems. Boston : Kluwer Academic Publishers. 1995. pp. 187-208. [More]
  • Conference P. Bizzarri, F. Di Giandomenico, A. Bondavalli and F. Tarini. "Un protocollo per la schedulazione distribuita Hard Real-Time". Congresso annuale A.I.C.A. '95. 1995. pp. 202-208. [More]

Year: 1994

  • Conference A. Bondavalli, S. Chiaradonna and F. Di Giandomenico. "Efficient Fault Tolerance: an Approach to Deal with Transient Faults in Multiprocessor Architectures". IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94). 1994. pp. 354-359. [More]
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Modelling Correlation among Successive Inputs in Software Dependability Analyses". CNUCE/CNR. Technical Report C94-20. 1994. [More]
  • Technical Report S. Chiaradonna, A. Bondavalli and L. Strigini. "On Performability Modeling and Evaluation of Software Fault Tolerance Structures". ESPRIT BRA 6362 PDCS2. 1994. [More]
  • Technical Report S. Chiaradonna, A. Bondavalli and F. Di Giandomenico. "A Fault Treatment Approach to Support Dynamic Redundancy in Multiprocessor Architectures". Esprit BRA 6362 PDCS2. 1994. [More]
  • Conference A. Bondavalli and L. Simoncini. "Dependable Dataflow Control Systems". MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications. 1994. pp. 5-14. [More]
  • Technical Report S. Chiaradonna, A. Bondavalli and L. Strigini. "Comparative Performability Evaluation of RB, NVP and SCOP". CNUCE/CNR. Technical Report C94-02. 1994. [More]
  • Conference C. Bernardeschi and A. Bondavalli. "Semantics analysis of dataflow control systems". MicroP94. 1994. pp. 15-24. [More]
  • Conference C. Bernardeschi, A. Bondavalli and L. Simoncini. "Data-flow networks in the design of safety-critical systems". ESREL 94. 1994. pp. 876-881. [More]
Results 376 - 400 of 433
<< Start < Prev 11 12 13 14 15 16 17 18 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web