Отображение 10,871 - 10,880 результаты of 13,417 для поиска '"Analysis."', время запроса: 0.06сек. Отмена результатов
  1. 10871

    An approximate analysis of the shortest queue policy on soft real-time scheduling. по Zhu, Weiping

    Опубликовано в: Sigmetrics :performance evaluation review.
    Статья

    An approximate analysis of the shortest queue policy on soft real-time scheduling.
  2. 10872

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. по Mateescu, Radu

    Опубликовано в: Software engineering notes.
    Статья

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
  3. 10873

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. по Bradbury, Jeremy S.

    Опубликовано в: Software engineering notes.
    Статья

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  4. 10874

    Evaluating and tuning a static analysis to find null pointer bugs. по Hovemeyer, David

    Опубликовано в: Software engineering notes.
    Статья

    Evaluating and tuning a static analysis to find null pointer bugs.
  5. 10875

    A concept analysis inspired greedy algorithm for test suite minimization. по Tallam, Sriraman

    Опубликовано в: Software engineering notes.
    Статья

    A concept analysis inspired greedy algorithm for test suite minimization.
  6. 10876

    Symbolic path simulation in path-sensitive dataflow analysis. по Hampapuram, Hari

    Опубликовано в: Software engineering notes.
    Статья

    Symbolic path simulation in path-sensitive dataflow analysis.
  7. 10877

    String analysis for x86 binaries. по Christodorescu, Mihai

    Опубликовано в: Software engineering notes.
    Статья

    String analysis for x86 binaries.
  8. 10878

    Practical aspects of DSS design for commodities transportation during special events. по Zacharias, Manousaridis

    Опубликовано в: Software engineering notes.
    Статья

    Practical aspects of DSS design for commodities transportation during special events.
  9. 10879

    How data inspection and consideration, provides for index compression and record access optimization of genetic databases. по Zirkind, Givon

    Опубликовано в: Software engineering notes.
    Статья

    How data inspection and consideration, provides for index compression and record access optimization of genetic databases.
  10. 10880

    Automatic generation of suggestions for program investigation. по Robillard, Martin P.

    Опубликовано в: Software engineering notes.
    Статья

    Automatic generation of suggestions for program investigation.

Инструменты поиска: