Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Damien Zufferey"'
Publikováno v:
SPLASH 2020-ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
SPLASH 2020-ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩
Proceedings of the ACM on Programming Languages
SPLASH 2020-ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩
Proceedings of the ACM on Programming Languages
Synchronization primitives for fault-tolerant distributed systems that ensure an effective and efficient cooperation among processes are an important challenge in the programming languages community. We present a new programming abstraction, ReSync,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::084f0a272e743e7b5b171e066331011c
https://doi.org/10.1145/3428281
https://doi.org/10.1145/3428281
Publikováno v:
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science
Fundamental Approaches to Software Engineering ISBN: 9783030714994
FASE
Lecture Notes in Computer Science
Fundamental Approaches to Software Engineering ISBN: 9783030714994
FASE
Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem. We present Paracosm, a framework for writing systematic test scenarios for autonomous driving simulations. Paracosm allows users
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb4a77be55bdc5c24d3da36301350c14
http://europepmc.org/articles/PMC7978867
http://europepmc.org/articles/PMC7978867
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Distributed reactive synthesis is the problem of algorithmically constructing controllers of distributed, communicating systems so that each closed-loop system satisfies a given temporal specification. We present an algorithm, called negotiation , fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::066fff28e522a0e9cb0362c956a36fb5
https://doi.org/10.1109/tcad.2020.3012641
https://doi.org/10.1109/tcad.2020.3012641
Publikováno v:
Computer Graphics Forum. 39:408-425
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e139b77fcef7a061678e10b2211b07a
https://doi.org/10.1111/cgf.14046
https://doi.org/10.1111/cgf.14046
Publikováno v:
Pattern Recognition. 86:290-319
Feature selection is one of the trending challenges in multi-label classification. In recent years a lot of methods have been proposed. However the existing approaches assume that all the features have the same cost. This assumption may be inappropri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b96272e01bb281750a17cde487f5b807
https://doi.org/10.1016/j.patcog.2018.09.012
https://doi.org/10.1016/j.patcog.2018.09.012
Publikováno v:
OOPSLA 2020
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages
We present a programming model and typing discipline for complex multi-robot coordination programming. Our model encompasses both synchronisation through message passing and continuous-time dynamic motion primitives in physical space. We specify \emp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4bec2e7e3b6ff23507ad66c17bbd6ae
http://arxiv.org/abs/2010.05484
http://arxiv.org/abs/2010.05484
Autor:
Andreas Gerstlauer, Damien Zufferey, Babak Falsafi, Lara Dolecek, Alexandros Daglis, Ghayoor Gillani, Phillip Stanley-Marbell, Sasa Misailovic, Adrian Sampson, Natalie Enright Jerger, Armin Alaghi, Michael Carbin, Djordje Jevdjic, Thierry Moreau, Eva Darulova, Mattia Cacciotti
Publikováno v:
arXiv
When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, system software, and programming language compilers or their runtime systems can trade deviations fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bf610484a1fbcf7892e61b5c90c8e6e
http://www.scopus.com/inward/record.url?scp=85089411152&partnerID=8YFLogxK
http://www.scopus.com/inward/record.url?scp=85089411152&partnerID=8YFLogxK
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Automated controller synthesis methods for cyber–physical systems (CPSs) often require precise knowledge of the system’s state. Unfortunately, parts of the state may not be directly measurable, which limits the application of these methods. We pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5f069394488a9f5f49097e1d9f4031bf
https://hdl.handle.net/21.11116/0000-0009-0F86-021.11116/0000-0008-7CC2-2
https://hdl.handle.net/21.11116/0000-0009-0F86-021.11116/0000-0008-7CC2-2
Publikováno v:
CDC
ion-Based Controller Synthesis (ABCS) is an emerging field for automatic synthesis of correct-by-design controllers for non-linear dynamical systems in the presence of bounded disturbances. A major drawback of existing ABCS techniques is the lack of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb3a485c84e6100e635afee600ab4da0
https://doi.org/10.1109/cdc40024.2019.9030141
https://doi.org/10.1109/cdc40024.2019.9030141
Publikováno v:
ICCPS
Robotics applications are typically programmed in low-level imperative programming languages, leaving the programmer to deal with dynamic controllers affecting the physical state, geometric constraints on components, and concurrency and synchronizati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cd3209ba1a3124bc851761ccd7ffb00
https://doi.org/10.1145/3302509.3311052
https://doi.org/10.1145/3302509.3311052