-
1.发明申请EXTRACTION OF FUNCTIONAL SEMANTICS AND ISOLATED DATAFLOW FROM IMPERATIVE OBJECT ORIENTED LANGUAGES 审中-公开功能语义和分离数据流从强制目标语言提取公开(公告)号：US20130007703A1
公开(公告)日：2013-01-03
申请号：US13605773
申请日：2012-09-06
IPC分类号： G06F9/44
摘要： Extraction of functional semantics and isolated dataflow from imperative object oriented languages, in one aspect, may include identifying one or more methods and/or classes associated with one or more of a plurality of property labels in a computer code written in object oriented language to extract functional and isolation characteristics in the computer code. The plurality of property labels supported by one or more checking rules, are used to verify that the one or more methods and/or classes identified with the plurality of property labels have isolation characteristics. An object oriented language compiler is provided for supplying the plurality of property labels and checking rules. The object oriented language compiler further may include capability to transform methods into compute tasks and connect the compute tasks so as to create a dataflow graph.
摘要翻译： 在一方面，从命令性面向对象语言中提取功能语义和隔离数据流可以包括识别与以面向对象语言编写的计算机代码中的多个属性标签中的一个或多个属性标签相关联的一个或多个方法和/或类，以提取 功能和隔离特性在计算机代码中。 由一个或多个检查规则支持的多个属性标签用于验证用多个属性标签标识的一个或多个方法和/或类具有隔离特性。 提供面向对象的语言编译器用于提供多个属性标签和检查规则。 面向对象的语言编译器还可以包括将方法转换成计算任务并连接计算任务以便创建数据流图的能力。
-
2.发明申请TECHNIQUE FOR COMPILING AND RUNNING HIGH-LEVEL PROGRAMS ON HETEROGENEOUS COMPUTERS 有权编制和运行异构计算机高级程序的技术公开(公告)号：US20130036409A1
公开(公告)日：2013-02-07
申请号：US13618523
申请日：2012-09-14
IPC分类号： G06F9/45
CPC分类号： G06F8/456
摘要： A technique for compiling and running high-level program on heterogeneous computers may include partitioning a program code into two or more logical units, and compiling each of the logical units into one or more executable entities. At least some of the logical units are compiled into two or more executable entities, the two or more executable entities being different compilations of the same logical unit. The two or more executable entities are compatible to run on respective two or more platforms that have different architecture.
摘要翻译： 用于在异构计算机上编译和运行高级程序的技术可以包括将程序代码划分为两个或多个逻辑单元，以及将每个逻辑单元编译成一个或多个可执行实体。 至少一些逻辑单元被编译成两个或多个可执行实体，两个或多个可执行实体是同一逻辑单元的不同编译。 两个或多个可执行实体兼容以在具有不同体系结构的相应的两个或多个平台上运行。
-
公开(公告)号：US20130036408A1
公开(公告)日：2013-02-07
申请号：US13196300
申请日：2011-08-02
IPC分类号： G06F9/45
CPC分类号： G06F8/456
摘要： A technique for compiling and running high-level program on heterogeneous computers may include partitioning a program code into two or more logical units, and compiling each of the logical units into one or more executable entities. At least some of the logical units are compiled into two or more executable entities, the two or more executable entities being different compilations of the same logical unit. The two or more executable entities are compatible to run on respective two or more platforms that have different architecture.
-
-
搜索结果
3 条记录 (耗时 0.024 秒)
