Zobrazeno 1 - 10
of 12
pro vyhledávání: '"SHAOKAI LIN"'
Publikováno v:
环境与职业医学, Vol 39, Iss 11, Pp 1277-1283 (2022)
BackgroundPM2.5 pollution has become a widely concerned environmental health problem. Polycyclic aromatic hydrocarbons(PAHs) are the main harmful components of PM2.5, and their sources and carcinogenic risk deserve attention.ObjectiveTo analyze the s
Externí odkaz:
https://doaj.org/article/49ce4b83b48544bab206af3db8a0e32c
Publikováno v:
Intelligent Computing, Vol 2 (2023)
Tiered distributed computing systems, where components run in Internet-of-things devices, in edge computers, and in the cloud, introduce unique difficulties in maintaining consistency of shared data while ensuring availability. A major source of diff
Externí odkaz:
https://doaj.org/article/fa43bafa9ee84080a1f177eafb2757b8
Autor:
MENARD, CHRISTIAN, LOHSTROH, MARTEN, BATENI, SOROUSH, CHORLIAN, MATTHEW, DENG, ARTHUR, DONOVAN, PETER, FOURNIER, CLÉMENT, SHAOKAI LIN, SUCHERT, FELIX, TANNEBERGER, TASSILO, KIM, HOKEUN, CASTRILLON, JERONIMO, LEE, EDWARD A.
Publikováno v:
ACM Transactions on Architecture & Code Optimization; Dec2023, Vol. 20 Issue 4, p1-29, 29p
Autor:
Erling R. Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl
Publikováno v:
Jellum, E R, Lin, S, Donovan, P, Jerad, C, Wang, E, Lohstroh, M, Lee, E A & Schoeberl, M 2023, InterPRET: A Time-predictable Multicore Processor . in Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 . pp. 331-336, Cyber-Physical Systems and Internet of Things Week 2023, San Antonio, Texas, United States, 09/05/2023 . https://doi.org/10.1145/3576914.3587497
With the end of Moore's law and the breakdown of Dennard scaling, multicore processors are the standard way to continue improving performance while reducing Size, Weight and Power (SWaP). However, this performance is typically achieved at the cost of
Autor:
SHAOKAI LIN, MANERKAR, YATIN A., LOHSTROH, MARTEN, POLGREEN, ELIZABETH, SHENG-JUNG YU, JERAD, CHADLIA, LEE, EDWARD A., SESHIA, SANJIT A.
Publikováno v:
ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-24, 24p
Autor:
LEE, EDWARD A., AKELLA, RAVI, SOROUSH BATENI, SHAOKAI LIN, LOHSTROH, MARTEN, MENARD, CHRISTIAN
Publikováno v:
ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-24, 24p
Autor:
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
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:
https://explore.openaire.eu/search/publication?articleId=doi_________::078c0eee11f9c4b435b0139ed0320edf
https://doi.org/10.1007/978-3-031-13185-1_27
https://doi.org/10.1007/978-3-031-13185-1_27
Publikováno v:
FDL 2021-Forum on specification & Design Languages
FDL 2021-Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨10.1109/FDL53530.2021.9568383⟩
2021 Forum on specification & Design Languages (FDL)
2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France
FDL
FDL 2021-Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨10.1109/FDL53530.2021.9568383⟩
2021 Forum on specification & Design Languages (FDL)
2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France
FDL
International audience; LINGUA FRANCA (LF) is a polyglot coordination language designed for the composition of concurrent, timesensitive, and potentially distributed reactive components called reactors. The LF coordination layer facilitates the use o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::480702ca4993ab51ee116f60265e290d
https://inria.hal.science/hal-03374955/file/FDL21.pdf
https://inria.hal.science/hal-03374955/file/FDL21.pdf
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662639573
Financial Cryptography Workshops
Financial Cryptography Workshops
The growing adoption of decentralized finance poses new security risks, as designing increasingly complex financial models is error-prone. We have witnessed numerous DeFi projects hacked (for tens of millions of dollars) because of unsound liquidatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a8bd88f4328913bd1f34c462740d48cc
https://doi.org/10.1007/978-3-662-63958-0_14
https://doi.org/10.1007/978-3-662-63958-0_14