Zobrazeno 1 - 10
of 127
pro vyhledávání: '"Trevor Elliott"'
Publikováno v:
Journal of Marine Science and Engineering, Vol 4, Iss 1, p 3 (2015)
Ports exposed to high energy long wave conditions can experience significantly reduced berth operability. Geraldton is perhaps one of the best known examples. Recent studies to mitigate the problems have concentrated on the reduction of the long wave
Externí odkaz:
https://doaj.org/article/fe035735c3f34dd3843b7765d8e61119
Publikováno v:
ICRA
Designing robot controllers that correctly react to changes in the environment is a time-consuming and error-prone process. An alternative is to use “correct-by-construction” synthesis approaches to automatically generate controller designs from
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17900ea1b5100cef640c1ce739f7de27
https://doi.org/10.1109/icra.2019.8793722
https://doi.org/10.1109/icra.2019.8793722
Autor:
Ole J. Martinsen, Ian A. Kane, Peter D. W. Haughton, Patrick M. Shannon, Colm Pierce, Anthea Lacchia, Trevor Elliott, Simon P. Barker, Arnau Obradors Latre, Andrew J. Pulham, George D. Sevastopulo
Publikováno v:
Martinsen, O J, Pulham, A J, Elliott, T, Haughton, P, Pierce, C, Lacchia, A R, Barker, S, Latre, A O, Kane, I, Shannon, P & Sevastopulo, G D 2017, ' Deep-water clastic systems in the upper carboniferous (upper mississippian-lower pennsylvanian) shannon basin, western Ireland ', AAPG Bulletin, vol. 101, no. 4, pp. 433-439 . https://doi.org/10.1306/021417DIG17099
The Upper Carboniferous Shannon Basin of western Ireland contains amore-Than-2300-m-Thick (7540 ft) basin-fill succession, shallowing upward from deep-water to deltaic and incised fluvial deposits. The deep-water basin floor and slope succession is w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6ffa4ddf75b610aa84a6cfb610e5bd6
https://pure.manchester.ac.uk/ws/files/60959674/OJ_Martinsen_Shannon_Basin_AAPG_Bulletin_paper_short_version_140217.pdf
https://pure.manchester.ac.uk/ws/files/60959674/OJ_Martinsen_Shannon_Basin_AAPG_Bulletin_paper_short_version_140217.pdf
Publikováno v:
ICFP
We report on our experiences in synthesizing a fully-featured autopilot from embedded domain-specific languages (EDSLs) hosted in Haskell. The autopilot is approximately 50k lines of C code generated from 10k lines of EDSL code and includes control l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17d0fa3b8c288254f7d2760b8e561517
https://doi.org/10.1145/2692915.2628146
https://doi.org/10.1145/2692915.2628146
Publikováno v:
Journal of Marine Science and Engineering; Volume 4; Issue 1; Pages: 16
Ports exposed to high energy long wave conditions can experience significantly reduced berth availability, leading to loss of throughput. The Port of Geraldton, located in Western Australia, is an example of such a port. A range of alternatives to mi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b67c0bce7784f06fb72660ef9a567ab
Publikováno v:
Palaeogeography, Palaeoclimatology, Palaeoecology. 300:67-83
The ichnology of the Gres d'Annot Basin, SE France, is described in detail for the first time. Deep marine palaeoenvironments from basin slope to basin floor settings are preserved. The Gres d'Annot Formation is a sand-rich, thick-bedded, and coarse-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b8a2808e7e4132312b457dfab1e18ee
https://doi.org/10.1016/j.palaeo.2010.12.011
https://doi.org/10.1016/j.palaeo.2010.12.011
Autor:
John Launchbury, Trevor Elliott
Publikováno v:
Haskell
We present a concurrent scripting language embedded in Haskell, emulating the functionality of the Orc orchestration language by providing many-valued (real) non-determinism in the context of concurrent effects. We provide many examples of its use, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3dfb125448e2a3d37db0ee7698870a98
https://doi.org/10.1145/2088456.1863534
https://doi.org/10.1145/2088456.1863534
Publikováno v:
Runtime Verification ISBN: 9783319469812
RV
RV
We describe an approach to control-flow integrity protection for real-time systems. We present TrackOS, a security-aware real-time operating system. TrackOS checks a task’s control stack against a statically-generated call graph, generated by an ab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa98e54f072068962ded5457767840d0
https://doi.org/10.1007/978-3-319-46982-9_19
https://doi.org/10.1007/978-3-319-46982-9_19
Publikováno v:
Journal of Marine Science and Engineering, Vol 4, Iss 1, p 3 (2015)
Journal of Marine Science and Engineering; Volume 4; Issue 1; Pages: 3
Journal of Marine Science and Engineering; Volume 4; Issue 1; Pages: 3
Ports exposed to high energy long wave conditions can experience significantly reduced berth operability. Geraldton is perhaps one of the best known examples. Recent studies to mitigate the problems have concentrated on the reduction of the long wave
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2b734935c14b70986c98d25e4fd23e1
http://www.mdpi.com/2077-1312/4/1/3
http://www.mdpi.com/2077-1312/4/1/3
Autor:
Trevor Elliott, Lee Pike, Jamey Sharp, Pat Hickey, Eric L. Seidel, Simon Winwood, James Bielman, John Launchbury
Publikováno v:
Haskell
Ivory is a language that enforces memory safety and avoids most undefined behaviors while providing low-level control of memory- manipulation. Ivory is embedded in a modern variant of Haskell, as implemented by the GHC compiler. The main contribution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f4e9d767f6641a21a34faad6778b1db
https://doi.org/10.1145/2804302.2804318
https://doi.org/10.1145/2804302.2804318