Hiroyuki Tomiyama

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Prabhat Mishra 0001

> Home > Persons > Hiroyuki Tomiyama

Publications

2003
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/MishraDT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/MishraDT03
Prabhat Mishra, Nikil D. Dutt, Hiroyuki Tomiyama:
Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications. Des. Autom. Embed. Syst. 8(2-3): 249-265 (2003)
2002
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MishraDNT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MishraDNT02
Prabhat Mishra, Nikil D. Dutt, Alexandru Nicolau, Hiroyuki Tomiyama:
Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units. DATE 2002: 36-43
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/MishraTHGDN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/MishraTHGDN02
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil D. Dutt, Alexandru Nicolau:
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language. ASP-DAC/VLSI Design 2002: 458-

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.