ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures von Simner, B, Flur, S, Pulte, C, Armstrong, A, Pichon-Pharabod, J, Maranget, L, Sewell, P

Volltext bestellen

Repairing and mechanising the JavaScript relaxed memory model von Watt, C, Pulte, C, Podkopaev, A, Barbier, G, Dolan, S, Flur, S, Pichon-Pharabod, J, Guo, SY

Volltext bestellen

Simplifying ARM concurrency: Multicopy-atomic axiomatic and operational models for ARMv8 von Pulte, C, Flur, S, Deacon, W, French, J, Sarkar, S, Sewell, P

Volltext bestellen

ISA semantics for ARMV8-A, RISC-V, and ChERI-MIPs von Armstrong, A, Bauereiss, T, Campbell, B, Reid, A, Gray, KE, Norton, RM, Mundkur, P, Wassell, M, French, J, Pulte, C, Flur, S, Stark, I, Krishnaswami, N, Sewell, P

Volltext bestellen

Mixed-size concurrency: ARM, POWER, C/C++11, and SC von Flur, S, Sarkar, S, Pulte, C, Nienhuis, K, Maranget, L, Gray, KE, Sezgin, A, Batty, M, Sewell, P

Volltext bestellen

Modelling the ARMv8 architecture, operationally: Concurrency and ISA von Flur, S, Gray, KE, Pulte, C, Sarkar, S, Sezgin, A, Maranget, L, Deacon, W, Sewell, P

Volltext bestellen

Perspectives and Promises of Clinical Psychology von Ehlers, Anke, Fiegenbaum, Wolfgang, Florin, Irmela, Margraf, Jurgen

Volltext

Distributed Systems: Methods and Tools for Specification An Advanced Course von Paul, M, Siegert, H. J, Alford, M. W, Ansart, J. P, Hommel, G, Lamport, L, Liskov, B, Mullery, G. P, Schneider, F. B

Volltext

Flainín von Hurdail, R. Ó, Sullivan, Timothy, Sullivan, Flur

Volltext bestellen

De Santa Casa sive de cubiculo Lauretano dissertatio. Quam, consensu amplissimæ facult. philos. sub præsidio ... Johannis A. Bellmanni ... publico bonorum examini subjicit Nicolaus... von Bellman, Johan Arndt

Volltext bestellen

Multidisciplinary Design of Ultra-High-Speed Electrical Machines von Ismagilov, Flur R., Uzhegov, Nikita, Vavilov, Vyacheslav E., Bekuzin, Vladimir I., Ayguzina, Valentina V.

Volltext

Obtaining a dual-phase magnetic material based on electrical silicon steel sheet von Ismagilov, Flur, Vavilov, Vyacheslav, Zherebtsov, Alexey, Miniyarov, Aybulat, Pronin, Egor

Volltext

APPARATUS FOR GRIPPING ARTICLES AND FEEDING INTO WORKING ZONE von FASKHUTDINOV FLUR M,SU, LAZAKIN ALEKSANDR P,SU, GAREEV BORIS T,SU

Volltext bestellen

Investigation of technologies for manufacturing dual-phase magnetic steels for elements of electric machines: A review von Ismagilov, Flur, Vavilov, Vyacheslav, Pronin, Egor, Yushkova, Oxana, Zherebtsov, Alexey

Volltext

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 von Pulte, Christopher, Flur, Shaked, Deacon, Will, French, Jon, Sarkar, Susmit, Sewell, Peter

Volltext

DESIGN OF 8000 RPM MULTI-SLOT GENERATORS von Ismagilov, Flur R, Vavilov, Vyacheslav E, Urazbakhtin, Ruslan R

Volltext

Design Algorithm of an Aircraft Power Generation System von Ismagilov, Flur Rashitovich, Kiselev, Mikhail Anatolyevich, Vavilov, Viacheslav Evgenievich, Gusakov, Denis Valerievich

Volltext

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS von Armstrong, Alasdair, Bauereiss, Thomas, Campbell, Brian, Reid, Alastair, Gray, Kathryn E., Norton, Robert M., Mundkur, Prashanth, Wassell, Mark, French, Jon, Pulte, Christopher, Flur, Shaked, Stark, Ian, Krishnaswami, Neel, Sewell, Peter

Volltext

Termination proofs for linear simple loops von Chen, Hong Yi, Flur, Shaked, Mukhopadhyay, Supratik

Volltext

Method of Designing High-Speed Generators for the Biogas Plant

Volltext