„hardware engineering“

Suchergebnisse

7.574 Treffer

• Adding concurrency to smart contracts
  Dickerson, Thomas ; Gazzillo, Paul ; Herlihy, Maurice ; Koskinen, Eric
• A time-domain projection-based registration-scene-based nonuniformity correction technology and its detailed hardware realization
  Liu, Ning ; Qiu, Hang
• The wake up and report problem is time-equivalent to the firing squad synchronization problem
  Goldstein, Darin ; Meyer, Nick
• Disk Paxos
  Gafni, Eli ; Lamport, Leslie
• Model checking: a hardware design perspective
  Pixley, Carl ; Singhal, Vigyan
• Toward Soft Hardware
  Paun, G. ; Yokomori, T.
• An algorithm for the asynchronous Write-All problem based on process collision
  Groote, Jan Friso ; Hesselink, Wim H. ; Mauw, Sjouke ; Vermeulen, Rogier
• Zwischenbetriebliche elektronische Katalogsysteme: Netzwerkstrategische Gestaltungsoptionen und Erfolgsfaktoren
  Gebauer, Judith ; Raupp, Markus
• Non-blocking atomic commit in asynchronous distributed systems with failure detectors
  Guerraoui, Rachid
• The BG distributed simulation algorithm
  Borowsky, E. ; Gafni, E. ; Lynch, N. ; Rajsbaum, S.
• An adaptive collect algorithm with applications
  Attiya, Hagit ; Fouren, Arie ; Gafni, Eli
• Universal dynamic synchronous self–stabilization
  Boldi, Paolo ; Vigna, Sebastiano
• Efficient detection of discrepancies in multiple file copies
  Abdel-Ghaffar, Khaled A.S ; El Abbadi, Amr
• Wie erstellt man ein objektorientiertes Analysemodell?
  Balzert, Heide
• Fehlerinjektion – ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen Rechensystemen
  Echtle, Klaus ; Silva, João Gabriel
• Kommerzielle Großrechner als Ausbildungsaufgabe an Universitäten und Fachhochschulen
  Kebschull, Udo ; Spruth, Wilhelm G.
• Professionelle Dienste und kreative Konzepte für die Versorgung mit Informatik-Wissen
  Endres, Albert ; Rosemann, Uwe ; Stucky, Wolffried ; Ziegler, Claus Dieter
• Hardware Implementation of FAST Algorithm for Mobile Applications
  Šoberl, Domen ; Zimic, Nikolaj ; Leonardis, Aleš ; Krivic, Jaka ; Moškon, Miha
• Hardware Simulator Design for MIMO Propagation Channel on Shipboard at 2.2 GHz
  Habib, Bachir ; Farhat, Hanna ; Zaharia, Gheorghe ; El Zein, Ghaïs
• A fault tolerant single sided matrix converter for flight control actuation systems
  Huang, Xiao-yan ; Jin, Mao-jing ; Zhang, Jian-cheng ; Lu, Qin-fen ; Fang, You-tong ; Goodman, Andrew ; Gerada, Chris