BibTeX records: Nagisa Ishiura

download as .bib file

@inproceedings{DBLP:conf/rsp/OosakoITK18,
  author    = {Yuuki Oosako and
               Nagisa Ishiura and
               Hiroyuki Tomiyama and
               Hiroyuki Kanbara},
  title     = {Synthesis of Full Hardware Implementation of RTOS-Based Systems},
  booktitle = {2018 International Symposium on Rapid System Prototyping, {RSP} 2018,
               Torino, Italy, October 4-5, 2018},
  pages     = {1--7},
  year      = {2018},
  crossref  = {DBLP:conf/rsp/2018},
  url       = {https://doi.org/10.1109/RSP.2018.8631993},
  doi       = {10.1109/RSP.2018.8631993},
  timestamp = {Tue, 05 Feb 2019 19:20:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/OosakoITK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TakakuraII18,
  author    = {Shogo Takakura and
               Mitsuyoshi Iwatsuji and
               Nagisa Ishiura},
  title     = {Extending equivalence transformation based program generator for random
               testing of {C} compilers},
  booktitle = {Proceedings of the 9th {ACM} {SIGSOFT} International Workshop on Automating
               {TEST} Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT
               {FSE} 2018, Lake Buena Vista, FL, USA, November 05, 2018},
  pages     = {9--15},
  year      = {2018},
  crossref  = {DBLP:conf/sigsoft/2018atest},
  url       = {https://doi.org/10.1145/3278186.3278188},
  doi       = {10.1145/3278186.3278188},
  timestamp = {Wed, 09 Jan 2019 17:54:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/TakakuraII18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KitauraI18,
  author    = {Kota Kitaura and
               Nagisa Ishiura},
  title     = {Random testing of compilers' performance based on mixed static and
               dynamic code comparison},
  booktitle = {Proceedings of the 9th {ACM} {SIGSOFT} International Workshop on Automating
               {TEST} Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT
               {FSE} 2018, Lake Buena Vista, FL, USA, November 05, 2018},
  pages     = {38--44},
  year      = {2018},
  crossref  = {DBLP:conf/sigsoft/2018atest},
  url       = {https://doi.org/10.1145/3278186.3278192},
  doi       = {10.1145/3278186.3278192},
  timestamp = {Wed, 09 Jan 2019 17:54:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/KitauraI18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HibinoII17,
  author    = {Yusuke Hibino and
               Hirofumi Ikeo and
               Nagisa Ishiura},
  title     = {{CF3:} Test Suite for Arithmetic Optimization of {C} Compilers},
  journal   = {{IEICE} Transactions},
  volume    = {100-A},
  number    = {7},
  pages     = {1511--1512},
  year      = {2017},
  url       = {https://doi.org/10.1587/transfun.E100.A.1511},
  doi       = {10.1587/transfun.E100.A.1511},
  timestamp = {Thu, 27 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ieicet/HibinoII17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AzumaIYK17,
  author    = {Kagumi Azuma and
               Nagisa Ishiura and
               Nobuaki Yoshida and
               Hiroyuki Kanbara},
  title     = {Distributed memory architecture for high-level synthesis of embedded
               controllers from Erlang},
  booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on
               Erlang, Oxford, United Kingdom, September 3-9, 2017},
  pages     = {13--19},
  year      = {2017},
  crossref  = {DBLP:conf/erlang/2017},
  url       = {https://doi.org/10.1145/3123569.3123574},
  doi       = {10.1145/3123569.3123574},
  timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/erlang/AzumaIYK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/ItoOIKT17,
  author    = {Naoya Ito and
               Yuuki Oosako and
               Nagisa Ishiura and
               Hiroyuki Kanbara and
               Hiroyuki Tomiyama},
  title     = {Binary synthesis implementing external interrupt handler as independent
               module},
  booktitle = {International Symposium on Rapid System Prototyping, {RSP} 2017, Shortening
               the Path from Specification to Prototype, October 19-20, 2017, Seoul,
               South Korea.},
  pages     = {92--98},
  year      = {2017},
  crossref  = {DBLP:conf/rsp/2017},
  url       = {https://doi.org/10.1145/3130265.3130317},
  doi       = {10.1145/3130265.3130317},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/ItoOIKT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/ShimizuION17,
  author    = {Miho Shimizu and
               Nagisa Ishiura and
               Sayuri Ota and
               Wakako Nakano},
  title     = {Speculative execution in distributed controllers for high-level synthesis},
  booktitle = {International Symposium on Rapid System Prototyping, {RSP} 2017, Shortening
               the Path from Specification to Prototype, October 19-20, 2017, Seoul,
               South Korea.},
  pages     = {99--104},
  year      = {2017},
  crossref  = {DBLP:conf/rsp/2017},
  url       = {https://doi.org/10.1145/3130265.3130319},
  doi       = {10.1145/3130265.3130319},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/ShimizuION17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/HashimotoI16,
  author    = {Atsushi Hashimoto and
               Nagisa Ishiura},
  title     = {Detecting Arithmetic Optimization Opportunities for {C} Compilers
               by Randomly Generated Equivalent Programs},
  journal   = {{IPSJ} Trans. System {LSI} Design Methodology},
  volume    = {9},
  pages     = {21--29},
  year      = {2016},
  url       = {https://doi.org/10.2197/ipsjtsldm.9.21},
  doi       = {10.2197/ipsjtsldm.9.21},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipsj/HashimotoI16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apccas/NakamuraI16,
  author    = {Kazuhiro Nakamura and
               Nagisa Ishiura},
  title     = {Random testing of {C} compilers based on test program generation by
               equivalence transformation},
  booktitle = {2016 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS}
               2016, Jeju, South Korea, October 25-28, 2016},
  pages     = {676--679},
  year      = {2016},
  crossref  = {DBLP:conf/apccas/2016},
  url       = {https://doi.org/10.1109/APCCAS.2016.7804063},
  doi       = {10.1109/APCCAS.2016.7804063},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apccas/NakamuraI16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiaiaai/FujiwaraISAO16,
  author    = {Daisuke Fujiwara and
               Nagisa Ishiura and
               Ryo Sakai and
               Ryo Aoki and
               Takashi Ogawara},
  title     = {Reverse Engineering from Mainframe Assembly to {C} Codes in Legacy
               Migration},
  booktitle = {5th {IIAI} International Congress on Advanced Applied Informatics,
               {IIAI-AAI} 2016, Kumamoto, Japan, July 10-14, 2016},
  pages     = {1058--1063},
  year      = {2016},
  crossref  = {DBLP:conf/iiaiaai/2016},
  url       = {https://doi.org/10.1109/IIAI-AAI.2016.37},
  doi       = {10.1109/IIAI-AAI.2016.37},
  timestamp = {Thu, 21 Feb 2019 15:56:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iiaiaai/FujiwaraISAO16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/NagaiHI14,
  author    = {Eriko Nagai and
               Atsushi Hashimoto and
               Nagisa Ishiura},
  title     = {Reinforcing Random Testing of Arithmetic Optimization of {C} Compilers
               by Scaling up Size and Number of Expressions},
  journal   = {{IPSJ} Trans. System {LSI} Design Methodology},
  volume    = {7},
  pages     = {91--100},
  year      = {2014},
  url       = {https://doi.org/10.2197/ipsjtsldm.7.91},
  doi       = {10.2197/ipsjtsldm.7.91},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipsj/NagaiHI14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/ImaiTSI10,
  author    = {Masaharu Imai and
               Yoshinori Takeuchi and
               Keishi Sakanushi and
               Nagisa Ishiura},
  title     = {Advantage and Possibility of Application-domain Specific Instruction-set
               Processor {(ASIP)}},
  journal   = {{IPSJ} Trans. System {LSI} Design Methodology},
  volume    = {3},
  pages     = {161--178},
  year      = {2010},
  url       = {https://doi.org/10.2197/ipsjtsldm.3.161},
  doi       = {10.2197/ipsjtsldm.3.161},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipsj/ImaiTSI10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/KumuraTITI10,
  author    = {Takahiro Kumura and
               Soichiro Taga and
               Nagisa Ishiura and
               Yoshinori Takeuchi and
               Masaharu Imai},
  title     = {Software Development Tool Generation Method Suitable for Instruction
               Set Extension of Embedded Processors},
  journal   = {{IPSJ} Trans. System {LSI} Design Methodology},
  volume    = {3},
  pages     = {207--221},
  year      = {2010},
  url       = {https://doi.org/10.2197/ipsjtsldm.3.207},
  doi       = {10.2197/ipsjtsldm.3.207},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipsj/KumuraTITI10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Ishiura08,
  author    = {Nagisa Ishiura},
  title     = {Special Section on {VLSI} Design and {CAD} Algorithms},
  journal   = {{IEICE} Transactions},
  volume    = {91-A},
  number    = {12},
  pages     = {3413--3414},
  year      = {2008},
  url       = {https://doi.org/10.1093/ietfec/e91-a.12.3413},
  doi       = {10.1093/ietfec/e91-a.12.3413},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ieicet/Ishiura08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NishimuraIIKT08,
  author    = {Masanari Nishimura and
               Nagisa Ishiura and
               Yoshiyuki Ishimori and
               Hiroyuki Kanbara and
               Hiroyuki Tomiyama},
  title     = {High-Level Synthesis of Software Function Calls},
  journal   = {{IEICE} Transactions},
  volume    = {91-A},
  number    = {12},
  pages     = {3556--3558},
  year      = {2008},
  url       = {https://doi.org/10.1093/ietfec/e91-a.12.3556},
  doi       = {10.1093/ietfec/e91-a.12.3556},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ieicet/NishimuraIIKT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apccas/IshiuraW02,
  author    = {Nagisa Ishiura and
               Tatsuo Watanabe},
  title     = {Datapath oriented codesign method of application specific DSPs using
               retargetable compiler},
  booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2002, {APCCAS}
               2002, Singapore, 16-18 December 2002},
  pages     = {55--58},
  year      = {2002},
  crossref  = {DBLP:conf/apccas/2002},
  url       = {https://doi.org/10.1109/APCCAS.2002.1114907},
  doi       = {10.1109/APCCAS.2002.1114907},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apccas/IshiuraW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/TakahashiIYK00,
  author    = {Mizuki Takahashi and
               Nagisa Ishiura and
               Akihisa Yamada and
               Takashi Kambe},
  title     = {Thread partitioning method for hardware compiler bach},
  booktitle = {Proceedings of {ASP-DAC} 2000, Asia and South Pacific Design Automation
               Conference 2000, Yokohama, Japan},
  pages     = {303--308},
  year      = {2000},
  crossref  = {DBLP:conf/aspdac/2000},
  url       = {https://doi.org/10.1145/368434.368647},
  doi       = {10.1145/368434.368647},
  timestamp = {Tue, 06 Nov 2018 16:57:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/TakahashiIYK00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/YamaguchiIK98,
  author    = {Masayuki Yamaguchi and
               Nagisa Ishiura and
               Takashi Kambe},
  title     = {Binding and Scheduling Algorithms for Highly Retargetable Compilation},
  booktitle = {Proceedings of the {ASP-DAC} '98, Asia and South Pacific Design Automation
               Conference 1998, Pacifico Yokohama, Yokohama, Japan, February 10-13,
               1998},
  pages     = {93--98},
  year      = {1998},
  crossref  = {DBLP:conf/aspdac/1998},
  url       = {https://doi.org/10.1109/ASPDAC.1998.669414},
  doi       = {10.1109/ASPDAC.1998.669414},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/YamaguchiIK98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/YamadaNISK95,
  author    = {Akihisa Yamada and
               Satoru Nakamura and
               Nagisa Ishiura and
               Isao Shirakawa and
               Takashi Kambe},
  title     = {Optimal Scheduling for Conditional Recource Sharing},
  booktitle = {1995 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
               1995, Seattle, Washington, USA, April 30 - May 3, 1995},
  pages     = {2297--2300},
  year      = {1995},
  crossref  = {DBLP:conf/iscas/1995},
  timestamp = {Fri, 20 May 2016 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/YamadaNISK95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/TakahashiIY94,
  author    = {Noriyuki Takahashi and
               Nagisa Ishiura and
               Shuzo Yajima},
  title     = {Fault simulation for multiple faults by Boolean function manipulation},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {13},
  number    = {4},
  pages     = {531--535},
  year      = {1994},
  url       = {https://doi.org/10.1109/43.275363},
  doi       = {10.1109/43.275363},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/TakahashiIY94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/IshiuraY92,
  author    = {Nagisa Ishiura and
               Shuzo Yajima},
  title     = {Linear time fault simulation algorithm using a content addressable
               memory},
  booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
               '92, Hamburg, Germany, September 7-10, 1992},
  pages     = {442--445},
  year      = {1992},
  crossref  = {DBLP:conf/eurodac/1992},
  url       = {https://doi.org/10.1109/EURDAC.1992.246206},
  doi       = {10.1109/EURDAC.1992.246206},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurodac/IshiuraY92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OchiIY91,
  author    = {Hiroyuki Ochi and
               Nagisa Ishiura and
               Shuzo Yajima},
  title     = {Breadth-First Manipulation of {SBDD} of Boolean Functions for Vector
               Processing},
  booktitle = {Proceedings of the 28th Design Automation Conference, San Francisco,
               California, USA, June 17-21, 1991.},
  pages     = {413--416},
  year      = {1991},
  crossref  = {DBLP:conf/dac/1991},
  url       = {https://doi.org/10.1145/127601.127704},
  doi       = {10.1145/127601.127704},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/OchiIY91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DeguchiIY91,
  author    = {Yutaka Deguchi and
               Nagisa Ishiura and
               Shuzo Yajima},
  title     = {Probabilistic {CTSS:} Analysis of Timing Error Probability in Asynchronous
               Logic Circuits},
  booktitle = {Proceedings of the 28th Design Automation Conference, San Francisco,
               California, USA, June 17-21, 1991.},
  pages     = {650--655},
  year      = {1991},
  crossref  = {DBLP:conf/dac/1991},
  url       = {https://doi.org/10.1145/127601.127745},
  doi       = {10.1145/127601.127745},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/DeguchiIY91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/IshiuraSY91,
  author    = {Nagisa Ishiura and
               Hiroshi Sawada and
               Shuzo Yajima},
  title     = {Minimazation of Binary Decision Diagrams Based on Exchanges of Variables},
  booktitle = {1991 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of
               Technical Papers},
  pages     = {472--475},
  year      = {1991},
  crossref  = {DBLP:conf/iccad/1991},
  url       = {https://doi.org/10.1109/ICCAD.1991.185307},
  doi       = {10.1109/ICCAD.1991.185307},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/IshiuraSY91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/TakahashiIY91,
  author    = {Noriyuki Takahashi and
               Nagisa Ishiura and
               Shuzo Yajima},
  title     = {Fault Simulation for Multiple Faults Using Shared {BDD} Representation
               of Fault Sets},
  booktitle = {1991 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of
               Technical Papers},
  pages     = {550--553},
  year      = {1991},
  crossref  = {DBLP:conf/iccad/1991},
  url       = {https://doi.org/10.1109/ICCAD.1991.185329},
  doi       = {10.1109/ICCAD.1991.185329},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/TakahashiIY91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/IshiuraIY90,
  author    = {Nagisa Ishiura and
               Masayuki Ito and
               Shuzo Yajima},
  title     = {Dynamic two-dimensional parallel simulation technique for high-speed
               fault simulation on a vector processor},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {9},
  number    = {8},
  pages     = {868--875},
  year      = {1990},
  url       = {https://doi.org/10.1109/43.57785},
  doi       = {10.1109/43.57785},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/IshiuraIY90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/IshiuraYY90,
  author    = {Nagisa Ishiura and
               Hiroto Yasuura and
               Shuzo Yajima},
  title     = {{NES:} The Behavioral Model for the Formal Semantics of a Hardware
               Design Language {UDL/I}},
  booktitle = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
               Florida, USA, June 24-28, 1990.},
  pages     = {8--13},
  year      = {1990},
  crossref  = {DBLP:conf/dac/1990},
  url       = {https://doi.org/10.1145/123186.123191},
  doi       = {10.1145/123186.123191},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/IshiuraYY90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MinatoIY90,
  author    = {Shin{-}ichi Minato and
               Nagisa Ishiura and
               Shuzo Yajima},
  title     = {Shared Binary Decision Diagram with Attributed Edges for Efficient
               Boolean function Manipulation},
  booktitle = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
               Florida, USA, June 24-28, 1990.},
  pages     = {52--57},
  year      = {1990},
  crossref  = {DBLP:conf/dac/1990},
  url       = {https://doi.org/10.1145/123186.123225},
  doi       = {10.1145/123186.123225},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/MinatoIY90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/IshiuraDY90,
  author    = {Nagisa Ishiura and
               Yutaka Deguchi and
               Shuzo Yajima},
  title     = {Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram},
  booktitle = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
               Florida, USA, June 24-28, 1990.},
  pages     = {130--135},
  year      = {1990},
  crossref  = {DBLP:conf/dac/1990},
  url       = {https://doi.org/10.1145/123186.123240},
  doi       = {10.1145/123186.123240},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/IshiuraDY90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/YasuuraI90,
  author    = {Hiroto Yasuura and
               Nagisa Ishiura},
  title     = {Formal semantics of {UDL/I} and its applications to {CAD/DA} tools},
  booktitle = {Proceedings of the 1990 {IEEE} International Conference on Computer
               Design: {VLSI} in Computers and Processors, {ICCD} 1990, Cambridge,
               MA, USA, 17-19 September, 1990},
  pages     = {90--94},
  year      = {1990},
  crossref  = {DBLP:conf/iccd/1990},
  url       = {https://doi.org/10.1109/ICCD.1990.130288},
  doi       = {10.1109/ICCD.1990.130288},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/YasuuraI90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/IshiuraTY89,
  author    = {Nagisa Ishiura and
               Mizuki Takahashi and
               Shuzo Yajima},
  title     = {Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous
               Behavior of Logic Circuits},
  booktitle = {Proceedings of the 26th {ACM/IEEE} Design Automation Conference, Las
               Vegas, Nevada, USA, June 25-29, 1989.},
  pages     = {497--502},
  year      = {1989},
  crossref  = {DBLP:conf/dac/1989},
  url       = {https://doi.org/10.1145/74382.74465},
  doi       = {10.1145/74382.74465},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/IshiuraTY89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YasuuraI89,
  author    = {Hiroto Yasuura and
               Nagisa Ishiura},
  title     = {Semantics of a Hardware Design Language for Japanese Standardization},
  booktitle = {Proceedings of the 26th {ACM/IEEE} Design Automation Conference, Las
               Vegas, Nevada, USA, June 25-29, 1989.},
  pages     = {836--839},
  year      = {1989},
  crossref  = {DBLP:conf/dac/1989},
  url       = {https://doi.org/10.1145/74382.74518},
  doi       = {10.1145/74382.74518},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/YasuuraI89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/IshiuraYY87,
  author    = {Nagisa Ishiura and
               Hiroto Yasuura and
               Shuzo Yajima},
  title     = {High-Speed Logic Simulation on Vector Processors},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {6},
  number    = {3},
  pages     = {305--321},
  year      = {1987},
  url       = {https://doi.org/10.1109/TCAD.1987.1270276},
  doi       = {10.1109/TCAD.1987.1270276},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/IshiuraYY87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rsp/2018,
  title     = {2018 International Symposium on Rapid System Prototyping, {RSP} 2018,
               Torino, Italy, October 4-5, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8624259},
  isbn      = {978-1-5386-7557-1},
  timestamp = {Tue, 05 Feb 2019 19:20:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2018atest,
  editor    = {Wishnu Prasetya and
               Tanja E. J. Vos and
               Sinem Getir},
  title     = {Proceedings of the 9th {ACM} {SIGSOFT} International Workshop on Automating
               {TEST} Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT
               {FSE} 2018, Lake Buena Vista, FL, USA, November 05, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3278186},
  doi       = {10.1145/3278186},
  isbn      = {978-1-4503-6053-1},
  timestamp = {Wed, 09 Jan 2019 17:54:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2018atest},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2017,
  editor    = {Natalia Chechina and
               Scott Lystig Fritchie},
  title     = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on
               Erlang, Oxford, United Kingdom, September 3-9, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3123569},
  doi       = {10.1145/3123569},
  isbn      = {978-1-4503-5179-9},
  timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/erlang/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rsp/2017,
  editor    = {Sungjoo Yoo and
               Fabiano Hessel and
               Fr{\'{e}}d{\'{e}}ric Rousseau and
               Kenneth B. Kent and
               Kyoungwoo Lee},
  title     = {International Symposium on Rapid System Prototyping, {RSP} 2017, Shortening
               the Path from Specification to Prototype, October 19-20, 2017, Seoul,
               South Korea},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3130265},
  doi       = {10.1145/3130265},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apccas/2016,
  title     = {2016 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS}
               2016, Jeju, South Korea, October 25-28, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7786273},
  isbn      = {978-1-5090-1570-2},
  timestamp = {Mon, 09 Jan 2017 13:48:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apccas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iiaiaai/2016,
  title     = {5th {IIAI} International Congress on Advanced Applied Informatics,
               {IIAI-AAI} 2016, Kumamoto, Japan, July 10-14, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7557346},
  isbn      = {978-1-4673-8985-3},
  timestamp = {Thu, 21 Feb 2019 15:56:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iiaiaai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apccas/2002,
  title     = {{IEEE} Asia Pacific Conference on Circuits and Systems 2002, {APCCAS}
               2002, Singapore, 16-18 December 2002},
  publisher = {{IEEE}},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8182},
  isbn      = {0-7803-7690-0},
  timestamp = {Fri, 08 May 2015 15:30:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apccas/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2000,
  title     = {Proceedings of {ASP-DAC} 2000, Asia and South Pacific Design Automation
               Conference 2000, Yokohama, Japan},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/368434},
  doi       = {10.1145/368434},
  isbn      = {0-7803-5974-7},
  timestamp = {Tue, 06 Nov 2018 16:57:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/1998,
  title     = {Proceedings of the {ASP-DAC} '98, Asia and South Pacific Design Automation
               Conference 1998, Pacifico Yokohama, Yokohama, Japan, February 10-13,
               1998},
  publisher = {{IEEE}},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5474},
  isbn      = {0-7803-4425-1},
  timestamp = {Tue, 30 Apr 2013 17:14:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/1995,
  title     = {1995 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
               1995, Seattle, Washington, USA, April 30 - May 3, 1995},
  publisher = {{IEEE}},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3941},
  isbn      = {0-7803-2570-2},
  timestamp = {Fri, 20 May 2016 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurodac/1992,
  editor    = {Gerald Musgrave},
  title     = {Proceedings of the conference on European design automation, {EURO-DAC}
               '92, Hamburg, Germany, September 7-10, 1992},
  publisher = {{IEEE} Computer Society Press},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=409},
  isbn      = {0-8186-2780-8},
  timestamp = {Fri, 13 Nov 2015 13:13:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurodac/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1991,
  editor    = {A. Richard Newton},
  title     = {Proceedings of the 28th Design Automation Conference, San Francisco,
               California, USA, June 17-21, 1991},
  publisher = {{ACM}},
  year      = {1991},
  url       = {http://dl.acm.org/citation.cfm?id=127601},
  isbn      = {0-89791395-7},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1991,
  title     = {1991 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of
               Technical Papers},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=345},
  isbn      = {0-8186-2157-5},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1990,
  editor    = {Richard C. Smith},
  title     = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
               Florida, USA, June 24-28, 1990},
  publisher = {{IEEE} Computer Society Press},
  year      = {1990},
  url       = {http://dl.acm.org/citation.cfm?id=123186},
  isbn      = {0-89791-363-9},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1990,
  title     = {Proceedings of the 1990 {IEEE} International Conference on Computer
               Design: {VLSI} in Computers and Processors, {ICCD} 1990, Cambridge,
               MA, USA, 17-19 September, 1990},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=308},
  isbn      = {0-8186-2079-X},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1989,
  editor    = {Donald E. Thomas},
  title     = {Proceedings of the 26th {ACM/IEEE} Design Automation Conference, Las
               Vegas, Nevada, USA, June 25-29, 1989},
  publisher = {{ACM} Press},
  year      = {1989},
  url       = {http://dl.acm.org/citation.cfm?id=74382},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier