Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Yaniv Sa'ar"'
Publikováno v:
IEEE Transactions on Network and Service Management. :1-1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e81e4a40518afa7a7c061296ffae296a
https://doi.org/10.1109/tnsm.2023.3238644
https://doi.org/10.1109/tnsm.2023.3238644
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-27
This paper presents a method for synthesizing a reactive program to coordinate the actions of a group of other reactive programs so that the combined system satisfies a temporal specification of its desired long-term behavior. Traditionally, reactive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::25dc7fac11d6973f433273637910a329
https://doi.org/10.1145/3371122
https://doi.org/10.1145/3371122
Publikováno v:
Networking
Network Function Virtualization (NFV) carries the potential for on-demand deployment of network algorithms in virtual machines (VMs). In large clouds, however, VM resource allocation incurs delays that hinder the dynamic scaling of such NFV deploymen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1733b3b3f6f77ba3c4627b3ce98459eb
http://hdl.handle.net/11583/2920096
http://hdl.handle.net/11583/2920096
Publikováno v:
INFOCOM Workshops
Efficient on-demand deployment of VMs is at the core of cloud infrastructure but the existing resource management approaches are too slow to fulfill this promise. Parallel resource management is a promising direction for boosting performance, but whe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2309635f99840d03f45d66d3ff1d577
https://doi.org/10.1109/infocomwkshps50562.2020.9162912
https://doi.org/10.1109/infocomwkshps50562.2020.9162912
Publikováno v:
AAAI
Gradient boosted models are a fundamental machine learning technique. Robustness to small perturbations of the input is an important quality measure for machine learning models, but the literature lacks a method to prove the robustness of gradient bo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::edf27426707fe0581956efe0f62c035b
Publikováno v:
Computer Aided Verification ISBN: 9783319961446
CAV (1)
CAV (1)
Asynchronous interactions are ubiquitous in computing systems and complicate design and programming. Automatic construction of asynchronous programs from specifications (“synthesis”) could ease the difficulty, but known methods are complex, and i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a8c12be273e79a4747b9f1935fcb17c6
https://doi.org/10.1007/978-3-319-96145-3_20
https://doi.org/10.1007/978-3-319-96145-3_20
Publikováno v:
IM
Network Function Virtualization (NFV) is a novel paradigm that enables flexible and scalable implementation of network services on cloud infrastructure. An important enabler for the NFV paradigm is software switching, which should satisfy rigid netwo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc8d3440c7275bf1da238ff5f99dd596
https://doi.org/10.23919/inm.2017.7987296
https://doi.org/10.23919/inm.2017.7987296
Autor:
Shahar Maoz, Yaniv Sa'ar
Publikováno v:
International Conference on Software Engineering (ICSE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04f8d0a821d8d1d25df96ff5b23e4250
Autor:
Yaniv Sa'ar, Shahar Maoz
Publikováno v:
Lecture Notes in Computer Science
Model Driven Engineering Languages and Systems ISBN: 9783642336652
MoDELS
Model Driven Engineering Languages and Systems ISBN: 9783642336652
MoDELS
The behavior of open reactive systems is best described in an assume-guarantee style specification: a system guarantees certain prescribed behavior provided that its environment follows certain given assumptions. Scenario-based modeling languages, su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a3ef11b843c44ef5a7c6e9237310d05
Autor:
Yaniv Sa'ar, Shahar Maoz
Publikováno v:
AOSD
Lecture Notes in Computer Science ISBN: 9783642369636
Lecture Notes in Computer Science
Lecture Notes in Computer Science ISBN: 9783642369636
Lecture Notes in Computer Science
Tracing program actions back to the concerns that have caused them and blaming specific code artifacts for concern interference are known challenges of AOP and related advanced modularity paradigms. In this work we address these challenges in the con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6e133b02b548e7e3618cc133805e23c
https://doi.org/10.1145/2162049.2162055
https://doi.org/10.1145/2162049.2162055