|
Search the dblp DataBase
Christoph Berg:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christoph Berg, Christian Jacobi 0002
Formal Verification of the VAMP Floating Point Unit. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:325-339 [Conf]
- Christoph Berg, Jakob Engblom, Reinhard Wilhelm
Requirements for and Design of a Processor with Predictable Timing. [Citation Graph (0, 0)][DBLP] Design of Systems with Predictable Behaviour, 2004, pp:- [Conf]
- Christian Jacobi 0002, Christoph Berg
Formal Verification of the VAMP Floating Point Unit. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2005, v:26, n:3, pp:227-266 [Journal]
- Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm
Timing predictability of cache replacement policies. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 2007, v:37, n:2, pp:99-122 [Journal]
PLRU Cache Domino Effects. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|