8 Einträge gefunden

1. Massively extended modular monitoring and a second life for upper stages

   1. Mey, Jan Gerd
   2. Reorda, Matteo Sonza
   3. Violante, Massimo
   4. Dannemann, Frank
   5. Hanson, Berenike
   6. Karlsson, Niklas
   7. Kuremyr, Tobias

   2018 - TUHH Open Research
2. Software-level TMR approach for on-board data processing in space applications

   1. Janson, Karl
   2. Treudler, Carl Johann
   3. Hollstein, Thomas
   4. Raik, Jaan
   5. Jenihhin, Maksim
   6. Fey, Görschwin

   2018 - TUHH Open Research
3. Time-triggered data transfers over SpaceWire for distributed systems

   1. Borchers, Kai
   2. Lüdtke, Daniel
   3. Fey, Görschwin
   4. Montenegro, Sergio

   2018 - TUHH Open Research
4. Augmenting all solution SAT solving for circuits with structural information

   1. Tibebu, Abraham Temesgen
   2. Fey, Görschwin

   2018 - TUHH Open Research
5. An Overview on Formal Techniques for Understanding Digital Hardware Designs

   1. Fey, Görschwin

   2018 - TUHH Open Research
6. Design Understanding: From Logic to Specification*

   1. Fey, Görschwin
   2. Ghasempouri, Tara
   3. Jacobs, Swen
   4. Martino, Gianluca
   5. Raik, Jaan
   6. Riener, Heinz

   2018 - TUHH Open Research
7. Mining latency guarantees for RTL designs

   1. Malburg, Jan
   2. Riener, Heinz
   3. Fey, Görschwin

   2018 - TUHH Open Research
8. Towards self-explaining digital systems: A design methodology for the next generation

   1. Drechsler, Rolf
   2. Lüth, Christoph
   3. Fey, Görschwin
   4. Güneysu, Tim

   2018 - TUHH Open Research