Výsledky vyhledávání - "Smith Marc L"

Akademický článek

Generation and analysis of transcriptomic resources for a model system on the rise: the sea anemone Aiptasia pallida and its dinoflagellate endosymbiont

Autor: Sunagawa Shinichi, Wilson Emily C, Thaler Michael, Smith Marc L, Caruso Carlo, Pringle John R, Weis Virginia M, Medina Mónica, Schwarz Jodi A

Publikováno v: BMC Genomics, Vol 10, Iss 1, p 258 (2009)

Abstract Background The most diverse marine ecosystems, coral reefs, depend upon a functional symbiosis between cnidarian hosts and unicellular dinoflagellate algae. The molecular mechanisms underlying the establishment, maintenance, and breakdown of

Externí odkaz: https://doaj.org/article/9a78e75b13cd43a68875d5d6a3411c88

Zobrazit plný text záznamu

Report

Concurrent Composition and Algebras of Events, Actions, and Processes

Autor: a, Mark Burgin, Smith, Marc L.

There are many different models of concurrent processes. The goal of this work is to introduce a common formalized framework for current research in this area and to eliminate shortcomings of existing models of concurrency. Following up the previous

Externí odkaz: http://arxiv.org/abs/0803.3099

Zobrazit plný text záznamu

A majority vote, modelled by asynchronous readers and asynchronous writers

Autor: Boode, Antoon H., Broenink, Jan F., Pedersen, Jan Baekgaard, Chalmers, Kevin, Vinter, Brian, Vella, Kevin, Welch, Peter H., Smith, Marc L., Skovhede, Kenneth

Publikováno v: Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40), 361-375
STARTPAGE=361;ENDPAGE=375;TITLE=Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40

Reading and writing is modelled in CSP using actions containing the symbols? and!. These reading actions and writing actions are synchronous, and there is aone-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::24775cd5f1d7b79e8c61031b3068cd1d
https://research.utwente.nl/en/publications/a152444a-4a89-4900-942f-76595b154751

Zobrazit plný text záznamu

Co-simulation design towards cyber-physical robotic applications leveraging on FMI standard and CSP semantics

Autor: Lu, Zhou, Broenink, Jan F., Pedersen, Jan Baekgaard, Chalmers, Kevin, Vinter, Brian, Vella, Kevin, Welch, Peter H., Smith, Marc L., Skovhede, Kenneth

Publikováno v: Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40), 171-187
STARTPAGE=171;ENDPAGE=187;TITLE=Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40
Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40), 171-187
STARTPAGE=171;ENDPAGE=187;TITLE=Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40

Designing software controllers for multi-task automated service robotics is becoming increasingly complex. The combination of discrete-time (cyber) and continuous-time (physical) domains and multiple engineering fields makes it quite challenging to c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ca5425abfb8369d2903e44c959cace99
https://research.utwente.nl/en/publications/cosimulation-design-towards-cyberphysical-robotic-applications-leveraging-on-fmi-standard-and-csp-semantics(5d293da8-34d0-4bb4-8090-43e48bf9e3d0).html

Zobrazit plný text záznamu

Asynchronous readers and asynchronous writers

Autor: Boode, Antoon H., Broenink, Jan F., Pedersen, Jan Baekgaard, Chalmers, Kevin, Vinter, Brian, Vella, Kevin, Welch, Peter H., Smith, Marc L., Skovhede, Kenneth

Publikováno v: Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40), 81-98
STARTPAGE=81;ENDPAGE=98;TITLE=Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40
Communicating Process Architectures 2017 and 2018: Proceedings of CPA 2017 (WoTUG-39) and CPA 2018 (WoTUG-40), 81-98
STARTPAGE=81;ENDPAGE=98;TITLE=Communicating Process Architectures 2017 and 2018

Reading and writing is modelled in CSP using actions containing the symbols? and!. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2605df5af6ddacb046195e9d48597f7d
https://research.utwente.nl/en/publications/asynchronous-readers-and-asynchronous-writers(a8c96859-d246-4409-8555-eaeca1e27ce4).html

Zobrazit plný text záznamu

Akademický článek

Computerized Costing Model for Inland Waterways Barge Transportation

Autor: Smith, Marc L., Metzner, H. E., Brooks, W. A.

Publikováno v: Interfaces, 1978 Aug 01. 8(4), 31-37.

Externí odkaz: https://www.jstor.org/stable/25059658

Zobrazit plný text záznamu

Relating and Visualising CSP, VCR and Structural Traces

Autor: Brown, Neil C.C., Smith, Marc L.

As well as being a useful tool for formal reasoning, a trace can provide insight into a concurrent program's behaviour, especially for the purposes of run-time analysis and debugging. Long-running programs tend to produce large traces which can be di

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::dc2deee3cff779535eb3134225bd756b
https://kar.kent.ac.uk/30580/1/Traces2.pdf

Zobrazit plný text záznamu

Representation and Implementation of CSP and VCR Traces

Autor: Brown, Neil C.C., Smith, Marc L.

Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a record of the events engaged in by a process. Several programming languages use,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::0c14cd0c54c083ba5934f189f9c496e8
https://kar.kent.ac.uk/24104/1/VcrBrown.pdf

Zobrazit plný text záznamu