Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Low-Complexity Run-time Management of Concurrent Workloads for Energy-Efficient Multi-Core SystemsAalsaud, Ali ; Xia, Fei ; Rafiev, Ashur ; Shafik, Rishad ; Romanovsky, Alexander ; Yakovlev, AlexJournal of low power electronics and applications, 2020-09, Vol.10 (3), p.25 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
НАВЧАННЯ КІБЕРБЕЗПЕКИ І КІБЕРЗАХИСТУ ФАХІВЦІВ З УПРАВЛІННЯ ФІНАНСАМИ, ЕКОНОМІКОЮ І БІЗНЕСОМValeriy Yu Bykov ; Romanovsky, Alexander A ; Julia Yu RomanovskayaInformation technologies and learning tools, 2020-12, Vol.80 (6), p.386-413 [Periódico revisado por pares]Kyiv: Institute for Digitalisation of Education of the National Academy of Educational Sciences of UkraineTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Industrial-Strength Verification of Solid State Interlocking ProgramsIliasov, Alexei ; Taylor, Dominic ; Laibinis, Linas ; Romanovsky, AlexanderarXiv.org, 2022-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed SystemsXu, Jie ; Randell, Brian ; Romanovsky, Alexander ; Stroud, Robert J ; Zorzo, Avelino FarXiv.org, 2021-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)Ishikawa, Fuyuki ; Romanovsky, AlexanderarXiv.org, 2012-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Automating Verification of Event-B ModelsStankaitis, Paulius ; Iliasov, Alexei ; Adjepon-Yamoah, David ; Romanovsky, AlexanderarXiv.org, 2016-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Recruiting from the network: discovering Twitter users who can help combat Zika epidemicsMissier, Paolo ; McClean, Callum ; Carlton, Jonathan ; Cedrim, Diego ; Silva, Leonardo ; Garcia, Alessandro ; Plastino, Alexandre ; Romanovsky, AlexanderarXiv.org, 2017-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
The Tenth European Dependable Computer ConferenceRomanovsky, Alexander ; Marc-Olivier KillijianarXiv.org, 2014-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Tracking Dengue Epidemics using Twitter Content Classification and Topic ModellingMissier, Paolo ; Romanovsky, Alexander ; Tudor Miu ; Pal, Atinder ; Daniilakis, Michael ; Garcia, Alessandro ; Cedrim, Diego ; Leonardo da Silva SousaarXiv.org, 2016-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
An Introduction to Software Engineering and Fault TolerancePelliccione, Patrizio ; Muccini, Henry ; Guelfi, Nicolas ; Romanovsky, AlexanderarXiv.org, 2010-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |