Zobrazeno 1 - 10
of 108
pro vyhledávání: '"General-purpose programming language"'
Autor:
F. Christo Frank, N. Muthuram
Publikováno v:
Materials Today: Proceedings. 46:8097-8102
In the industrial scenario, there is a requirement for robust tools to estimate the parameters of machining processes precisely. This can be achieved by employing optimization techniques in conjunction with state of the art prediction models to predi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a40d99c69ce596cfaeb2686face4e294
https://doi.org/10.1016/j.matpr.2021.03.045
https://doi.org/10.1016/j.matpr.2021.03.045
Publikováno v:
Journal of KIISE. 47:52-60
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c86aa6e2fc1d5670dfd2eab2467a00e
https://doi.org/10.5626/jok.2020.47.1.52
https://doi.org/10.5626/jok.2020.47.1.52
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
François Pessaux, Jason Brown
Publikováno v:
Acta Cybernetica
Acta Cybernetica, University of Szeged, Institute of Informatics, In press, pp.1-16. ⟨10.14232/actacyb.285246⟩
Acta Cybernetica, University of Szeged, Institute of Informatics, In press, pp.1-16. ⟨10.14232/actacyb.285246⟩
International audience; Modeling continuous-time dynamical systems is a complex task. Fortunately some dedicated programming languages exist to ease this work. Zélus is one such language that generates a simulation executable which can be used to st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1b950f59b1654a05a9652d4d90552ad
https://hal.archives-ouvertes.fr/hal-02930466/document
https://hal.archives-ouvertes.fr/hal-02930466/document
Publikováno v:
SASB
University of Edinburgh-PURE
Honorato Zimmer, R, Millar, A, Plotkin, G & Zardilis, A 2016, Chromar, a rule-based language of parameterised objects . in The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016) . The Seventh International Workshop on Static Analysis and Systems Biology, Edinburgh, United Kingdom, 7/09/16 .
Honorato-Zimmer, R, Millar, A J, Plotkin, G D & Zardilis, A 2018, ' Chromar, a Rule-based Language of Parameterised Objects ', Electronic Notes in Theoretical Computer Science, vol. 335, pp. 49-66 . https://doi.org/10.1016/j.entcs.2018.03.008
University of Edinburgh-PURE
Honorato Zimmer, R, Millar, A, Plotkin, G & Zardilis, A 2016, Chromar, a rule-based language of parameterised objects . in The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016) . The Seventh International Workshop on Static Analysis and Systems Biology, Edinburgh, United Kingdom, 7/09/16 .
Honorato-Zimmer, R, Millar, A J, Plotkin, G D & Zardilis, A 2018, ' Chromar, a Rule-based Language of Parameterised Objects ', Electronic Notes in Theoretical Computer Science, vol. 335, pp. 49-66 . https://doi.org/10.1016/j.entcs.2018.03.008
Modelling in biology becomes necessary when systems are complex but the more complex the systems are the harder the models become to read. The most common ways of writing models are by writing reactions on discrete, typed objects (e.g. molecules of d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f390eded96634c64b0ef2b91ae398f9
https://doi.org/10.1016/j.entcs.2018.03.008
https://doi.org/10.1016/j.entcs.2018.03.008
Publikováno v:
Wireless Personal Communications. 95:4883-4901
In recent years’ simulators like the open source tool ns-2, and commercial software’s like OPNET have included Mobile IPv6 extensions in order to provide analysis for advanced Mobile IPv6 system development. Although these simulators are among th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3144206b962717e4e132e44110fd9eb4
https://doi.org/10.1007/s11277-017-4130-6
https://doi.org/10.1007/s11277-017-4130-6
Autor:
Hongwei Xi, William Blair
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 241, Iss Proc. ML/OCaml 2015, Pp 36-44 (2017)
Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems, which interact with events from physical environments and often must do so under strict timing constraints. In this report, we encode inside ATS variou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a57e0476e756be586f733534ac7e9f9
https://doaj.org/article/7acb1b5e74a34eeba1c7d84078a7bd3a
https://doaj.org/article/7acb1b5e74a34eeba1c7d84078a7bd3a
Publikováno v:
Communications in Computer and Information Science ISBN: 9789811358258
SSCC
SSCC
Java is a cross-platform general purpose programming language. Hence, any Java based malware becomes a cross-platform threat. Since 3 Billion devices run Java, it is a serious threat. Currently, there is very little research done in the area of detec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a42489a3252351a30870f5f9723f02eb
https://doi.org/10.1007/978-981-13-5826-5_30
https://doi.org/10.1007/978-981-13-5826-5_30
Publikováno v:
ACM SIGPLAN Notices. 51:351-363
Indexed data types allow us to specify and verify many interesting invariants about finite data in a general purpose programming language. In this paper we investigate the dual idea: indexed codata types, which allow us to describe data-dependencies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edf2a76aba1348914b492d6852702528
https://doi.org/10.1145/3022670.2951929
https://doi.org/10.1145/3022670.2951929
Publikováno v:
Distributed Computing and Internet Technology ISBN: 9783030053659
ICDCIT
ICDCIT
Hyperledger Sawtooth is a general purpose blockchain project featuring pluggable consensus mechanisms and smart contracts that can be written in any general purpose programming language. We introduce a design pattern that enables communication betwee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42d79a796b66434375421e7af96c778a
https://doi.org/10.1007/978-3-030-05366-6_32
https://doi.org/10.1007/978-3-030-05366-6_32