Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Meenakshi D'Souza"'
Publikováno v:
Communications of the ACM. 65:65-67
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4dd87de70ad9b8151981776a1013deb0
https://doi.org/10.1145/3550490
https://doi.org/10.1145/3550490
Autor:
Sulochan Naik, Meenakshi D'Souza
Publikováno v:
16th Innovations in Software Engineering Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11c37f03491178d7f026c52fbac93dba
https://doi.org/10.1145/3578527.3578541
https://doi.org/10.1145/3578527.3578541
Autor:
Ameena K. Ashraf, Meenakshi D’Souza
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031248474
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb3a4d559cb1272e10ffb594cd9860a6
https://doi.org/10.1007/978-3-031-24848-1_4
https://doi.org/10.1007/978-3-031-24848-1_4
Publikováno v:
Formal Methods in System Design. 58:294-321
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc2c17d2808dcdd6764e4468c09cd62c
https://doi.org/10.1007/s10703-020-00354-0
https://doi.org/10.1007/s10703-020-00354-0
We consider the problem of statically detecting data races in periodic real-time programs that use locks, and run on a single processor platform. We propose a technique based on a small set of rules that exploits the priority, periodicity, locking, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b665858d72b8c002952659b41ff63a0a
Publikováno v:
Programming Languages and Systems ISBN: 9783030993351
We consider the problem of statically detecting data races in periodic real-time programs that use locks, and run on a single processor platform. We propose a technique based on a small set of rules that exploits the priority, periodicity, locking, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60e91c1787d81f78438d5b4df84047e1
https://doi.org/10.1007/978-3-030-99336-8_11
https://doi.org/10.1007/978-3-030-99336-8_11
Autor:
Ramakrishnan Raman, Meenakshi D'Souza
Publikováno v:
Systems Engineering. 22:538-560
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15aa32a1aee4ae8176d561e33340c4ed
https://doi.org/10.1002/sys.21517
https://doi.org/10.1002/sys.21517
Publikováno v:
SAC
Modern avionics systems have several safety critical control software that need to be accurate and provide deterministic response in real-time. Accuracy of such responses is determined by the real-time operating system (RTOS) on which the software ap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b927c3df77166ca5d2c34952e68209a
https://doi.org/10.1145/3412841.3442053
https://doi.org/10.1145/3412841.3442053
Publikováno v:
Sādhanā. 46
The aerospace industry is continuously looking for improvements in operational efficiency and performance of systems. In its quest to do so, the industry is turning to Intelligent Adaptive Systems as a possible solution in many areas. However, the na
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b85432677f643c95545757656ed521e
https://doi.org/10.1007/s12046-020-01538-4
https://doi.org/10.1007/s12046-020-01538-4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030863791
ICANN (4)
ICANN (4)
The Lipschitz constant of neural networks plays an important role in several contexts of deep learning ranging from robustness certification and regularization to stability analysis of systems with neural network controllers. Obtaining tight bounds o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e33d35212c03acd2046a8f5f3b80b28d
https://doi.org/10.1007/978-3-030-86380-7_13
https://doi.org/10.1007/978-3-030-86380-7_13