Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Graczyk, Rafal"'
Autor:
Graczyk, Rafal, Iyenghar, Padma
Proceedings of the 2022 Workshop on Resource AWareness of Systems and Society (RAW), colocated with ICT4S 2022 in Plovdiv, Bulgaria on 13th of June 2022.
Externí odkaz:
http://arxiv.org/abs/2206.01250
Over the last decades, space has grown from a purely scientific struggle, fueled by the desire to demonstrate superiority of one regime over the other, to an anchor point of the economies of essentially all developed countries. Many businesses depend
Externí odkaz:
http://arxiv.org/abs/2110.05878
Satellites, are both crucial and, despite common misbelieve, very fragile parts our civilian and military critical infrastructure. While, many efforts are focused on securing ground and space segments, especially when national security or large busin
Externí odkaz:
http://arxiv.org/abs/2101.12620
Autor:
Esteves-Verissimo, Paulo, Decouchant, Jérémie, Völp, Marcus, Esfahani, Alireza, Graczyk, Rafal
Contact tracing is an important instrument for national health services to fight epidemics. As part of the COVID-19 situation, many proposals have been made for scaling up contract tracing capacities with the help of smartphone applications, an impor
Externí odkaz:
http://arxiv.org/abs/2005.04519
Autor:
Graczyk, Rafał
Energy harvesting is the fundamental activity in almost all forms of space exploration known to humans. So far, in most cases, it is not feasible to bring, along with probe, spacecraft or rover suitable supply of fuel to cover all mission's energy ne
Externí odkaz:
http://arxiv.org/abs/1711.03813
Publikováno v:
Frontiers in Computer Science. 5
Autonomous driver assistance systems (ADAS) have been progressively pushed to extremes. Today, increasingly sophisticated algorithms, such as deep neural networks, assume responsibility for critical driving functionality, including operating the vehi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb7ed3d004bcd78fe311204e182a6cdc
https://doi.org/10.3389/fcomp.2023.1125055
https://doi.org/10.3389/fcomp.2023.1125055
Safety-critical systems have to absorb accidental and malicious faults to obtain high mean-times-to-failures (MTTFs). Traditionally, this is achieved through re-execution or replication. However, both techniques come with significant overheads, in pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::446714672bad8dc1dd64d002c3488b60
Future space exploration and exploitation missions will require significantly increased autonomy of operation for mission planning, decision-making, and adaptive control techniques. Spacecrafts will integrate new processing and compression algorithms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2658::26c308fbbe745bd2c496c893d07d0a03
http://orbilu.uni.lu/handle/10993/52291
http://orbilu.uni.lu/handle/10993/52291
Space debris, whether caused by anti-satellite weapons or from collisions with defunct vehicles, has become a serious threat to the safe and sustainable use of space. Technologies have been proposed to mitigate this problem by actively removing debri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2658::3afc88613bb36c3cbe80729085d2fcfb
http://orbilu.uni.lu/handle/10993/53166
http://orbilu.uni.lu/handle/10993/53166
Formal verification carries the promise of absolute correctness, guaranteed at the highest level of assurance known today. However, inherent to many verification attempts is the assumption that the underlying hardware, the code-generation toolchain a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2658::e55ba2c03e76f3474d230b3c5411d9ea
http://orbilu.uni.lu/handle/10993/50425
http://orbilu.uni.lu/handle/10993/50425