Viktor Krückl - Publikationsserver der Universität Regensburg

1.1 Introduction. 1.1.1 Historique. L'Institut de Recherche en Informatique Fondamentale (IRIF) est une UMR entre le CNRS et l'Université.







Spore: Combining Symmetry and Partial Order Reduction
Symmetry reduction (SR) and partial order reduction (POR) aim to scale up model checking by exploiting the underlying program structure: SR avoids exploring ...
Concurrent Data Structures Linked in Time
Abstract. Arguments about correctness of a concurrent data structure are typically carried out by using the notion of linearizability and specifying the ...
Synthèse et applications de nouvelles molécules ... - HAL Thèses
Even TD-DFT is a very tractable method for large molecules, their computational cost with range separated functionals still prevents excited ...



Autres Cours:

1 Organizational Transparency and Power in Firm Ownership ...