-
公开(公告)号：CN1292114A
公开(公告)日：2001-04-18
申请号：CN99803588.2
申请日：1999-11-04
申请人： 布尔CP8公司 , 国家信息及自动化研究所
IPC分类号： G06F9/45
CPC分类号： G06F8/445 , G06F8/4436
摘要： 本发明涉及中间程序的数据压缩方法和系统。方法包括:在程序(1000)中搜索相同的序列(Si)并且计数每个序列(Si)出现的次数Ni;比较测试(1001)以寻找超过基准值的函数f(Ni)以产生(1003)特定代码(Ci)的特定指令,序列(Si)与其相关;将序列(Si)中的每个发生用中间程序中的特定代码(Ci)代替(1004)以生成与执行文件(FEX)相关的中间程序(FCC)。本发明可用于多应用便携式对象,例如微处理器卡、板上系统等。
-
公开(公告)号：CN104346133A
公开(公告)日：2015-02-11
申请号：CN201410088993.2
申请日：2014-03-12
申请人： 晶心科技股份有限公司
IPC分类号： G06F9/30
CPC分类号： G06F9/30178 , G06F8/4434 , G06F8/4436 , G06F9/30156
摘要： 本发明提出一种压缩指令的方法及执行压缩指令的处理器，此方法包括下列步骤：分析将通过处理器执行的程序码以依据预设条件搜寻程序码中的一个或多个指令群组，每一上述指令群组包括连续执行的一个或多个指令；依据每一上述指令群组的成本函数来排序指令群组；将已排序的指令群组其中的最前面X个指令群组放入指令表，X为依据成本函数决定的数值；将程序码中被放入指令表的每一上述指令群组替换为对应的查表执行指令，查表执行指令具有参数指向指令表中对应的指令群组。
-
公开(公告)号：CN105408872A
公开(公告)日：2016-03-16
申请号：CN201380078502.X
申请日：2013-08-28
申请人： 株式会社日立制作所
IPC分类号： G06F11/36
CPC分类号： G06F11/3608 , G06F8/40 , G06F8/427 , G06F8/436 , G06F8/4436 , G06F8/72
摘要： 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。
-
公开(公告)号：CN101395580B
公开(公告)日：2012-06-20
申请号：CN200780007316.1
申请日：2007-03-01
申请人： 诺基亚公司
IPC分类号： G06F9/45
CPC分类号： G06F11/3612 , G06F8/4434 , G06F8/4436
摘要： 一种减少用于计算装置的计算机代码集的大小的方法，所述代码集用于当打开所述计算装置电源时自动载入存储器，并且包括用于执行计算任务的函数，所述方法包括：指定所述计算装置的具体应用；在所述计算机代码集中识别出那些将要用来实现所述计算装置的所述具体应用的那些函数；以及，从所述代码集中去除所识别出的函数，并且将所识别出的函数置于单独的计算机代码库中。
-
公开(公告)号：CN105408872B
公开(公告)日：2017-11-24
申请号：CN201380078502.X
申请日：2013-08-28
申请人： 株式会社日立制作所
IPC分类号： G06F11/36
CPC分类号： G06F11/3608 , G06F8/40 , G06F8/427 , G06F8/436 , G06F8/4436 , G06F8/72
摘要： 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。
-
公开(公告)号：CN104346133B
公开(公告)日：2017-09-08
申请号：CN201410088993.2
申请日：2014-03-12
申请人： 晶心科技股份有限公司
IPC分类号： G06F9/30
CPC分类号： G06F9/30178 , G06F8/4434 , G06F8/4436 , G06F9/30156
摘要： 本发明提出一种压缩指令的方法及执行压缩指令的处理器，此方法包括下列步骤：分析将通过处理器执行的程序码以依据预设条件搜寻程序码中的一个或多个指令群组，每一上述指令群组包括连续执行的一个或多个指令；依据每一上述指令群组的成本函数来排序指令群组；将已排序的指令群组其中的最前面X个指令群组放入指令表，X为依据成本函数决定的数值；将程序码中被放入指令表的每一上述指令群组替换为对应的查表执行指令，查表执行指令具有参数指向指令表中对应的指令群组。
-
公开(公告)号：CN106874059A
公开(公告)日：2017-06-20
申请号：CN201611269779.2
申请日：2016-12-30
申请人： 长沙湘计海盾科技有限公司
IPC分类号： G06F9/45
CPC分类号： G06F8/4436
摘要： 本发明公开了一种硬件加速OpenCV库中图像处理函数的方法，按照如下步骤操作：A、在需要进行硬件加速的函数所在文件定义函数指针类型；B、定义一个该函数指针类型的静态全局变量；C、定义一个赋值函数，用来对静态全局变量赋值；D、修改需要进行硬件加速的函数，对静态全局变量的函数指针进行调用；E、重新编译OpenCV库，生成动态链接库；F、在OpenCV应用代码中定义硬件加速函数，其完成的功能与库中需要进行硬件加速的函数的原有部分的功能相同；G、调用赋值函数，将硬件加速函数作为参数传给该赋值函数；H、将步骤F定义的硬件加速函数改成由FPGA硬件逻辑来实现。本发明有效提高了运行速度。
-
公开(公告)号：CN106575225B
公开(公告)日：2019-07-02
申请号：CN201480081121.1
申请日：2014-12-11
申请人： 株式会社日立制作所
CPC分类号： G06F7/721 , G06F8/4436 , G06F8/72 , G06F9/44 , G06F16/334
摘要： 本发明提供运用关于模块所使用的功能的信息来自动提取可划分的模块的模块划分辅助装置、模块划分辅助方法和模块划分辅助程序。信息处理装置的关键词取得部向按模块的关键词使用数据收集关于模块正在使用的功能的数据，数据分析部使用数据和存储在不可分度计算项目列表中的、用户指定的不可分度计算项目计算方法来计算不可分度，并将不可分度存储至不可分度数据，而且，模块划分判断部对划分判断对象模块，通过对关于和用户指定的不可分度计算项目相关联的功能的不可分度与存储在不可分度计算项目列表中的阈值进行比较，来判断是否能够进行模块划分。
-
公开(公告)号：CN106575225A
公开(公告)日：2017-04-19
申请号：CN201480081121.1
申请日：2014-12-11
申请人： 株式会社日立制作所
IPC分类号： G06F9/44
CPC分类号： G06F7/721 , G06F8/4436 , G06F8/72 , G06F9/44 , G06F16/334
摘要： 本发明提供运用关于模块所使用的功能的信息来自动提取可划分的模块的模块划分辅助装置、模块划分辅助方法和模块划分辅助程序。信息处理装置的关键词取得部向按模块的关键词使用数据收集关于模块正在使用的功能的数据，数据分析部使用数据和存储在不可分度计算项目列表中的、用户指定的不可分度计算项目计算方法来计算不可分度，并将不可分度存储至不可分度数据，而且，模块划分判断部对划分判断对象模块，通过对关于和用户指定的不可分度计算项目相关联的功能的不可分度与存储在不可分度计算项目列表中的阈值进行比较，来判断是否能够进行模块划分。
-
公开(公告)号：CN101395580A
公开(公告)日：2009-03-25
申请号：CN200780007316.1
申请日：2007-03-01
申请人： 西姆毕恩软件有限公司
IPC分类号： G06F9/45
CPC分类号： G06F11/3612 , G06F8/4434 , G06F8/4436
摘要： 一种减少用于计算装置的计算机代码集的大小的方法，所述代码集用于当打开所述计算装置电源时自动载入存储器，并且包括用于执行计算任务的函数，所述方法包括：指定所述计算装置的具体应用；在所述计算机代码集中识别出那些将要用来实现所述计算装置的所述具体应用的那些函数；以及，从所述代码集中去除所识别出的函数，并且将所识别出的函数置于单独的计算机代码库中。
-
-
-
-
-
-
-
-
-
搜索结果
13 条记录 (耗时 0.013 秒)
