Directed test generation for validation of multicore architectures
- 期刊名称ACM Transactions on Design Automation of Electronic Systems
- 作者Qin, Xiaoke; Mishra, Prabhat
- 卷第17卷
- 期第3期
- 印刷ISSN1084-4309
- 文件大小925.65KB
- 发表时间2012-06-01
- DOI10.1145/2209291.2209297
- 页码1-21
SchrifttumsschauGeorg Heubeck; Carl Boehm; Waldemar Schöbe; Günther Drude; Erich Stein; Hans Dinter; Gerhard Röper; Lebrecht Göritz; Günther Wünsche · 1956
SchrifttumschauGünther Drude; Carl Boehm; Hans Münzner; Günther Wünsche; Manfred Helbig; Erich Stein; Waldemar Schöbe; Lebrecht Göritz · 1962
SchrifttumsschauWaldemar Schöbe; Herbert von Denffer; Manfred Helbig; Paula Schweiger; Carl Boehm; Gerhard Röper · 1960
Schweizerische Lebensversicherungs- und Rentenanstalt 1857–1957Gottfried Berger; Johannes Staniszewski; Karl Heinrich Quast; Erich Stein; Dietrich Bierlein; Hans-Willy Schäfer; Waldemar Schöbe; Lebrecht Göritz; H. P. Luzius; Günther Wünsche · 1958
SchrifttumschauHasso Härlen; Carl Boehm; Edgar Neuburger; Waldemar Schöbe; Gerhard Müller; Peter Leepin; Werner Dinkelbach; Günther Drude; Wulf Erbe; Carl Boehm; Rita Tönne; Josef Kupper · 1967
SchrifttumsschauCarl Boehm; Hans-Ludwig Kroner; Günther Drude; Johannes Mehring; Erich Stein; Georg Heubeck; Manfred Helbig; Peter Leepin; Peter Barow; Stefan Vajda; Waldemar Schöbe; Lebrecht Göritz; Günther Wünsche · 1961
Schrifttumsschau und KongreßberichtPaula Schweiger; Johannes Staniszewski; Johannes Mehring; Günther Drude; Paula Schweiger; Carl Boehm; Lebrecht Göritz; Waldemar Schöbe · 1955
Gebrochen iterierte Exponentialfunktion im ReellenWaldemar Schöbe · 1958