Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Balasubramanian, Daniel"'
Autor:
Coglio, Alessandro, McCarthy, Eric, Westfold, Stephen, Balasubramanian, Daniel, Dubey, Abhishek, Karsai, Gabor
Publikováno v:
EPTCS 359, 2022, pp. 151-167
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more familiarity and automation, in order to make this technology more widely
Externí odkaz:
http://arxiv.org/abs/2205.11706
Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication resources are shared by a multitude of applications. Such `cyber-physical cloud computing platforms' present novel chal
Externí odkaz:
http://arxiv.org/abs/1710.00267
Domain-specific modeling languages (DSMLs) are specialized languages tailored with concepts and features of a particular domain. The abstractions offered by DSMLs allow designers of software systems to ignore implementation details and instead focus
This thesis describes the design and implementation of a thread-safe meta-programmable data model that can be used in a multi-threaded environment without the need for user defined synchronization. The locking mechanisms used to provide thread safety
Publikováno v:
MATEC Web of Conferences, Vol 249, p 03010 (2018)
Smart manufacturing is an emerging paradigm for the next generation of manufacturing systems. One key to the success of smart manufacturing is the ability to use the production data for defining predictive and descriptive models and their analyses. H
Externí odkaz:
https://doaj.org/article/42ef0dd9188745f3b3413ee3e006b1ee
Autor:
Feitelson, Dror G., Adeshiyan, Tokunbo O.S., Balasubramanian, Daniel, Etsion, Yoav, Madl, Gabor, Osses, Esteban P., Singh, Sameer, Suwanmongkol, Karlkim, Xie, Minhui, Schach, Stephen R.
Publikováno v:
In The Journal of Systems & Software 2007 80(8):1239-1255
Publikováno v:
In Electronic Notes in Theoretical Computer Science 27 March 2006 152:207-222
Autor:
Levendovszky, Tihamer1 tihamer@isis.vanderbilt.edu, Balasubramanian, Daniel1, Narayanan, Anantha1, Shi, Feng1, Buskirk, Chris1, Karsai, Gabor1
Publikováno v:
Software & Systems Modeling. May2014, Vol. 13 Issue 2, p807-823. 17p.
Publikováno v:
MATEC Web of Conferences; 12/6/2018, Vol. 249, pN.PAG-N.PAG, 6p
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.