Browsing by Subject "Formal analysis"

Now showing items 1-2 of 2

    • Article  

      Notes on sorting and counting networks 

      Hardavellas, N.; Karakos, D.; Mavronicolas, Marios (1993)
      Implementing counting networks on shared-memory multiprocessor machines often incurs a performance penalty proportional to the depth of the networks and the extent to which concurrent processors access the same memory ...
    • Article  

      PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling 

      Philippou, Anna; Lee, I.; Sokolsky, O. (2012)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...