Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Schrittweise Verfeinerung"'
Autor:
Pfähler, Jörg
The Flashix project is a team effort to develop a functionally correct, crash-safe and concurrent file system for flash memory. The approach is based on encapsulated, modular components and their incremental refinement towards a realistic and executa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::ea6eb78cab3e5dd79b90b8338034cbb9
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/41890
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/41890
Autor:
Ernst, Gidon
In the Flashix project, a file system for flash memory has been developed. It is proven functionally correct and tolerates system crashes such as abrupt power cuts at any point in time during its execution. The development approach is based in increm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::bb73dc983f4a0df4d639861ba963ce5d
https://opus.bibliothek.uni-augsburg.de/opus4/files/3887/thesis_ernst.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/3887/thesis_ernst.pdf
Autor:
Ringert, Jan Oliver
Publikováno v:
Aachen : Shaker, Aachener Informatik-Berichte, Software Engineering 19, 431 S., : Ill., graph. Darst. (2014). doi:10.18154/RWTH-CONV-207172 = Zugl.: Aachen, Techn. Hochsch., Diss., 2014
Zugl.: Aachen, Techn. Hochsch., Diss., 2014; Aachen : Shaker, Aachener Informatik-Berichte, Software Engineering 19, 431 S., : Ill., graph. Darst. (2014). = Zugl.: Aachen, Techn. Hochsch., Diss., 2014
Published by Shaker, Aachen
Published by Shaker, Aachen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d33141ac0d344b95b7b39e9ec4bdad77
https://publications.rwth-aachen.de/record/465630
https://publications.rwth-aachen.de/record/465630
Autor:
Ellmenreich, Nils
A parallelising compilation consists of many translation and optimisation stages. The programmer may steer the compiler through these stages by supplying directives with the source code or setting compiler switches. However, for an evaluation of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______240::f62a2b89c626f2a37ae2292b21637cce
https://opus4.kobv.de/opus4-uni-passau/files/40/Dissertation_Nils_Ellmenreich.pdf
https://opus4.kobv.de/opus4-uni-passau/files/40/Dissertation_Nils_Ellmenreich.pdf