公开(公告)号：JP2017126293A

公开(公告)日：2017-07-20

申请号：JP2016006558

申请日：2016-01-15

申请人： キヤノン株式会社

发明人： 長谷川 極

IPC分类号： G06F9/44

CPC分类号： G06F8/61 ,  G06F3/0647 ,  G06F3/0667 ,  G06F8/54 ,  G06F8/72 ,  G06F9/44521 ,  G06F9/44578 ,  G06F9/44589

摘要： 【課題】ソフトウェアのアップデートや機能拡張により、ライブラリの増加が重なっても、ファイルディスクリプタの消費を抑制する情報処理装置及びリソース管理方法を提供する。 【解決手段】装置の起動処理の一部として、またはアプリがインストールされた場合に、クラスパスの設定にライブラリが複数あるか否かを判定し、ライブラリが複数設定されていると判定された場合に、設定されているライブラリを展開して、新たなライブラリとして統合した後に、新しく作成したライブラリを、クラスパスとして設定する。 【選択図】図14B

公开(公告)号：JP2009176282A

公开(公告)日：2009-08-06

申请号：JP2008296617

申请日：2008-11-20

申请人： Nec Lab America Inc ,  エヌイーシー ラボラトリーズ アメリカ インクNEC Laboratories America, Inc.

发明人： BALAKRISHNAN GOGUL ,  SRIRAM SANKARNARAYANAN ,  IVANCIC FRANJO ,  GUPTA AARTI

IPC分类号： G06F11/36

CPC分类号： G06F9/44589 ,  G06F11/3608

摘要： PROBLEM TO BE SOLVED: To statically analyze a program by using abstract interpretation for an analysis sensitive to a path using an analysis insensitive to a path. SOLUTION: A system and a method for infeasible path detection include performing a static analysis on a program to prove a property of the program. If the property is not proved, infeasible paths in the program are determined by performing a path-insensitive abstract interpretation. Information about such infeasible paths is used to achieve the effects of path-sensitivity in path-insensitive program analysis. COPYRIGHT: (C)2009,JPO&INPIT

摘要翻译： 要解决的问题：使用对路径不敏感的分析对通过路径敏感的分析，使用抽象解释来静态分析程序。 解决方案：用于不可行路径检测的系统和方法包括对程序执行静态分析以证明程序的属性。 如果属性未被证明，程序中的不可行路径是通过执行不区分路径的抽象解释来确定的。 关于这种不可行路径的信息用于实现路径不敏感程序分析中路径敏感性的影响。 版权所有（C）2009，JPO＆INPIT

公开(公告)号：JP2009516887A

公开(公告)日：2009-04-23

申请号：JP2008542429

申请日：2006-11-21

申请人： 株式会社エヌ・ティ・ティ・ドコモ

发明人： アジェイ チャンダー， ,  悠 菊地

IPC分类号： G06F21/22

CPC分类号： G06F9/44589 ,  G06F21/554 ,  G06F21/6209 ,  G06F2221/2115 ,  H04L63/102

摘要： 通知の安全な処理を検証及び／又は保証するための方法及び装置を提供する。 一実施形態では、この方法は、通知を受信するステップと、通知受領ポリシーに従って通知を処理するよう静的に検証された通知ハンドラを有するプログラムコードを使用して通知を安全に処理するステップと、を含む。
【選択図】 図１

公开(公告)号：JP4171496B2

公开(公告)日：2008-10-22

申请号：JP2006051700

申请日：2006-02-28

申请人： サン・マイクロシステムズ・インコーポレーテッドSun Microsystems,Inc.

发明人： オコナー、ジェイムズ・マイケル ,  トレンブレイ、マーク

IPC分类号： G06F9/44 ,  G06F9/30 ,  G06F9/318 ,  G06F9/34 ,  G06F9/345 ,  G06F9/40 ,  G06F9/42 ,  G06F9/445 ,  G06F9/455 ,  G06F12/08

CPC分类号： G06F9/30021 ,  G06F9/30134 ,  G06F9/30174 ,  G06F9/30181 ,  G06F9/345 ,  G06F9/3879 ,  G06F9/4425 ,  G06F9/443 ,  G06F9/44589 ,  G06F9/45504 ,  G06F12/0875 ,  G06F2212/451 ,  Y02D10/13

摘要： An instruction decoder allows the folding away of JAVA virtual machine instructions pushing an operand onto the top of a stack merely as a precursor to a second JAVA virtual machine instruction which operates on the top of stack operand. Such an instruction decoder identifies foldable instruction sequences and supplies an execution unit with a single equivalent folded operation thereby reducing processing cycles otherwise required for execution of multiple operations corresponding to the multiple instructions of the folded instruction sequence. Instruction decoder embodiments described herein provide for folding of two, three, four, or more instruction folding. For example, in one instruction decoder embodiment described herein, two load instructions and a store instruction can be folded into execution of operation corresponding to an instruction appearing therebetween in the instruction sequence.

公开(公告)号：JP2007249884A

公开(公告)日：2007-09-27

申请号：JP2006075898

申请日：2006-03-20

申请人： Fujitsu Ltd ,  富士通株式会社

发明人： RAFAEL KAZUMICHI MORIZAWA

IPC分类号： G06F11/28

CPC分类号： G06F9/44589 ,  G06F8/314

摘要： PROBLEM TO BE SOLVED: To provide programs, an apparatus and a method for verifying software, which reduce verification costs for parallel software. SOLUTION: The software verification programs allow a computer to verify software which is composed of a library 11 and programs 22 that perform parallel operations using a library 21. The computer executes a shared element using part extraction step for extracting parts in which a shared element that is one defined in the library 21 and can be used by the programs 22 is used in the programs 22 as shared element using parts, and a condition verification step for verifying whether or not the shared element in the shared element using parts that are extracted by the shared element using part extraction step satisfies thread-safe conditions that are defined for every shared element in the library 21. COPYRIGHT: (C)2007,JPO&INPIT

摘要翻译： 要解决的问题：提供用于验证软件的程序，装置和方法，其降低并行软件的验证成本。 软件验证程序允许计算机验证由库11和使用库21执行并行操作的程序22组成的软件。计算机使用部分提取步骤执行共享元素，用于提取其中的 在程序22中作为共享元素使用部分使用作为库21中定义的并且可以由程序22使用的共享元素作为共享元素使用部分，以及条件验证步骤，用于使用部分中的部分来验证共享元素中的共享元素 由共享元素提取，使用部分提取步骤满足为库21中的每个共享元素定义的线程安全条件。（C）2007，JPO＆INPIT

公开(公告)号：JP3868527B2

公开(公告)日：2007-01-17

申请号：JP34916595

申请日：1995-12-20

申请人： サン・マイクロシステムズ・インコーポレイテッドSun Microsystems, Inc.

发明人： ジェイムス・エイ・ゴスリング

IPC分类号： G06F9/445 ,  G06F1/00 ,  G06F9/06 ,  G06F9/45 ,  G06F11/36 ,  G06F21/00

CPC分类号： G06F9/45508 ,  G06F9/44589 ,  G06F11/3612 ,  G06F21/51 ,  G06F21/52 ,  G06F21/566

公开(公告)号：JP6156175B2

公开(公告)日：2017-07-05

申请号：JP2014025223

申请日：2014-02-13

申请人： 富士ゼロックス株式会社

发明人： 長谷川 賢史

IPC分类号： G06Q10/00

CPC分类号： G06N5/02 ,  G06F9/44589

公开(公告)号：JPWO2015174068A1

公开(公告)日：2017-04-20

申请号：JP2016519111

申请日：2015-05-11

申请人： 日本電気株式会社

发明人： 紅美子 但野 ,  紅美子 但野

IPC分类号： G06F11/07

CPC分类号： G06F11/1438 ,  G06F9/445 ,  G06F9/44589 ,  G06F11/30 ,  G06F2201/805

摘要： 情報処理装置は、情報システムのコンポーネントに発生した障害の組合せに基づいて、コンポーネントの障害原因を特定し問題個所を修正するための修正サブ手順とコンポーネントを再構築するための再構築サブ手順とを取得する取得部と、取得された修正サブ手順と再構築サブ手順の間の依存関係に従い、修正サブ手順と再構築サブ手順を接続することにより、情報システムのサービス再開手順の候補を生成する生成部と、サービス再開手順の候補の所要時間を推定する推定部と、サービス再開手順の候補の所要時間の中で所望の復旧時間を満たすサービス再開手順を特定し、その中で所望の復旧時間を超過するリスクのあるサービス再開手順のうち、リスクの高低によってサービス再開手順を選択する選択部と、を備える。

公开(公告)号：JP5986312B2

公开(公告)日：2016-09-06

申请号：JP2015520612

申请日：2013-07-01

申请人： アマゾン テクノロジーズ インク

发明人： ジル、 サンバー ,  ラジャゴパラン、 クリシュナ ケー. ,  ジョーンズ、 マシュー ,  コ、 ケネス、 チュン、 カイ

IPC分类号： G06F13/00 ,  G06F9/445

CPC分类号： G06F8/61 ,  G06F9/445 ,  G06F9/44505 ,  G06F9/44589

公开(公告)号：JP2014170530A

公开(公告)日：2014-09-18

申请号：JP2014025029

申请日：2014-02-13

申请人： Tata Consultancy Services Ltd ,  タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited

发明人： TUKARAM B MUSKE ,  ANKIT BAID ,  TUSHAR ROHIDAS SANAS

IPC分类号： G06F11/36

CPC分类号： G06F9/44589 ,  G06F11/3604

摘要： PROBLEM TO BE SOLVED: To provide a method and a system for grouping a caution generated during static analysis of an application code.SOLUTION: An analysis module 212 analyzes an application code for generating a caution. An identification module 214 is configured to identify generated similar cautions on the basis of degrees of interest being similar structurally and semantically. As a result, the degrees of interest (EOI) of the similar cautions have the same operators which appear in the same order, and a parameter in the EOI of the similar cautions obtains a value from the same correction point in the application code. A grouping module 216 forms one or two or more groups for the identified similar cautions. A computation module 218 is configured to compute a representative caution from each of the groups. As a result, the representative caution and the other caution are according to a relation of review determinations thereof.

摘要翻译： 要解决的问题：提供用于对在应用代码的静态分析期间生成的警告进行分组的方法和系统。解决方案：分析模块212分析用于产生警告的应用代码。 识别模块214被配置为基于感兴趣的程度在结构和语义上相似的情况下识别产生的类似警告。 因此，类似注意事项的兴趣度（EOI）具有相同的操作符，并且相同的注意事项的EOI中的参数从应用代码中的相同的校正点获取值。 分组模块216形成用于所识别的类似注意事项的一个或两个或多个组。 计算模块218被配置为计算来自每个组的代表性警告。 因此，代表谨慎和其他谨慎是根据审查确定的关系。