Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Lin, Shaokai"'
Autor:
Lin, Shaokai, Jellum, Erling, Theile, Mirco, Tanneberger, Tassilo, Sun, Binqi, Jerad, Chadlia, Xu, Ruomu, Feng, Guangyu, Menard, Christian, Lohstroh, Marten, Castrillon, Jeronimo, Seshia, Sanjit, Lee, Edward
This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language. The subset c
Externí odkaz:
http://arxiv.org/abs/2406.06253
Autor:
Donovan, Peter, Jellum, Erling, Jun, Byeonggil, Kim, Hokeun, Lee, Edward A., Lin, Shaokai, Lohstroh, Marten, Rengarajan, Anirudh
Discrete-event (DE) systems are concurrent programs where components communicate via tagged events, where tags are drawn from a totally ordered set. Reactors are an emerging model of computation based on DE and realized in the open-source coordinatio
Externí odkaz:
http://arxiv.org/abs/2405.12117
Autor:
Lee, Edward A., Akella, Ravi, Bateni, Soroush, Lin, Shaokai, Lohstroh, Marten, Menard, Christian
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned (P), one must give up either consistency (C) or availability (A). Consistency is agreement on the values of shared variables; availability is the ability
Externí odkaz:
http://arxiv.org/abs/2301.08906
Autor:
Menard, Christian, Lohstroh, Marten, Bateni, Soroush, Chorlian, Matthew, Deng, Arthur, Donovan, Peter, Fournier, Clément, Lin, Shaokai, Suchert, Felix, Tanneberger, Tassilo, Kim, Hokeun, Castrillon, Jeronimo, Lee, Edward A.
Actor frameworks and similar reactive programming techniques are widely used for building concurrent systems. They promise to be efficient and scale well to a large number of cores or nodes in a distributed system. However, they also expose programme
Externí odkaz:
http://arxiv.org/abs/2301.02444
Autor:
Polgreen, Elizabeth, Cheang, Kevin, Gaddamadugu, Pranav, Godbole, Adwait, Laeufer, Kevin, Lin, Shaokai, Manerkar, Yatin A., Mora, Federico, Seshia, Sanjit A.
UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combinations of hardware and software, or those that have multiple, varied
Externí odkaz:
http://arxiv.org/abs/2208.03699
Autor:
Bateni, Soroush, Lohstroh, Marten, Wong, Hou Seng, Tabish, Rohan, Kim, Hokeun, Lin, Shaokai, Menard, Christian, Liu, Cong, Lee, Edward A.
Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of unintended behavior is high. The coordination mechanism between the compo
Externí odkaz:
http://arxiv.org/abs/2207.09555
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned, there is a tradeoff between consistency and availability. Consistency is agreement on the values of shared variables across a system, and availability i
Externí odkaz:
http://arxiv.org/abs/2109.07771
The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge proof effort.
Externí odkaz:
http://arxiv.org/abs/2103.02209
With the emergence of quantum computing and quantum networks, many communication protocols that take advantage of the unique properties of quantum mechanics to achieve a secure bidirectional exchange of information, have been proposed. In this study,
Externí odkaz:
http://arxiv.org/abs/1910.08135
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.