Zobrazeno 1 - 10
of 277
pro vyhledávání: '"John Derrick"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Non-volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become ubiquitous, and hardware architectures are already providing support fo
Externí odkaz:
https://doaj.org/article/718f9250040d4226a7d775895bbf1981
Autor:
Maria Ulfah Siregar, John Derrick
Publikováno v:
IJID (International Journal on Informatics for Development), Vol 7, Iss 1, Pp 13-18 (2018)
This paper describes our research on implementing a scanner and parsers for Z specifications. Rather to code them from scratch, we use tools that have specialities on creating such tasks. These tools generate several Java files which can be integrate
Externí odkaz:
https://doaj.org/article/28e38b1f5363428299d2bf10fd2a2753
Publikováno v:
IJID (International Journal on Informatics for Development), Vol 5, Iss 2, Pp 26-30 (2016)
This paper discusses our proposal on how to embed theorems in Z specifications. One reason behind this proposal is to ease Z users in writing theorems directly in their Z specifications. Another reason is not to overwhelm Z users in learning other la
Externí odkaz:
https://doaj.org/article/de35e8a94d004504965643392ff123ba
Autor:
Brijesh Dongol, John Derrick
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 115, Iss Proc. Refine 2013, Pp 15-35 (2013)
The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components modify and observe the system state with fine-grained atomicity. Many systems (e.g., multi-core processors, real-time controllers) also exhibit
Externí odkaz:
https://doaj.org/article/11b219e1d5d546d1a64228d8606e3d54
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 37-52 (2011)
In previous work we have described how refinements can be checked using a temporal logic based model-checker, and how we have built a model-checker for Z by providing a translation of Z into the SAL input language. In this paper we draw these two str
Externí odkaz:
https://doaj.org/article/a2f379d2938348f68f5efb83c924a637
Autor:
John Derrick
Publikováno v:
Ilha do Desterro, Vol 4, Iss 10, Pp 033-053 (2008)
Readers of Treasure Island may remember Stevenson's observation that his novel grew up around the treasure map he had one day draw in a mood of daydream. The map preceeded and incited his prose, providing not only atmosphere, but stimulus for plot.
Externí odkaz:
https://doaj.org/article/6ee1514466c2427ebc507787d56b615f
Autor:
John Derrick
Publikováno v:
Ilha do Desterro, Vol 2, Iss 5, Pp 029-054 (2008)
Jason's watch said ten till two-it was almost time. He crumbled the last bits of cheeseburger into his palm and began to flick them into the water by his elbow. The surface boiled and the bits vanished. Then the golden backs massed together and the
Externí odkaz:
https://doaj.org/article/8f6bfca73147481aa16738a58f607505
Autor:
John Derrick
Publikováno v:
Ilha do Desterro, Vol 2, Iss 6, Pp 034-036 (2008)
To judge by the essays collected here, Joseph Conrad (1857 - 1924) is alive and well in Brazil. Whether they see him as some sort of reactionary Martin Bohmann, or as a stylist whose weaving of jungle vines and language still stands at the vanguard o
Externí odkaz:
https://doaj.org/article/b16919ca0ed34fc8a4c36b2606ac017f
Publikováno v:
Testing Software and Systems ISBN: 9783031046728
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d30e4e3d860e884e7347daf0d9df1b47
https://doi.org/10.1007/978-3-031-04673-5_3
https://doi.org/10.1007/978-3-031-04673-5_3
Non-volatile memory (NVM), aka persistent memory, is a new memory paradigm that preserves its contents even after power loss. The expected ubiquity of NVM has stimulated interest in the design of persistent concurrent data structures, together with a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1812350b6cecf19df1175052aa3ae107
https://opus.bibliothek.uni-augsburg.de/opus4/files/87712/s00165-021-00541-8.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/87712/s00165-021-00541-8.pdf