( en | de | ru )

 

Disambiguation of "Ferdman, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Swarm Model Checking on the GPU.

, , , and . SPIN, volume 11636 of Lecture Notes in Computer Science, page 94-113. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)
 

Other publications of authors with the same name

Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication., , , , , and . NSDI, page 357-374. USENIX Association, (2023)AppBastion: Protection from Untrusted Apps and OSes on ARM., , and . ESORICS (2), volume 13555 of Lecture Notes in Computer Science, page 692-715. Springer, (2022)Scale-out processors, , , , , , , , , and . volume 40 of 3, IEEE Computer Society, (2012)Scale-out processors., , , , , , , , , and 1 other author(s). ISCA, page 500-511. IEEE Computer Society, (2012)Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors., , , , , , , , , and . ACM Trans. Comput. Syst., 30 (4): 15:1-15:24 (2012)Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments., , , , and . ISCA, page 187-198. IEEE, (2020)Domains Do Change Their Spots: Quantifying Potential Abuse of Residual Trust., , , and . SP, page 2130-2144. IEEE, (2022)FPGASwarm: High Throughput Model Checking on FPGAs., , and . FPL, page 435-442. IEEE Computer Society, (2018)Medusa: A Scalable Interconnect for Many-Port DNN Accelerators and Wide DRAM Controller Interfaces., , , and . FPL, page 101-105. IEEE Computer Society, (2018)Last-Touch Correlated Data Streaming., and . ISPASS, page 105-115. IEEE Computer Society, (2007)