Top > Search of Japanese Patents

Search of Japanese Patents

Display results per page Option
Patent state
Information provider
Applicant
IPC
F-term
Specify icons
Select data
カレンダー表示 カレンダー表示
Specify number
Display option Order by

Clear


* Published Japanese patents only


Hits 12 results

No. Application number
Gazette No
Title
Release Date
Update Date
Information Provider
1 P2016-017419 P6622098 INVARIANT GENERATOR, COMPUTER PROGRAM, INVARIANT GENERATING METHOD, AND PROGRAM CODE PRODUCING METHOD meetings Apr 8, 2020 May 21, 2020 Kyoto University
2 P2016-017441 P6632058 INVARIANT GENERATOR, COMPUTER PROGRAM, INVARIANT GENERATING METHOD, AND PROGRAM CODE PRODUCING METHOD meetings Nov 22, 2018 Jan 28, 2020 Kyoto University
3 P2016-037660 P6611635 HARDWARE PLATFORM AND OPERATION METHOD OF HARDWARE USING HARDWARE PLATFORM meetings Oct 13, 2016 Jan 9, 2020 Kyushu Institute of Technology
4 P2013-109741 P6120276 ACCELERATOR PROCESSING EXECUTION DEVICE AND ACCELERATOR PROCESSING EXECUTION PROGRAM Feb 27, 2015 Dec 19, 2017 University of Tsukuba
5 P2013-544261 P5540160 (In Japanese) プログラム解析・検証サービス提供システム、その制御方法、制御プログラム、コンピュータを機能させるための制御プログラム、プログラム解析・検証装置、プログラム解析・検証ツール管理装置 meetings Feb 4, 2015 Dec 18, 2017 Japan Science and Technology Agency
6 P2012-546760 P5280587 (In Japanese) ディペンダビリティ維持システム、変化対応サイクル実行装置、障害対応サイクル実行装置、ディペンダビリティ維持システムの制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体 Nov 26, 2013 Dec 21, 2017 Japan Science and Technology Agency
7 P2011-135201 P5843230 VERIFICATION METHOD, VERIFICATION DEVICE, AND VERIFICATION COMPUTER PROGRAM FOR HYBRID SYSTEM; AND MODEL CONVERSION METHOD, MODEL CONVERSION DEVICE, AND MODEL CONVERSION COMPUTER PROGRAM FOR HYBRID SYSTEM meetings Jan 17, 2013 Jan 21, 2020 Kyoto University
8 P2005-056804 P5164032 SELF-EXPLANATION TYPE PROGRAM, PROGRAM CHANGE METHOD, CHANGE MANAGEMENT METHOD AND COMPUTER PROCESSING METHOD meetings May 24, 2011 Feb 28, 2018 University of Aizu
9 P2007-050269 P5224498 MEMORY MANAGEMENT METHOD, INFORMATION PROCESSOR, CREATION METHOD OF PROGRAM, AND PROGRAM foreign Oct 21, 2010 Oct 23, 2019 Waseda University
10 P2005-041235 P4855692 SOFTWARE DEVELOPMENT SUPPORT SYSTEM meetings Dec 5, 2008 Mar 2, 2018 Kyushu Institute of Technology
11 P2006-175756 P4576536 PERFORMANCE COMPARISON DISPLAY DEVICE TO NUMERAL CALCULATION ALGORITHM Feb 8, 2008 Feb 22, 2018 University of Tsukuba
12 P2006-102171 P4576535 DEVICE AND METHOD FOR DISPLAYING NUMERICAL CALCULATION ALGORITHM PERFORMANCE Nov 6, 2007 Feb 22, 2018 University of Tsukuba

(1/1 page)

  • 1

PAGE TOP