Gotowe bibliografie tematyczne / HyperCell

Spis treści

  1. Artykuły w czasopismach

Gotowa bibliografia na temat „HyperCell”

Autor: Grafiati
Data publikacji: 6 września 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „HyperCell”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "HyperCell"

1

Learmonth, RP. "Hypercell." Biochemical Education 22, no. 2 (1994): 97–99. http://dx.doi.org/10.1016/0307-4412(94)90094-9.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Williams, R. A. D. "HyperCell 1996." Trends in Biochemical Sciences 22, no. 4 (1997): 141. http://dx.doi.org/10.1016/s0968-0004(97)84079-0.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Gleiser, P. M., and F. A. Tamarit. "Dynamical properties of the hypercell spin-glass model." Physical Review E 57, no. 2 (1998): 1410–15. http://dx.doi.org/10.1103/physreve.57.1410.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Sansom, Clare. "HyperCELL 1996 — CD-ROM for MacIntosh and Windows." Biochemical Education 25, no. 2 (1997): 100. http://dx.doi.org/10.1016/s0307-4412(97)88292-1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Liu, Zongyuan, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal. "VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A." Proceedings of the ACM on Programming Languages 7, PLDI (2023): 1438–62. http://dx.doi.org/10.1145/3591279.

Pełny tekst źródła
Streszczenie:
Thin hypervisors make it possible to isolate key security components like keychains, fingerprint readers, and digital wallets from the easily-compromised operating system. To work together, virtual machines running on top of the hypervisor can make hypercalls to the hypervisor to share pages between each other in a controlled way. However, the design of such hypercall ABIs remains a delicate balancing task between conflicting needs for expressivity, performance, and security. In particular, it raises the question of what makes the specification of a hypervisor, and of its hypercall ABIs, good enough for the virtual machines. In this paper, we validate the expressivity and security of the design of the hypercall ABIs of Arm's FF-A. We formalise a substantial fragment of FF-A as a machine with a simplified ISA in which hypercalls are steps of the machine. We then develop VMSL, a novel separation logic, which we prove sound with respect to the machine execution model, and use it to reason modularly about virtual machines which communicate through the hypercall ABIs, demonstrating the hypercall ABIs' expressivity. Moreover, we use the logic to prove robust safety of communicating virtual machines, that is, the guarantee that even if some of the virtual machines are compromised and execute unknown code, they cannot break the safety properties of other virtual machines running known code. This demonstrates the intended security guarantees of the hypercall ABIs. All the results in the paper have been formalised in Coq using the Iris framework.
Style APA, Harvard, Vancouver, ISO itp.
6

Elsamanoudi, Ahmed, Mohamed R. AbdAllah, and Haytham M. Elbadrawy. "Parametric Hypercell Mechanism for Adaptive Building Skin: A Case Study in New Administrative Capital, Egypt." Civil Engineering and Architecture 10, no. 7 (2022): 3046–70. http://dx.doi.org/10.13189/cea.2022.100719.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Nelson, Kelly. "HyperCALL." Hispania 76, no. 2 (1993): 359. http://dx.doi.org/10.2307/344708.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

LEVENSON, THOMAS. "Taming the Hypercello." Sciences 34, no. 4 (1994): 15–17. http://dx.doi.org/10.1002/j.2326-1951.1994.tb03769.x.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Chang, Chaowen, Xin Chen, Shuai Wang, and Qinghai Xiao. "Research on Dynamic Integrity Measurement Model Based on Memory Paging Mechanism." Discrete Dynamics in Nature and Society 2014 (2014): 1–7. http://dx.doi.org/10.1155/2014/478985.

Pełny tekst źródła
Streszczenie:
In order to solve the existed problems of dynamic integrity measurement method, a dynamic integrity measurement model based on Memory Paging Mechanism is proposed in this paper. The model takes memory pages of executable subjects as measurement objects. When the pages are scheduled into memory, the measurement points are inserted, the pages are measured, and their integrities are verified. The model is able to insure the integrity and trust of each executable page and assure that the integrity of the whole executable subjects is not destroyed. To verify this model, XEN hypercall mechanism is used to acquire executable subjects’ pages scheduled into memory, and the integrity measurement and verification codes are put into hypercall handler. Accordingly, dynamic integrity measurement to executable subjects is implemented.
Style APA, Harvard, Vancouver, ISO itp.
10

Si, Zhi Gang, Ping Li, Xin Chen, and Ying Wan. "A Dynamic Integrity Measurement Scheme Based on XEN." Advanced Materials Research 482-484 (February 2012): 279–86. http://dx.doi.org/10.4028/www.scientific.net/amr.482-484.279.

Pełny tekst źródła
Streszczenie:
A trusted computing platform is designed based on XEN virtual machine, and a dynamic integrity measurement scheme is presented using hypercall mechanism. This scheme can solve the deficiency of limited scope or complicated structure comparing with other dynamic integrity measurement schemes.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „HyperCell” dla poszczególnych typów źródeł:
Artykuły w czasopismach
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii