专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20160182654A1 Moving Critical Actions Within A Mobile Application 有权
标题翻译：在移动应用程序中移动关键操作
公开(公告)号：US20160182654A1
公开(公告)日：2016-06-23
申请号：US14572803
申请日：2014-12-17
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Jonathan Bnayahu , Idan Ben-Harrush
IPC分类号： H04L29/08 , H04L29/06
CPC分类号： H04W4/60
摘要： A computer-implemented method, a computerized apparatus and a computer program product, the method comprising: receiving a program to be executed on a mobile device; building a data structure representing states within the program and transitions between the states; and based on the data structure, determining by a processor a location of at least one command related to using data retrieved from a server, such that at least one fetching command is to be provided for the data to be available when execution reaches the location.
摘要翻译：一种计算机实现的方法，计算机化设备和计算机程序产品，所述方法包括：接收要在移动设备上执行的程序; 构建表示程序中状态的数据结构和状态之间的转换; 并且基于所述数据结构，由处理器确定与使用从服务器检索的数据相关的至少一个命令的位置，使得当执行到达所述位置时，为所述数据提供至少一个提取命令以使所述数据可用。

2. 发明申请

US20150106303A1 FINITE STATE MACHINE FORMING 审中-公开
标题翻译：有限状态机的形成
公开(公告)号：US20150106303A1
公开(公告)日：2015-04-16
申请号：US14052778
申请日：2013-10-14
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush
IPC分类号： G06N5/02
CPC分类号： G06N5/02 , G06F9/4498 , G06F9/451
摘要： Techniques for representing a finite state machine forming are described herein. The techniques include a method that identifies screens of a computing program. The method may include correlating the identified screens with states of a finite state machine. Events indicating transition between the identified screens may be determined as well as data flow associated with the events. The method may include forming a graph representing the screens, events, and data flow in the finite state machine.
摘要翻译：本文描述了用于表示有限状态机形成的技术。这些技术包括识别计算程序的屏幕的方法。该方法可以包括将所识别的屏幕与有限状态机的状态相关联。可以确定指示所识别的屏幕之间的转换的事件以及与事件相关联的数据流。该方法可以包括形成表示有限状态机中的屏幕，事件和数据流的图。

3. 发明授权

US10242315B2 Finite state machine forming 有权
公开(公告)号：US10242315B2
公开(公告)日：2019-03-26
申请号：US14052778
申请日：2013-10-14
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush
IPC分类号： G06F15/18 , G06N5/02 , G06F9/451 , G06F9/448
摘要： Techniques for representing a finite state machine forming are described herein. The techniques include a method that identifies screens of a computing program. The method may include correlating the identified screens with states of a finite state machine. Events indicating transition between the identified screens may be determined as well as data flow associated with the events. The method may include forming a graph representing the screens, events, and data flow in the finite state machine.

4. 发明授权

US10136282B2 Dynamic download policy for mobile applications 有权
公开(公告)号：US10136282B2
公开(公告)日：2018-11-20
申请号：US15015154
申请日：2016-02-04
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Idan Ben-Harrush , Samuel Kallner , Dmitri Pikus
IPC分类号： H04W4/60 , H04W4/50 , H04L12/24 , H04L12/26 , H04L29/08
摘要： Obtaining a dynamic download policy for a mobile application being executed on the mobile computing device, wherein the dynamic download policy indicating a download policy for a data item, the download policy is defined by the dynamic download policy as enabled in a first device context of the mobile computing device. During execution of the mobile application, a current device context of the mobile application is being monitored. In response to the mobile application attempting to download the data item and in response to the current device context being the first device context, the download policy may be enforced.

5. 发明授权

US09823913B2 Method of adding local variables in place of global in JavaScript 有权
公开(公告)号：US09823913B2
公开(公告)日：2017-11-21
申请号：US14957626
申请日：2015-12-03
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush , Yishai A Feldman
IPC分类号： G06F9/45
CPC分类号： G06F8/443 , G06F8/72
摘要： The present invention, in some embodiments thereof comprises a computer implemented method of detecting global variables in JavaScript code, and adding local variables in place of the global variables, comprising receiving a JavaScript code containing at least one of a plurality of globally defined functions, identifying at least one of: one or more confined global variables which receive a value within a first JavaScript scope wherein the value is not referenced outside of the first JavaScript scope, and one or more repeating global variables accessed repeatedly within a second JavaScript scope, and adding local variables in place of at least one of the confined global variables and the repeating global variables.

6. 发明申请

US20170286104A1 DATA FLOW ANALYSIS FOR DYNAMIC APPLICATION, SKIPPING VIEWS 审中-公开
公开(公告)号：US20170286104A1
公开(公告)日：2017-10-05
申请号：US15084509
申请日：2016-03-30
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Idan Ben-Harrush , Shmuel Kallner , Oleg Sternberg
IPC分类号： G06F9/44
CPC分类号： G06F8/433
摘要： According to some embodiments of the present invention there is provided a method for identifying control dependencies between a source code and selected paths though the source code comprising: receiving an source code having a plurality of application functionalities, calculating a control graph dataset mapping a plurality of code segments of the source code into a plurality of source code execution paths, defining at least one control dependency from at least one source code execution path to the source code, receiving a subgroup defining a plurality of selected application functionalities from the plurality of application functionalities, identifying at least one of the plurality of source code execution paths that covers suitable code segments of the plurality of code segments which are required for performing application functionalities from the subset, and identifying at least one control dependency to eliminate within the one identified source code execution path.

7. 发明授权

US09710264B2 Screen oriented data flow analysis 有权
公开(公告)号：US09710264B2
公开(公告)日：2017-07-18
申请号：US14064223
申请日：2013-10-28
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/75 , G06F8/433
摘要： A method for performing data flow analysis of computer code, comprising: providing computer code of a computer program having a plurality of user interface screens; dividing the computer code to a plurality of portions such that each one of the portions includes code for inducing at least one of loading and using one of the user interface screens; performing a variable usage analysis to detect which variables are at least one of calculated and used in each one of the portions; constructing a data dependence model defining dependencies among the portions based on the variable usage analysis; and identifying, for at least one of the portions and using the data dependence model, at least one unnecessary variable loaded in one of the user interface screens and not used in a respective portion and in a group of portions depending on the respective portion.

8. 发明授权

US09424006B2 Execution optimization of mobile applications 有权
标题翻译：移动应用的执行优化
公开(公告)号：US09424006B2
公开(公告)日：2016-08-23
申请号：US14582219
申请日：2014-12-24
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/45529 , G06F8/4441
摘要： According to an aspect of some embodiments of the present invention there is provided a method for changing a program code to decrease execution time. The method comprises an action of receiving a program code, comprising function calls, with an entry and a target function. The method comprises analyzing the function calls between the entry function and the target function. A first program code is generated, comprising some of the function calls executed before the target function. A second program code is generated, comprising some of the function calls executed after the target function. The function calls executed before the target function are replaced with the first program code. The function calls executed after the target function are removed. The second program code is added to the program code to execute after the target function as a background process.
摘要翻译：根据本发明的一些实施例的一个方面，提供了一种用于改变程序代码以减少执行时间的方法。该方法包括接收具有条目和目标功能的包括功能调用的程序代码的动作。该方法包括分析入口函数和目标函数之间的函数调用。生成第一程序代码，包括在目标函数之前执行的一些函数调用。生成第二个程序代码，包括在目标函数之后执行的一些函数调用。在将目标函数替换为第一个程序代码之前执行的函数调用。删除目标函数后执行的函数调用。将第二个程序代码添加到程序代码中，在目标函数作为后台进程执行。

9. 发明申请

US20160188435A1 FIXING ANTI-PATTERNS IN JAVASCRIPT 有权
标题翻译：在JAVASCRIPT中固定反模式
公开(公告)号：US20160188435A1
公开(公告)日：2016-06-30
申请号：US14583794
申请日：2014-12-29
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3604 , G06F8/443
摘要： Methods, storage systems and computer program products implement embodiments of the present invention that include receiving, by a computer, source code for an application, the source code including multiple instructions to be executed in a single thread. A first static analysis is performed on the application source code in order to identify a given instruction including an asynchronous handler, and a plurality of entry points to the application. Based on the static analysis, an order of execution of the multiple instructions is determined, and an intermediate representation is generated that includes the multiple instructions arranged in the determined order of execution. In some embodiments, a second static analysis can be performed on the intermediate representation that can identify an anti-pattern in the intermediate representation, and then correct the anti-pattern in the source code.
摘要翻译：方法，存储系统和计算机程序产品实现本发明的实施例，其包括由计算机接收应用的源代码，源代码包括要在单个线程中执行的多个指令。对应用源代码执行第一静态分析，以便识别包括异步处理器的给定指令以及到应用的多个入口点。基于静态分析，确定多个指令的执行顺序，并且生成包括以确定的执行顺序排列的多个指令的中间表示。在一些实施例中，可以对可以识别中间表示中的反模式的中间表示执行第二静态分析，然后校正源代码中的反模式。

10. 发明申请

US20150113501A1 MOBILE COMPUTING PROGRAM SLICING 有权
标题翻译：移动计算机程序
公开(公告)号：US20150113501A1
公开(公告)日：2015-04-23
申请号：US14060631
申请日：2013-10-23
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush
IPC分类号： G06F9/44
CPC分类号： G06F8/38
摘要： Techniques for computer program slicing are described herein. The techniques include screens of a mobile computing program having a behavior. The method may include determining a subset of screens associated with the behavior. A slice of the mobile computing program may be generated based on the subset of screens of the mobile computing program such that the slice produces the same behavior of the mobile computing program.
摘要翻译：本文描述了用于计算机程序切片的技术。这些技术包括具有行为的移动计算程序的屏幕。该方法可以包括确定与该行为相关联的屏幕的子集。可以基于移动计算程序的屏幕的子集来生成移动计算程序的切片，使得切片产生移动计算程序的相同行为。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式