Zobrazeno 1 - 10
of 169
pro vyhledávání: '"Shen, Gan"'
Autor:
Shen, Gan, Kuper, Lindsey
Choreographic programming (CP) is a paradigm for programming distributed applications as single, unified programs, called choreographies, that are then compiled to node-local programs via endpoint projection (EPP). Recently, library-level CP framewor
Externí odkaz:
http://arxiv.org/abs/2407.06509
Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a choreography, that is then transformed to individual programs for each node
Externí odkaz:
http://arxiv.org/abs/2311.11472
Choreographic programming is an emerging paradigm for programming distributed systems. In choreographic programming, the programmer describes the behavior of the entire system as a single, unified program -- a choreography -- which is then compiled t
Externí odkaz:
http://arxiv.org/abs/2303.00924
Protocols to ensure that messages are delivered in causal order are a ubiquitous building block of distributed systems. For instance, distributed data storage systems can use causally ordered message delivery to ensure causal consistency, and CRDTs c
Externí odkaz:
http://arxiv.org/abs/2206.14767
Autor:
Shen, Gan, Kuper, Lindsey
Dependent types offer great versatility and power, but developing proofs with them can be tedious and requires considerable human guidance. We propose to integrate Satisfiability Modulo Theories (SMT)-based refinement types into the dependently-typed
Externí odkaz:
http://arxiv.org/abs/2110.05771
Liquid Haskell is an extension to the Haskell programming language that adds support for refinement types: data types augmented with SMT-decidable logical predicates that refine the set of values that can inhabit a type. Furthermore, Liquid Haskell's
Externí odkaz:
http://arxiv.org/abs/2110.04461
Autor:
Chu, Tinggang, Zhang, Wenzhen, Chen, Tingxiang, Shen, Gan, Wang, Lei, Huang, Jinlong, Zheng, Zengming
Publikováno v:
In Journal of Plastic, Reconstructive & Aesthetic Surgery July 2024 94:119-127
Publikováno v:
In Biosystems Engineering June 2024 242:38-49
Autor:
Gao, Hong, Shen, Gan, Hu, Hao, Lin, Zhangxiang, Yuan, Hanli, Lin, Defeng, Zhu, Xiaohai, Jiang, Hua, Liu, Antang
Publikováno v:
In Journal of Plastic, Reconstructive & Aesthetic Surgery November 2023 86:72-78
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.