Exploració per autor "Sifakis, Joseph"

Ara es mostren els items 1-2 de 2

    • On the nature of computing 

      Sifakis, Joseph (Barcelona Supercomputing Center, 2017-09-10)
      Text en actes de congrés
      Accés obert
      Computing is a domain of knowledge. Knowledge is information that embedded into the right network of conceptual interrelations can be used to understand a subject or solve a problem. According to this definition, Physics, ...

    • Rigorous system design 

      Sifakis, Joseph (Barcelona Supercomputing Center, 2017-09-10)
      Text en actes de congrés
      Accés obert
      Today, the development costs of high confidence systems explode with their size. We are far away from the solution of the so-called, software crisis. In fact, the latter hides another much bigger: the system crisis. n ...