Now showing items 1-2 of 2

    • On the nature of computing 

      Sifakis, Joseph (Barcelona Supercomputing Center, 2017-09-10)
      Conference report
      Open Access
      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)
      Conference report
      Open Access
      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 ...