BibTeX records: Takashi Nanya

download as .bib file

@article{DBLP:journals/ieeesp/ArlatKN12,
  author       = {Jean Arlat and
                  Zbigniew Kalbarczyk and
                  Takashi Nanya},
  title        = {Nanocomputing: Small Devices, Large Dependability Challenges},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {10},
  number       = {1},
  pages        = {69--72},
  year         = {2012},
  url          = {https://doi.org/10.1109/MSP.2012.17},
  doi          = {10.1109/MSP.2012.17},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeesp/ArlatKN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ArlatCKNW11a,
  author       = {Jean Arlat and
                  Cristian Constantinescu and
                  Johan Karlsson and
                  Takashi Nanya and
                  Alan Wood},
  title        = {Introduction to the fifth workshop on dependable and secure nanocomputing},
  booktitle    = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
                  Workshops {(DSN-W} 2011), Hong Kong, China, June 27-30, 2011},
  pages        = {39--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DSNW.2011.5958832},
  doi          = {10.1109/DSNW.2011.5958832},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ArlatCKNW11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ArlatCKNW11,
  author       = {Jean Arlat and
                  Cristian Constantinescu and
                  Johan Karlsson and
                  Takashi Nanya and
                  Alan Wood},
  title        = {Introduction to the fifth workshop on dependable and secure nanocomputing},
  booktitle    = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
  pages        = {588--589},
  publisher    = {{IEEE} Compute Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DSN.2011.5958235},
  doi          = {10.1109/DSN.2011.5958235},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ArlatCKNW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ImaiNN10,
  author       = {Masashi Imai and
                  Tomohide Nagai and
                  Takashi Nanya},
  title        = {Pair and swap: An approach to graceful degradation for dependable
                  chip multiprocessors},
  booktitle    = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
                  Workshops {(DSN-W} 2010), Chicago, Illinois, USA, June 28 - July 1,
                  2010},
  pages        = {119--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DSNW.2010.5542608},
  doi          = {10.1109/DSNW.2010.5542608},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ImaiNN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/DrebesN10,
  author       = {Roberto Jung Drebes and
                  Takashi Nanya},
  title        = {Analysis of Inter-Module Error Propagation Paths in Monolithic Operating
                  System Kernels},
  booktitle    = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
                  Spain, 28-30 April 2010},
  pages        = {175--184},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/EDCC.2010.29},
  doi          = {10.1109/EDCC.2010.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/DrebesN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/SaitoHYN10,
  author       = {Hiroshi Saito and
                  Naohiro Hamada and
                  Tomohiro Yoneda and
                  Takashi Nanya},
  title        = {A floorplan method for asynchronous circuits with bundled-data implementation
                  on FPGAs},
  booktitle    = {International Symposium on Circuits and Systems {(ISCAS} 2010), May
                  30 - June 2, 2010, Paris, France},
  pages        = {925--928},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISCAS.2010.5537402},
  doi          = {10.1109/ISCAS.2010.5537402},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/SaitoHYN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/WestonINN10,
  author       = {James L. Weston and
                  Masashi Imai and
                  Tomohide Nagai and
                  Takashi Nanya},
  editor       = {Yutaka Ishikawa and
                  Dong Tang and
                  Hiroshi Nakamura},
  title        = {An Efficient Decision Unit for the Pair and Swap Methodology within
                  Chip Multiprocessors},
  booktitle    = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2010, Tokyo, Japan, December 13-15, 2010},
  pages        = {62--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/PRDC.2010.43},
  doi          = {10.1109/PRDC.2010.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/WestonINN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/QuKSN09,
  author       = {Wenyu Qu and
                  Masaru Kitsuregawa and
                  Yanming Shen and
                  Takashi Nanya},
  title        = {An optimal lifetime-adaptive method for wireless sensor networks},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {24},
  number       = {3},
  year         = {2009},
  timestamp    = {Thu, 23 Aug 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/QuKSN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/HamadaSKSYMN09,
  author       = {Naohiro Hamada and
                  Yuki Shiga and
                  Takao Konishi and
                  Hiroshi Saito and
                  Tomohiro Yoneda and
                  Chris J. Myers and
                  Takashi Nanya},
  title        = {A Behavioral Synthesis System for Asynchronous Circuits with Bundled-data
                  Implementation},
  journal      = {{IPSJ} Trans. Syst. {LSI} Des. Methodol.},
  volume       = {2},
  pages        = {64--79},
  year         = {2009},
  url          = {https://doi.org/10.2197/ipsjtsldm.2.64},
  doi          = {10.2197/IPSJTSLDM.2.64},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipsj/HamadaSKSYMN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ImaiTN09,
  author       = {Masashi Imai and
                  Kouei Takada and
                  Takashi Nanya},
  title        = {Fine-Grain Leakage Power Reduction Method for m-out-of-n Encoded Circuits
                  Using Multi-threshold-Voltage Transistors},
  booktitle    = {15th {IEEE} Symposium on Asynchronous Circuits and Systems, {ASYNC}
                  2009, Chapel Hill, NC, USA, May 17-20, 2009},
  pages        = {209--216},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ASYNC.2009.11},
  doi          = {10.1109/ASYNC.2009.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/ImaiTN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ImaiYN09,
  author       = {Masashi Imai and
                  Tomohiro Yoneda and
                  Takashi Nanya},
  title        = {N-way ring and square arbiters},
  booktitle    = {27th International Conference on Computer Design, {ICCD} 2009, Lake
                  Tahoe, CA, USA, October 4-7, 2009},
  pages        = {125--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICCD.2009.5413164},
  doi          = {10.1109/ICCD.2009.5413164},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/ImaiYN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DrebesN09,
  author       = {Roberto Jung Drebes and
                  Takashi Nanya},
  title        = {Zapmem: {A} Framework for Testing the Effect of Memory Corruption
                  Errors on Operating System Kernel Reliability},
  booktitle    = {2009 15th {IEEE} Pacific Rim International Symposium on Dependable
                  Computing, {PRDC} 2009, Shanghai, China, 16-18 November 2009},
  pages        = {295--300},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/PRDC.2009.53},
  doi          = {10.1109/PRDC.2009.53},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/DrebesN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ImaiN08,
  author       = {Masashi Imai and
                  Takashi Nanya},
  editor       = {Jonathan Billington and
                  Zhenhua Duan and
                  Maciej Koutny},
  title        = {A design method for 1-out-of-4 encoded low-power self-timed circuits
                  using standard cell libraries},
  booktitle    = {8th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
  pages        = {21--26},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ACSD.2008.4574590},
  doi          = {10.1109/ACSD.2008.4574590},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/ImaiN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HamadaSSYMN08,
  author       = {Naohiro Hamada and
                  Yuki Shiga and
                  Hiroshi Saito and
                  Tomohiro Yoneda and
                  Chris J. Myers and
                  Takashi Nanya},
  editor       = {Jonathan Billington and
                  Zhenhua Duan and
                  Maciej Koutny},
  title        = {A behavioral synthesis method for asynchronous circuits with bundled-data
                  implementation (Tool paper)},
  booktitle    = {8th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
  pages        = {50--55},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ACSD.2008.4574595},
  doi          = {10.1109/ACSD.2008.4574595},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/HamadaSSYMN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/NassuUN08,
  author       = {Bogdan Tomoyuki Nassu and
                  Kiyonobu Uehara and
                  Takashi Nanya},
  title        = {Injecting Inconsistent Values Caused by Interaction Faults for Experimental
                  Dependability Evaluation},
  booktitle    = {Seventh European Dependable Computing Conference, {EDCC-7} 2008, Kaunas,
                  Lithuania, 7-9 May 2008},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/EDCC-7.2008.13},
  doi          = {10.1109/EDCC-7.2008.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/NassuUN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/NassuNN08,
  author       = {Bogdan Tomoyuki Nassu and
                  Takashi Nanya and
                  Hiroshi Nakamura},
  title        = {Discovering Implicit Redundancies in Network Communications for Detecting
                  Inconsistent Values},
  booktitle    = {Workshops Proceedings of the 8th {IEEE} International Conference on
                  Data Mining {(ICDM} 2008), December 15-19, 2008, Pisa, Italy},
  pages        = {144--153},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICDMW.2008.15},
  doi          = {10.1109/ICDMW.2008.15},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdm/NassuNN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/NassuN08,
  author       = {Bogdan Tomoyuki Nassu and
                  Takashi Nanya},
  editor       = {Takashi Nanya and
                  Fumihiro Maruyama and
                  Andr{\'{a}}s Pataricza and
                  Miroslaw Malek},
  title        = {Interaction Faults Caused by Third-Party External Systems - {A} Case
                  Study and Challenges},
  booktitle    = {Service Availability, 5th International Service Availability Symposium,
                  {ISAS} 2008, Tokyo, Japan, May 19-21, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5017},
  pages        = {59--74},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68129-8\_7},
  doi          = {10.1007/978-3-540-68129-8\_7},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/isas/NassuN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NassuNN08,
  author       = {Bogdan Tomoyuki Nassu and
                  Takashi Nanya and
                  Hiroshi Nakamura},
  title        = {Detecting Inconsistent Values Caused by Interaction Faults Using Automatically
                  Located Implicit Redundancies},
  booktitle    = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
  pages        = {138--145},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/PRDC.2008.14},
  doi          = {10.1109/PRDC.2008.14},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NassuNN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DrebesN08,
  author       = {Roberto Jung Drebes and
                  Takashi Nanya},
  title        = {Limitations of the Linux Fault Injection Framework to Test Direct
                  Memory Access Address Errors},
  booktitle    = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
  pages        = {146--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/PRDC.2008.44},
  doi          = {10.1109/PRDC.2008.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/DrebesN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isas/2008,
  editor       = {Takashi Nanya and
                  Fumihiro Maruyama and
                  Andr{\'{a}}s Pataricza and
                  Miroslaw Malek},
  title        = {Service Availability, 5th International Service Availability Symposium,
                  {ISAS} 2008, Tokyo, Japan, May 19-21, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5017},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68129-8},
  doi          = {10.1007/978-3-540-68129-8},
  isbn         = {978-3-540-68128-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isas/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/QuLKN07,
  author       = {Wenyu Qu and
                  Keqiu Li and
                  Masaru Kitsuregawa and
                  Takashi Nanya},
  title        = {An optimal solution for caching multimedia objects in transcoding
                  proxies},
  journal      = {Comput. Commun.},
  volume       = {30},
  number       = {8},
  pages        = {1802--1810},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.comcom.2007.02.012},
  doi          = {10.1016/J.COMCOM.2007.02.012},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/QuLKN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/LiNSCZ07,
  author       = {Keqiu Li and
                  Takashi Nanya and
                  Hong Shen and
                  Francis Y. L. Chin and
                  Weishi Zhang},
  title        = {An efficient cache replacement algorithm for multimedia object caching},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {22},
  number       = {1-2},
  year         = {2007},
  timestamp    = {Wed, 20 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/LiNSCZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SaitoHJYMN07,
  author       = {Hiroshi Saito and
                  Naohiro Hamada and
                  Nattha Jindapetch and
                  Tomohiro Yoneda and
                  Chris J. Myers and
                  Takashi Nanya},
  title        = {Scheduling Methods for Asynchronous Circuits with Bundled-Data Implementations
                  Based on the Approximation of Start Times},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {90-A},
  number       = {12},
  pages        = {2790--2799},
  year         = {2007},
  url          = {https://doi.org/10.1093/ietfec/e90-a.12.2790},
  doi          = {10.1093/IETFEC/E90-A.12.2790},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/SaitoHJYMN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WatanabeKINN07,
  author       = {Ryo Watanabe and
                  Masaaki Kondo and
                  Masashi Imai and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  editor       = {Rudy Lauwereins and
                  Jan Madsen},
  title        = {Interactive presentation: Task scheduling under performance constraints
                  for reducing the energy consumption of the {GALS} multi-processor
                  SoC},
  booktitle    = {2007 Design, Automation and Test in Europe Conference and Exposition,
                  {DATE} 2007, Nice, France, April 16-20, 2007},
  pages        = {797--802},
  publisher    = {{EDA} Consortium, San Jose, CA, {USA}},
  year         = {2007},
  url          = {https://doi.org/10.1109/DATE.2007.364388},
  doi          = {10.1109/DATE.2007.364388},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/WatanabeKINN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/QuLKN07,
  author       = {Wenyu Qu and
                  Keqiu Li and
                  Masaru Kitsuregawa and
                  Takashi Nanya},
  title        = {An Efficient Method for Improving Data Collection Precision in Lifetime-adaptive
                  Wireless Sensor Networks},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2007, Glasgow, Scotland, UK, 24-28 June 2007},
  pages        = {3161--3166},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICC.2007.524},
  doi          = {10.1109/ICC.2007.524},
  timestamp    = {Tue, 19 Jun 2018 07:53:33 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/QuLKN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/WatanabeKNN07,
  author       = {Ryo Watanabe and
                  Masaaki Kondo and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  title        = {Power reduction of chip multi-processors using shared resource control
                  cooperating with {DVFS}},
  booktitle    = {25th International Conference on Computer Design, {ICCD} 2007, 7-10
                  October 2007, Lake Tahoe, CA, USA, Proceedings},
  pages        = {615--622},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICCD.2007.4601961},
  doi          = {10.1109/ICCD.2007.4601961},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/WatanabeKNN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/LiNQ07,
  author       = {Keqiu Li and
                  Takashi Nanya and
                  Wenyu Qu},
  title        = {A Minimal Access Cost-Based Multimedia Object Replacement Algorithm},
  booktitle    = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/IPDPS.2007.370465},
  doi          = {10.1109/IPDPS.2007.370465},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/LiNQ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/NassuND07,
  author       = {Bogdan Tomoyuki Nassu and
                  Takashi Nanya and
                  Elias P. Duarte Jr.},
  editor       = {Luiza de Macedo Mourelle and
                  Nadia Nedjah and
                  Janusz Kacprzyk and
                  Ajith Abraham},
  title        = {Topology Discovery in Dynamic and Decentralized Networks with Mobile
                  Agents and Swarm Intelligence},
  booktitle    = {Seventh International Conference on Intelligent Systems Design and
                  Applications, {ISDA} 2007, Rio de Janeiro, Brazil, October 20-24,
                  2007},
  pages        = {685--690},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ISDA.2007.13},
  doi          = {10.1109/ISDA.2007.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isda/NassuND07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/npc/Nanya07,
  author       = {Takashi Nanya},
  editor       = {Keqiu Li and
                  Chris R. Jesshope and
                  Hai Jin and
                  Jean{-}Luc Gaudiot},
  title        = {Challenges in Dependability of Networked Systems for Information Society},
  booktitle    = {Network and Parallel Computing, {IFIP} International Conference, {NPC}
                  2007, Dalian, China, September 18-21, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4672},
  pages        = {542},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74784-0\_56},
  doi          = {10.1007/978-3-540-74784-0\_56},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/npc/Nanya07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/LiNQ07,
  author       = {Keqiu Li and
                  Takashi Nanya and
                  Wenyu Qu},
  title        = {Energy Efficient Methods and Techniques for Mobile Computing},
  booktitle    = {Third International Conference on Semantics, Knowledge and Grid, Xian,
                  Shan Xi, China, October 29-31, 2007},
  pages        = {212--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SKG.2007.145},
  doi          = {10.1109/SKG.2007.145},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/LiNQ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/WatanabeIKNN06,
  author       = {Kouichi Watanabe and
                  Masashi Imai and
                  Masaaki Kondo and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  title        = {Design Method of High Performance and Low Power Functional Units Considering
                  Delay Variations},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {89-A},
  number       = {12},
  pages        = {3519--3528},
  year         = {2006},
  url          = {https://doi.org/10.1093/ietfec/e89-a.12.3519},
  doi          = {10.1093/IETFEC/E89-A.12.3519},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieicet/WatanabeIKNN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/SaitoJYMN06,
  author       = {Hiroshi Saito and
                  Nattha Jindapetch and
                  Tomohiro Yoneda and
                  Chris J. Myers and
                  Takashi Nanya},
  title        = {ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation},
  booktitle    = {Sixth International Conference on Computer and Information Technology
                  {(CIT} 2006), 20-22 September 2006, Seoul, Korea},
  pages        = {172},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIT.2006.99},
  doi          = {10.1109/CIT.2006.99},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcit/SaitoJYMN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ImaiN06,
  author       = {Masashi Imai and
                  Takashi Nanya},
  title        = {A Novel Design Method for Asynchronous Bundled-data Transfer Circuits
                  Considering Characteristics of Delay Variations},
  booktitle    = {12th {IEEE} International Symposium on Asynchronous Circuits and Systems
                  {(ASYNC} 2006), 13-15 March 2006, Grenoble, France},
  pages        = {68--77},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ASYNC.2006.6},
  doi          = {10.1109/ASYNC.2006.6},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/ImaiN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imsccs/LiNJQ06,
  author       = {Keqiu Li and
                  Takashi Nanya and
                  Bo Jiang and
                  Wenyu Qu},
  editor       = {Jun Ni and
                  Jack J. Dongarra},
  title        = {State-of-Art Techniques for Object Caching over the Internet},
  booktitle    = {Interdisciplinary and Multidisciplinary Research in Computer Science,
                  {IEEE} {CS} Proceeding of the First International Multi-Symposium
                  of Computer and Computational Sciences (IMSCCS{\(\vert\)}06), June
                  20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2},
  pages        = {199--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/IMSCCS.2006.271},
  doi          = {10.1109/IMSCCS.2006.271},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/imsccs/LiNJQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NassuN06,
  author       = {Bogdan Tomoyuki Nassu and
                  Takashi Nanya},
  title        = {A Scenario of Tolerating Interaction Faults Between Otherwise Correct
                  Systems},
  booktitle    = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
                  {USA}},
  pages        = {371--372},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/PRDC.2006.13},
  doi          = {10.1109/PRDC.2006.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NassuN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/QuLSJN05,
  author       = {Wenyu Qu and
                  Keqiu Li and
                  Hong Shen and
                  Yingwei Jin and
                  Takashi Nanya},
  title        = {The Cache Replacement Problem for Multimedia Object Caching},
  booktitle    = {2005 International Conference on Semantics, Knowledge and Grid {(SKG}
                  2005), 27-29 November 2005, Beijing, China},
  pages        = {26},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SKG.2005.122},
  doi          = {10.1109/SKG.2005.122},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/QuLSJN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/LiQSWN05,
  author       = {Keqiu Li and
                  Wenyu Qu and
                  Hong Shen and
                  Di Wu and
                  Takashi Nanya},
  title        = {Two Cache Replacement Algorithms Based on Association Rules and Markov
                  Models},
  booktitle    = {2005 International Conference on Semantics, Knowledge and Grid {(SKG}
                  2005), 27-29 November 2005, Beijing, China},
  pages        = {28},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SKG.2005.136},
  doi          = {10.1109/SKG.2005.136},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/LiQSWN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ImaiON04,
  author       = {Masashi Imai and
                  Metehan {\"{O}}zcan and
                  Takashi Nanya},
  title        = {Evaluation of Delay Variation in Asynchronous Circuits Based on the
                  Scalable-Delay-Insensitive Model},
  booktitle    = {10th International Symposium on Advanced Research in Asynchronous
                  Circuits and Systems {(ASYNC} 2004), 19-23 April 2004, Crete, Greece},
  pages        = {62--71},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ASYNC.2004.1299288},
  doi          = {10.1109/ASYNC.2004.1299288},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/ImaiON04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/TsukisakaIN04,
  author       = {Masayuki Tsukisaka and
                  Masashi Imai and
                  Takashi Nanya},
  title        = {Asynchronous Scan-Latch controller for Low Area Overhead {DFT}},
  booktitle    = {22nd {IEEE} International Conference on Computer Design: {VLSI} in
                  Computers {\&} Processors {(ICCD} 2004), 11-13 October 2004, San
                  Jose, CA, USA, Proceedings},
  pages        = {66--71},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCD.2004.1347901},
  doi          = {10.1109/ICCD.2004.1347901},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/TsukisakaIN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/NakamuraHKTIN04,
  author       = {Hiroshi Nakamura and
                  Takuro Hayashida and
                  Masaaki Kondo and
                  Yuya Tajima and
                  Masashi Imai and
                  Takashi Nanya},
  title        = {Skewed Checkpointing for Tolerating Multi-Node Failures},
  booktitle    = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
                  2004), 18-20 October 2004, Florianpolis, Brazil},
  pages        = {116--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RELDIS.2004.1353012},
  doi          = {10.1109/RELDIS.2004.1353012},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/NakamuraHKTIN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/SretasereekulN03,
  author       = {Nattha Sretasereekul and
                  Takashi Nanya},
  title        = {Eliminating Isochronic-Fork Constraints in Quasi-Delay-Insensitive
                  Circuits},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {86-A},
  number       = {4},
  pages        = {900--907},
  year         = {2003},
  url          = {http://search.ieice.org/bin/summary.php?id=e86-a\_4\_900},
  timestamp    = {Tue, 08 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieiceta/SretasereekulN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/SretasereekulSK03,
  author       = {Nattha Sretasereekul and
                  Hiroshi Saito and
                  Euiseok Kim and
                  Metehan {\"{O}}zcan and
                  Masashi Imai and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  title        = {Synthesis of Serial Local Clock Controllers for Asynchronous Circuit
                  Design},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {86-A},
  number       = {12},
  pages        = {3028--3037},
  year         = {2003},
  url          = {http://search.ieice.org/bin/summary.php?id=e86-a\_12\_3028},
  timestamp    = {Tue, 08 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieiceta/SretasereekulSK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SaitoNFN03,
  author       = {Hiroshi Saito and
                  Hiroshi Nakamura and
                  Masahiro Fujita and
                  Takashi Nanya},
  editor       = {Hiroto Yasuura},
  title        = {Logic optimization for asynchronous speed independent controllers
                  using transduction method},
  booktitle    = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference,
                  {ASP-DAC} '03, Kitakyushu, Japan, January 21-24, 2003},
  pages        = {197--202},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/1119772.1119811},
  doi          = {10.1145/1119772.1119811},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/SaitoNFN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/KimLSNLN03,
  author       = {Euiseok Kim and
                  Dong{-}Ik Lee and
                  Hiroshi Saito and
                  Hiroshi Nakamura and
                  Jeong{-}Gun Lee and
                  Takashi Nanya},
  editor       = {Hiroto Yasuura},
  title        = {Performance optimization of synchronous control units for datapaths
                  with variable delay arithmetic units},
  booktitle    = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference,
                  {ASP-DAC} '03, Kitakyushu, Japan, January 21-24, 2003},
  pages        = {816--819},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/1119772.1119952},
  doi          = {10.1145/1119772.1119952},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/KimLSNLN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/SaitoKSINN03,
  author       = {Hiroshi Saito and
                  Euiseok Kim and
                  Nattha Sretasereekul and
                  Masashi Imai and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  title        = {Control Signal Sharing Using Data-Path Delay Information at Control
                  Data Flow Graph Descriptions},
  booktitle    = {9th International Symposium on Advanced Research in Asynchronous Circuits
                  and Systems {(ASYNC} 2003), 12-16 May 2003, Vancouver, BC, Canada},
  pages        = {184--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ASYNC.2003.1199178},
  doi          = {10.1109/ASYNC.2003.1199178},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/SaitoKSINN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KimSLLNN03,
  author       = {Euiseok Kim and
                  Hiroshi Saito and
                  Jeong{-}Gun Lee and
                  Dong{-}Ik Lee and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  title        = {Distributed Synchronous Control Units for Dataflow Graphs under Allocation
                  of Telescopic Arithmetic Units},
  booktitle    = {2003 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  pages        = {10276--10281},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10141},
  doi          = {10.1109/DATE.2003.10141},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/KimSLLNN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/GaoLWN03,
  author       = {Wen Gao and
                  Xinyu Liu and
                  Lei Wang and
                  Takashi Nanya},
  editor       = {Minglu Li and
                  Xian{-}He Sun and
                  Qianni Deng and
                  Jun Ni},
  title        = {A Reconfigurable High Availability Infrastructure in Cluster for Grid},
  booktitle    = {Grid and Cooperative Computing, Second International Workshop, {GCC}
                  2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3032},
  pages        = {576--583},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24679-4\_102},
  doi          = {10.1007/978-3-540-24679-4\_102},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/gcc/GaoLWN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/SretasereekulSIKOTNN03,
  author       = {Nattha Sretasereekul and
                  Hiroshi Saito and
                  Masashi Imai and
                  Euiseok Kim and
                  Metehan {\"{O}}zcan and
                  K. Thongnoo and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  title        = {A zero-time-overhead asynchronous four-phase controller},
  booktitle    = {Proceedings of the 2003 International Symposium on Circuits and Systems,
                  {ISCAS} 2003, Bangkok, Thailand, May 25-28, 2003},
  pages        = {205--208},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ISCAS.2003.1206232},
  doi          = {10.1109/ISCAS.2003.1206232},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/SretasereekulSIKOTNN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/SaitoKISNN03,
  author       = {Hiroshi Saito and
                  Euiseok Kim and
                  Masashi Imai and
                  Nattha Sretasereekul and
                  Hiroshi Nakamura and
                  Takashi Nanya},
  title        = {Control signal sharing of asynchronous circuits using datapath delay
                  information},
  booktitle    = {Proceedings of the 2003 International Symposium on Circuits and Systems,
                  {ISCAS} 2003, Bangkok, Thailand, May 25-28, 2003},
  pages        = {617--620},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ISCAS.2003.1206388},
  doi          = {10.1109/ISCAS.2003.1206388},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/SaitoKISNN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/SaitoKCLYN02,
  author       = {Hiroshi Saito and
                  Alex Kondratyev and
                  Jordi Cortadella and
                  Luciano Lavagno and
                  Alex Yakovlev and
                  Takashi Nanya},
  title        = {Design of Asynchronous Controllers with Delay Insensitive Interface},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {85-A},
  number       = {12},
  pages        = {2577--2585},
  year         = {2002},
  url          = {http://search.ieice.org/bin/summary.php?id=e85-a\_12\_2577},
  timestamp    = {Wed, 09 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieiceta/SaitoKCLYN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/OzcanIN02,
  author       = {Metehan {\"{O}}zcan and
                  Masashi Imai and
                  Takashi Nanya},
  title        = {Generation and Verification of Timing Constraints for Fine-Grain Pipelined
                  Asynchronous Data-Path Circuits},
  booktitle    = {8th International Symposium on Advanced Research in Asynchronous Circuits
                  and Systems {(ASYNC} 2002), 9-11 April 2002, Manchester, {UK}},
  pages        = {109--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ASYNC.2002.1000301},
  doi          = {10.1109/ASYNC.2002.1000301},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/OzcanIN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/SaitoOSFN02,
  author       = {Hiroshi Saito and
                  Takaya Ogawa and
                  Thanyapat Sakunkonchak and
                  Masahiro Fujita and
                  Takashi Nanya},
  title        = {An equivalence checking methodology for hardware oriented C-based
                  specifications},
  booktitle    = {Seventh {IEEE} International High-Level Design Validation and Test
                  Workshop 2002, Cannes, France, October 27-29, 2002},
  pages        = {139--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/HLDVT.2002.1224443},
  doi          = {10.1109/HLDVT.2002.1224443},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/SaitoOSFN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwls/SaitoNFN02,
  author       = {Hiroshi Saito and
                  Hiroshi Nakamura and
                  Masahiro Fujita and
                  Takashi Nanya},
  title        = {Logic Optimization for Asynchronous {SI} Controllers using Transduction
                  Method},
  booktitle    = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
                  {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
  pages        = {245--250},
  year         = {2002},
  timestamp    = {Sun, 04 Aug 2019 18:01:44 +0200},
  biburl       = {https://dblp.org/rec/conf/iwls/SaitoNFN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwls/TsukisakaIN02,
  author       = {Masayuki Tsukisaka and
                  Masashi Imai and
                  Takashi Nanya},
  title        = {High Throughput Asynchronous Domino Using Dual output Buffer},
  booktitle    = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
                  {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
  pages        = {279--282},
  year         = {2002},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwls/TsukisakaIN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/SaitoKN02,
  author       = {Hiroshi Saito and
                  Alex Kondratyev and
                  Takashi Nanya},
  title        = {Design of Asynchronous Controllers with Delay Insensitive Interface},
  booktitle    = {Proceedings of the 7th Asia and South Pacific Design Automation Conference
                  {(ASP-DAC} 2002), and the 15th International Conference on {VLSI}
                  Design {(VLSI} Design 2002), Bangalore, India, January 7-11, 2002},
  pages        = {93--98},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ASPDAC.2002.994891},
  doi          = {10.1109/ASPDAC.2002.994891},
  timestamp    = {Mon, 14 Nov 2022 15:28:09 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/SaitoKN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/KagotaniON01,
  author       = {Hiroto Kagotani and
                  Takuji Okamoto and
                  Takashi Nanya},
  editor       = {Satoshi Goto},
  title        = {Synthesis of four-phase asynchronous control circuits from pipeline
                  dependency graphs},
  booktitle    = {Proceedings of {ASP-DAC} 2001, Asia and South Pacific Design Automation
                  Conference 2001, January 30-February 2, 2001, Yokohama, Japan},
  pages        = {425--430},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/370155.370439},
  doi          = {10.1145/370155.370439},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/KagotaniON01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SretasereekulN01,
  author       = {Nattha Sretasereekul and
                  Takashi Nanya},
  editor       = {Satoshi Goto},
  title        = {Eliminating isochronic-fork constraints in quasi-delay-insensitive
                  circuits},
  booktitle    = {Proceedings of {ASP-DAC} 2001, Asia and South Pacific Design Automation
                  Conference 2001, January 30-February 2, 2001, Yokohama, Japan},
  pages        = {437--442},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/370155.370450},
  doi          = {10.1145/370155.370450},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/SretasereekulN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/OzawaINNU01,
  author       = {Motokazu Ozawa and
                  Masashi Imai and
                  Hiroshi Nakamura and
                  Takashi Nanya and
                  Yoichiro Ueno},
  title        = {Performance Evaluation of Cascade {ALU} Architecture for Asynchronous
                  Super-Scalar Processors},
  booktitle    = {7th International Symposium on Advanced Research in Asynchronous Circuits
                  and Systems {(ASYNC} 2001), 11-14 March 2001, Salt Lake City, UT,
                  {USA}},
  pages        = {162--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ASYNC.2001.914080},
  doi          = {10.1109/ASYNC.2001.914080},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/OzawaINNU01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsukisakaN00,
  author       = {Masayuki Tsukisaka and
                  Takashi Nanya},
  title        = {A testable design for asynchronous fine-grain pipeline circuits},
  booktitle    = {2000 Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2000), 18-20 December 2000, Los Angeles, CA, {USA}},
  pages        = {148--155},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/PRDC.2000.897297},
  doi          = {10.1109/PRDC.2000.897297},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TsukisakaN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/SavvaN99,
  author       = {Andreas Savva and
                  Takashi Nanya},
  title        = {A Gracefully Degrading Massively Parallel System Using the {BSP} Model,
                  and Its Evaluation},
  journal      = {{IEEE} Trans. Computers},
  volume       = {48},
  number       = {1},
  pages        = {38--52},
  year         = {1999},
  url          = {https://doi.org/10.1109/12.743410},
  doi          = {10.1109/12.743410},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/SavvaN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnm/DuarteMNN98,
  author       = {Elias Proc{\'{o}}pio Duarte Jr. and
                  Glenn Mansfield and
                  Takashi Nanya and
                  Shoichi Noguchi},
  title        = {Improving the dependability of network management systems},
  journal      = {Int. J. Netw. Manag.},
  volume       = {8},
  number       = {4},
  pages        = {244--253},
  year         = {1998},
  url          = {https://doi.org/10.1002/(SICI)1099-1190(199807/08)8:4\&\#60;244::AID-NEM291\&\#62;3.0.CO;2-T},
  doi          = {10.1002/(SICI)1099-1190(199807/08)8:4\&\#60;244::AID-NEM291\&\#62;3.0.CO;2-T},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijnm/DuarteMNN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/ThongtakN98,
  author       = {Arthit Thongtak and
                  Takashi Nanya},
  title        = {Stuck-at-fault testing for quasi-delay-insensitive logic circuits},
  journal      = {Syst. Comput. Jpn.},
  volume       = {29},
  number       = {2},
  pages        = {19--27},
  year         = {1998},
  url          = {https://doi.org/10.1002/(SICI)1520-684X(199802)29:2\&\#60;19::AID-SCJ3\&\#62;3.0.CO;2-T},
  doi          = {10.1002/(SICI)1520-684X(199802)29:2\&\#60;19::AID-SCJ3\&\#62;3.0.CO;2-T},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/ThongtakN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/DuarteN98,
  author       = {Elias Proc{\'{o}}pio Duarte Jr. and
                  Takashi Nanya},
  title        = {A Hierarachical Adaptive Distributed System-Level Diagnosis Algorithm},
  journal      = {{IEEE} Trans. Computers},
  volume       = {47},
  number       = {1},
  pages        = {34--45},
  year         = {1998},
  url          = {https://doi.org/10.1109/12.656078},
  doi          = {10.1109/12.656078},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/DuarteN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SahniN98,
  author       = {Mohit Sahni and
                  Takashi Nanya},
  title        = {On the {CSC} Property of Signal Transition Graph Specifications for
                  Asynchronous Circuit Design},
  booktitle    = {Proceedings of the {ASP-DAC} '98, Asia and South Pacific Design Automation
                  Conference 1998, Pacifico Yokohama, Yokohama, Japan, February 10-13,
                  1998},
  pages        = {183--189},
  publisher    = {{IEEE}},
  year         = {1998},
  url          = {https://doi.org/10.1109/ASPDAC.1998.669440},
  doi          = {10.1109/ASPDAC.1998.669440},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/SahniN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/TakamuraOFFUIKN98,
  author       = {Akihiro Takamura and
                  Motokazu Ozawa and
                  Izumi Fukasaku and
                  Taro Fujii and
                  Yoichiro Ueno and
                  Masashi Imai and
                  Masashi Kuwako and
                  Takashi Nanya},
  title        = {{TITAC-2:} An Asynchronous 32-bit Microprocessor},
  booktitle    = {Proceedings of the {ASP-DAC} '98, Asia and South Pacific Design Automation
                  Conference 1998, Pacifico Yokohama, Yokohama, Japan, February 10-13,
                  1998},
  pages        = {319--320},
  publisher    = {{IEEE}},
  year         = {1998},
  url          = {https://doi.org/10.1109/ASPDAC.1998.669480},
  doi          = {10.1109/ASPDAC.1998.669480},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/TakamuraOFFUIKN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KamedaPMN98,
  author       = {Yoshio Kameda and
                  Stanislav Polonsky and
                  Masaaki Maezawa and
                  Takashi Nanya},
  title        = {Primitive-Level Pipelining Method on Delay-Insensitive Model for {RSFQ}
                  Pulse-Driven Logic},
  booktitle    = {4th International Symposium on Advanced Research in Asynchronous Circuits
                  and Systems {(ASYNC} '98), 30 March - 2 April 1998, San Diego, CA,
                  {USA}},
  pages        = {262--273},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ASYNC.1998.666511},
  doi          = {10.1109/ASYNC.1998.666511},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/KamedaPMN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/YonedaSN97,
  author       = {Tomohiro Yoneda and
                  Atsufumi Shibayama and
                  Takashi Nanya},
  title        = {Verification of asynchronous logic circuit design using process algebra},
  journal      = {Syst. Comput. Jpn.},
  volume       = {28},
  number       = {8-9},
  pages        = {33--43},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1520-684X(199708)28:8\&\#60;33::AID-SCJ5\&\#62;3.0.CO;2-M},
  doi          = {10.1002/(SICI)1520-684X(199708)28:8\&\#60;33::AID-SCJ5\&\#62;3.0.CO;2-M},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/YonedaSN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/TakamuraKIFOFUN97,
  author       = {Akihiro Takamura and
                  Masashi Kuwako and
                  Masashi Imai and
                  Taro Fujii and
                  Motokazu Ozawa and
                  Izumi Fukasaku and
                  Yoichiro Ueno and
                  Takashi Nanya},
  title        = {{TITAC-2:} An asynchronous 32-bit microprocessor based on Scalable-Delay-Insensitive
                  model},
  booktitle    = {Proceedings 1997 International Conference on Computer Design: {VLSI}
                  in Computers {\&} Processors, {ICCD} '97, Austin, Texas, USA,
                  October 12-15, 1997},
  pages        = {288--294},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICCD.1997.628881},
  doi          = {10.1109/ICCD.1997.628881},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/TakamuraKIFOFUN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/DuarteMNN97,
  author       = {Elias Proc{\'{o}}pio Duarte Jr. and
                  Glenn Mansfield and
                  Takashi Nanya and
                  Shoichi Noguchi},
  editor       = {Aurel A. Lazar and
                  Roberto Saracco and
                  Rolf Stadler},
  title        = {Non-Broadcast Network Fault-Monitoring Based on System-Level Diagnosis},
  booktitle    = {Integrated Network Management V, Integrated management in a virtual
                  world, Proceedings of the Fifth {IFIP/IEEE} International Symposium
                  on Integrated Network Management, San Diego, CA, USA, May 12-16, 1997},
  series       = {{IFIP} Conference Proceedings},
  volume       = {86},
  pages        = {597--609},
  publisher    = {Chapman {\&} Hall},
  year         = {1997},
  timestamp    = {Thu, 03 Jan 2002 12:03:43 +0100},
  biburl       = {https://dblp.org/rec/conf/im/DuarteMNN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/KagotaniN96,
  author       = {Hiroto Kagotani and
                  Takashi Nanya},
  title        = {Performance enhancement of two-phase quasi-delay-insensitive circuits},
  journal      = {Syst. Comput. Jpn.},
  volume       = {27},
  number       = {5},
  pages        = {39--46},
  year         = {1996},
  url          = {https://doi.org/10.1002/scj.4690270504},
  doi          = {10.1002/SCJ.4690270504},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/KagotaniN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/MaezawaKKN96,
  author       = {Masaaki Maezawa and
                  Itaru Kurosawa and
                  Yoshio Kameda and
                  Takashi Nanya},
  title        = {Pulse-driven dual-rail logic gate family based on rapid single-flux-quantum
                  {(RSFQ)} devices for asynchronous circuits},
  booktitle    = {2nd International Symposium on Advanced Research in Asynchronous Circuits
                  and Systems {(ASYNC} '96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima,
                  Japan},
  pages        = {134--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ASYNC.1996.494445},
  doi          = {10.1109/ASYNC.1996.494445},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/MaezawaKKN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/DuarteN96,
  author       = {Elias Proc{\'{o}}pio Duarte Jr. and
                  Takashi Nanya},
  editor       = {Masayoshi Ejiri and
                  Shri K. Goyal},
  title        = {An SNMP-based implementation of the adaptive distributed system-level
                  diagnosis algorithm for {LAN} fault management},
  booktitle    = {1996 Network Operations and Management Symposium, {NOMS} 1996, Kyoto,
                  Japan, April 15-19, 1996. Proceedings},
  pages        = {530--539},
  publisher    = {{IEEE}},
  year         = {1996},
  url          = {https://doi.org/10.1109/NOMS.1996.539623},
  doi          = {10.1109/NOMS.1996.539623},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/DuarteN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DuarteN96,
  author       = {Elias Proc{\'{o}}pio Duarte Jr. and
                  Takashi Nanya},
  title        = {Hierarchical Adaptive Distributed System-Level Diagnosis Applied for
                  SNMP-based Network Fault Management},
  booktitle    = {The 15th Symposium on Reliable Distributed Systems, {SRDS} 1996, Niagara-on-the-Lake,
                  Ontario, Canada, October 23-25, 1996, Proceedings},
  pages        = {98--107},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/RELDIS.1996.559703},
  doi          = {10.1109/RELDIS.1996.559703},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/DuarteN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/ParkN96,
  author       = {Sung{-}Bum Park and
                  Takashi Nanya},
  title        = {Automatic Synthesis of Speed-Independent Circuits from Signal Transition
                  Graph Specifications},
  booktitle    = {9th International Conference on {VLSI} Design {(VLSI} Design 1996),
                  3-6 January 1996, Bangalore, India},
  pages        = {389--392},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICVD.1996.489640},
  doi          = {10.1109/ICVD.1996.489640},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/ParkN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/KagotaniN95,
  author       = {Hiroto Kagotani and
                  Takashi Nanya},
  title        = {Synthesis of two-phase quasi-delay-insensitive circuits from dependency
                  graphs},
  journal      = {Syst. Comput. Jpn.},
  volume       = {26},
  number       = {4},
  pages        = {11--19},
  year         = {1995},
  url          = {https://doi.org/10.1002/scj.4690260402},
  doi          = {10.1002/SCJ.4690260402},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/KagotaniN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/TakahashiN95,
  author       = {Ryuichi Takahashi and
                  Takashi Nanya},
  title        = {Logic circuit design for testability using orthonormal expansions},
  journal      = {Syst. Comput. Jpn.},
  volume       = {26},
  number       = {11},
  pages        = {1--11},
  year         = {1995},
  url          = {https://doi.org/10.1002/scj.4690261101},
  doi          = {10.1002/SCJ.4690261101},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/TakahashiN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/PiestrakN95,
  author       = {Stanislaw J. Piestrak and
                  Takashi Nanya},
  title        = {Towards Totally Self-Checking Delay-Insensitive Systems},
  booktitle    = {Digest of Papers: FTCS-25, The Twenty-Fifth International Symposium
                  on Fault-Tolerant Computing, Pasadena, California, USA, June 27-30,
                  1995},
  pages        = {228--237},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/FTCS.1995.466975},
  doi          = {10.1109/FTCS.1995.466975},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/PiestrakN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/SavvaN95,
  author       = {Andreas Savva and
                  Takashi Nanya},
  title        = {Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model
                  with Randomised Shared Memory},
  booktitle    = {Digest of Papers: FTCS-25, The Twenty-Fifth International Symposium
                  on Fault-Tolerant Computing, Pasadena, California, USA, June 27-30,
                  1995},
  pages        = {299--308},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/FTCS.1995.466969},
  doi          = {10.1109/FTCS.1995.466969},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/SavvaN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/NanyaUKKT94,
  author       = {Takashi Nanya and
                  Yoichiro Ueno and
                  Hiroto Kagotani and
                  Masashi Kuwako and
                  Akihiro Takamura},
  title        = {{TITAC:} Design of {A} Quasi-Delay-Insensitive Microprocessor},
  journal      = {{IEEE} Des. Test Comput.},
  volume       = {11},
  number       = {2},
  pages        = {50--63},
  year         = {1994},
  url          = {https://doi.org/10.1109/54.282445},
  doi          = {10.1109/54.282445},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/NanyaUKKT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/TanN94,
  author       = {Yasuo Tan and
                  Takashi Nanya},
  title        = {A fault-tolerant multilayer neural network model and its properties},
  journal      = {Syst. Comput. Jpn.},
  volume       = {25},
  number       = {2},
  pages        = {33--43},
  year         = {1994},
  url          = {https://doi.org/10.1002/scj.4690250204},
  doi          = {10.1002/SCJ.4690250204},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/TanN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KuwakoN94,
  author       = {Masashi Kuwako and
                  Takashi Nanya},
  title        = {Timing-reliability evaluation of asynchronous circuits based on different
                  delay models},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {22--31},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656283},
  doi          = {10.1109/ASYNC.1994.656283},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/async/KuwakoN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/NanyaHO92,
  author       = {Takashi Nanya and
                  Shin'ichi Hatakenaka and
                  Ryuichi Onoo},
  title        = {Design of Fully Exercised {SFS/SCD} Logic Networks},
  booktitle    = {Digest of Papers: FTCS-22, The Twenty-Second Annual International
                  Symposium on Fault-Tolerant Computing, Boston, Massachusetts, USA,
                  July 8-10, 1992},
  pages        = {96--103},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/FTCS.1992.243611},
  doi          = {10.1109/FTCS.1992.243611},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/NanyaHO92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/NanyaG89,
  author       = {Takashi Nanya and
                  Hendrik A. Goosen},
  title        = {The Byzantine hardware fault model},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {8},
  number       = {11},
  pages        = {1226--1231},
  year         = {1989},
  url          = {https://doi.org/10.1109/43.41508},
  doi          = {10.1109/43.41508},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/NanyaG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/NanyaU89,
  author       = {Takashi Nanya and
                  Masatoshi Uchida},
  title        = {A strongly fault-secure and strongly code-disjoint realization of
                  combinational circuits},
  booktitle    = {Proceedings of the Nineteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1989, Chicago, IL, USA, 21-23 June, 1989},
  pages        = {390--397},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/FTCS.1989.105601},
  doi          = {10.1109/FTCS.1989.105601},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/NanyaU89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/FujiwaraTNYTF88,
  author       = {Hideo Fujiwara and
                  Yuzo Takamatsu and
                  Takashi Nanya and
                  Teruhiko Yamada and
                  Hideo Tamamoto and
                  Kiyoshi Furuya},
  title        = {Test research in Japan},
  journal      = {{IEEE} Des. Test},
  volume       = {5},
  number       = {5},
  pages        = {60--79},
  year         = {1988},
  url          = {https://doi.org/10.1109/54.7982},
  doi          = {10.1109/54.7982},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dt/FujiwaraTNYTF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NanyaK88,
  author       = {Takashi Nanya and
                  Toshiaki Kawamura},
  title        = {Error/Secure/Propagating Concept and its Application to the Design
                  of Strongly Fault-Secure Processors},
  journal      = {{IEEE} Trans. Computers},
  volume       = {37},
  number       = {1},
  pages        = {14--24},
  year         = {1988},
  url          = {https://doi.org/10.1109/12.75147},
  doi          = {10.1109/12.75147},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/NanyaK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/NanyaMM88,
  author       = {Takashi Nanya and
                  Samiha Mourad and
                  Edward J. McCluskey},
  title        = {Multiple stuck-at fault testability of self-testing checkers},
  booktitle    = {Proceedings of the Eighteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1988, Tokyo, Japan, 27-30 June, 1988},
  pages        = {381--386},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/FTCS.1988.5347},
  doi          = {10.1109/FTCS.1988.5347},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/NanyaMM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/TakaharaN88,
  author       = {Atsushi Takahara and
                  Takashi Nanya},
  title        = {A higher level hardware design verification},
  booktitle    = {Computer Design: {VLSI} in Computers and Processors, {ICCD} 1988.,
                  Proceedings of the 1988 {IEEE} International Conference on, Rye Brook,
                  NY, USA, October 3-5, 1988},
  pages        = {596--599},
  publisher    = {{IEEE}},
  year         = {1988},
  url          = {https://doi.org/10.1109/ICCD.1988.25770},
  doi          = {10.1109/ICCD.1988.25770},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/iccd/TakaharaN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/NanyaK87,
  author       = {Takashi Nanya and
                  Toshiaki Kawamura},
  title        = {Error-secure and error-propagating concepts for strongly fault-secure
                  systems},
  journal      = {Syst. Comput. Jpn.},
  volume       = {18},
  number       = {3},
  pages        = {11--18},
  year         = {1987},
  url          = {https://doi.org/10.1002/scj.4690180302},
  doi          = {10.1002/SCJ.4690180302},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/NanyaK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NanyaK87a,
  author       = {Takashi Nanya and
                  Toshiaki Kawamura},
  title        = {A Note on Strongly Fault-Secure Sequential Circuits},
  journal      = {{IEEE} Trans. Computers},
  volume       = {36},
  number       = {9},
  pages        = {1121--1123},
  year         = {1987},
  url          = {https://doi.org/10.1109/TC.1987.5009545},
  doi          = {10.1109/TC.1987.5009545},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/NanyaK87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NanyaK87,
  author       = {Takashi Nanya and
                  Toshiaki Kawamura},
  title        = {On Error Indication for Totally Self-Checking Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {36},
  number       = {11},
  pages        = {1389--1392},
  year         = {1987},
  url          = {https://doi.org/10.1109/TC.1987.5009484},
  doi          = {10.1109/TC.1987.5009484},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/NanyaK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/NanyaK86,
  author       = {Takashi Nanya and
                  Toshiaki Kawamura},
  title        = {A design approach to self-checking processors},
  journal      = {Syst. Comput. Jpn.},
  volume       = {17},
  number       = {10},
  pages        = {20--33},
  year         = {1986},
  url          = {https://doi.org/10.1002/scj.4690171003},
  doi          = {10.1002/SCJ.4690171003},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/NanyaK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/YamadaN84,
  author       = {Teruhiko Yamada and
                  Takashi Nanya},
  title        = {Stuck-At Fault Tests in the Presence of Undetectable Bridging Faults},
  journal      = {{IEEE} Trans. Computers},
  volume       = {33},
  number       = {8},
  pages        = {758--761},
  year         = {1984},
  url          = {https://doi.org/10.1109/TC.1984.5009367},
  doi          = {10.1109/TC.1984.5009367},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/YamadaN84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/YamadaN83,
  author       = {Teruhiko Yamada and
                  Takashi Nanya},
  title        = {Comments on "Detection Location of Input and Feedback Bridging
                  Faults Among Input Output Lines"},
  journal      = {{IEEE} Trans. Computers},
  volume       = {32},
  number       = {5},
  pages        = {511--512},
  year         = {1983},
  url          = {https://doi.org/10.1109/TC.1983.1676266},
  doi          = {10.1109/TC.1983.1676266},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/YamadaN83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NanyaT79,
  author       = {Takashi Nanya and
                  Yoshihiro Tohma},
  title        = {Universal Multicode {STT} State Assignments for Asynchronous Sequential
                  Machines},
  journal      = {{IEEE} Trans. Computers},
  volume       = {28},
  number       = {11},
  pages        = {811--818},
  year         = {1979},
  url          = {https://doi.org/10.1109/TC.1979.1675261},
  doi          = {10.1109/TC.1979.1675261},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/NanyaT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NanyaT78,
  author       = {Takashi Nanya and
                  Yoshihiro Tohma},
  title        = {On Universal Single Transition Time Asynchronous State Assignments},
  journal      = {{IEEE} Trans. Computers},
  volume       = {27},
  number       = {8},
  pages        = {781--782},
  year         = {1978},
  url          = {https://doi.org/10.1109/TC.1978.1675192},
  doi          = {10.1109/TC.1978.1675192},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/NanyaT78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics