-
公开(公告)号:US08473971B2
公开(公告)日:2013-06-25
申请号:US11220167
申请日:2005-09-06
申请人: Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
发明人: Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
摘要: Systems and methods that enhance and balance a late binding and an early binding in a programming language, via supplying an option component to opt-in (or opt-out) late binding, and wherein a late binding is triggered based on a static type for the variable (e.g., object or a type/string.) Additionally, the variable is enabled to have different static types at different regions (e.g., a program fragment) of the programming language.
摘要翻译: 通过提供选项组件来选择(或选择退出)后期绑定,增强和平衡编程语言中的后期绑定和早期绑定的系统和方法,并且其中基于静态类型触发后期绑定 变量(例如,对象或类型/字符串)。此外,变量可以在编程语言的不同区域(例如,程序片段)中具有不同的静态类型。
-
公开(公告)号:US07694285B2
公开(公告)日:2010-04-06
申请号:US11214701
申请日:2005-08-30
申请人: Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
发明人: Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
CPC分类号: G06F8/31
摘要: Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace an impermissible expression in the programming language, to leverage the existing permissible expressions.
摘要翻译: 通过放松人为限制和与之相关联的委托的扩展来增强编程语言(例如,Visual Basic)中的表达性的系统和方法,而不改变运行时基础设施。 使用一个可以替代编程语言中不允许的表达式的存根,以利用现有的允许表达式。
-
公开(公告)号:US20080162409A1
公开(公告)日:2008-07-03
申请号:US11616712
申请日:2006-12-27
IPC分类号: G06F17/30
CPC分类号: G06F17/30445 , G06F17/30486 , G06F17/30592
摘要: Iterate-aggregate shape queries are executable in an efficient parallel manner. Techniques are utilized that leverage properties of aggregations to implement such a query in a highly parallelized manner utilizing one or both of vertical and horizontal parallelism. More specifically, queries can be recursively evaluated in parallel utilizing partitioning and repartitioning mechanisms. Distributed query execution results over a subset of input data are repartitioned and aggregated to produce a final result.
摘要翻译: 迭代聚合形状查询可以以高效的并行方式执行。 利用利用聚合的属性来利用垂直和水平并行度中的一个或两个以高度并行化的方式实现这种查询的技术。 更具体地,可以使用分区和重新分配机制来并行地递归地评估查询。 重新分区和聚合输入数据子集上的分布式查询执行结果,以产生最终结果。
-
公开(公告)号:US08473932B2
公开(公告)日:2013-06-25
申请号:US12715253
申请日:2010-03-01
申请人: Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
发明人: Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
CPC分类号: G06F8/31
摘要: Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace an impermissible expression in the programming language, to leverage the existing permissible expressions.
摘要翻译: 通过放松人为限制和与之相关联的委托的扩展来增强编程语言(例如,Visual Basic)中的表达性的系统和方法,而不改变运行时基础设施。 使用一个可以替代编程语言中不允许的表达式的存根,以利用现有的允许表达式。
-
公开(公告)号:US20100162218A1
公开(公告)日:2010-06-24
申请号:US12715253
申请日:2010-03-01
申请人: Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
发明人: Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
CPC分类号: G06F8/31
摘要: Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace an impermissible expression in the programming language, to leverage the existing permissible expressions.
摘要翻译: 通过放松人为限制和与之相关联的委托的扩展来增强编程语言(例如,Visual Basic)中的表达性的系统和方法,而不改变运行时基础设施。 使用一个可以替代编程语言中不允许的表达式的存根,以利用现有的允许表达式。
-
公开(公告)号:US07680765B2
公开(公告)日:2010-03-16
申请号:US11616712
申请日:2006-12-27
IPC分类号: G06F17/30
CPC分类号: G06F17/30445 , G06F17/30486 , G06F17/30592
摘要: Iterate-aggregate shape queries are executable in an efficient parallel manner. Techniques are utilized that leverage properties of aggregations to implement such a query in a highly parallelized manner utilizing one or both of vertical and horizontal parallelism. More specifically, queries can be recursively evaluated in parallel utilizing partitioning and repartitioning mechanisms. Distributed query execution results over a subset of input data are repartitioned and aggregated to produce a final result.
摘要翻译: 迭代聚合形状查询可以以高效的并行方式执行。 利用利用聚合的属性来利用垂直和水平并行度中的一个或两个以高度并行化的方式实现这种查询的技术。 更具体地,可以使用分区和重新分配机制来并行地递归地评估查询。 重新分区和聚合输入数据子集上的分布式查询执行结果,以产生最终结果。
-
公开(公告)号:US08314793B2
公开(公告)日:2012-11-20
申请号:US12344215
申请日:2008-12-24
IPC分类号: G06T17/00
CPC分类号: G06T11/206 , G06T19/00
摘要: Solving for output variable(s) of a model that includes multiple analytically related model variables. The identity of the output model variables and the analytical relationships between the model variables are separately designated. Regardless of the identity of the output variable(s), a solver framework interprets the analytical relationships and solves for the designated output variable(s). The output model variable(s) may be designated separately than the analytical relationships themselves. By simply changing the designation of the output model variable(s), the analytical relationships are reevaluated, and the output variable(s) are solved for. The solver framework itself stays the same regardless of the identity of the output model variable(s).
摘要翻译: 求解包含多个分析相关模型变量的模型的输出变量。 分别指定输出模型变量的身份和模型变量之间的分析关系。 无论输出变量的身份如何,求解器框架解释分析关系并解决指定的输出变量。 输出模型变量可以与分析关系本身分开指定。 通过简单地改变输出模型变量的指定,重新评估分析关系,并解决输出变量。 无论输出模型变量的身份如何,求解器框架本身都保持不变。
-
公开(公告)号:US07779397B2
公开(公告)日:2010-08-17
申请号:US11214404
申请日:2005-08-29
IPC分类号: G06F9/45
摘要: A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed view of the at least one datum. Methods of using the system are also provided.
摘要翻译: 用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。 所述系统还包括定义所述至少一个基准的强类型视图的类型定义组件。 还提供了使用该系统的方法。
-
公开(公告)号:US20100156900A1
公开(公告)日:2010-06-24
申请号:US12344215
申请日:2008-12-24
IPC分类号: G06T17/00
CPC分类号: G06T11/206 , G06T19/00
摘要: Solving for output variable(s) of a model that includes multiple analytically related model variables. The identity of the output model variables and the analytical relationships between the model variables are separately designated. Regardless of the identity of the output variable(s), a solver framework interprets the analytical relationships and solves for the designated output variable(s). The output model variable(s) may be designated separately than the analytical relationships themselves. By simply changing the designation of the output model variable(s), the analytical relationships are reevaluated, and the output variable(s) are solved for. The solver framework itself stays the same regardless of the identity of the output model variable(s).
摘要翻译: 求解包含多个分析相关模型变量的模型的输出变量。 分别指定输出模型变量的身份和模型变量之间的分析关系。 无论输出变量的身份如何,求解器框架解释分析关系并解决指定的输出变量。 输出模型变量可以与分析关系本身分开指定。 通过简单地改变输出模型变量的指定,重新评估分析关系,并解决输出变量。 无论输出模型变量的身份如何,求解器框架本身都保持不变。
-
公开(公告)号:US20090276795A1
公开(公告)日:2009-11-05
申请号:US12112461
申请日:2008-04-30
IPC分类号: G06F9/45
CPC分类号: G06F9/4498
摘要: Computer-based machines can be modeled after a virtual automaton. The virtual automaton defines processes that are not bound statically to particular behavior but rather perform a lookup at runtime to bind behavior to a specific process mechanism. In accordance with one aspect, binding can be dependent upon runtime context information such as object type. Instances of virtual automaton are provided in the context of graph processing including serialization of object graphs and scanning/parsing, among others.
摘要翻译: 基于计算机的机器可以在虚拟自动机之后建模。 虚拟自动机定义不是静态绑定到特定行为的进程,而是在运行时执行查找以将行为绑定到特定的进程机制。 根据一个方面,绑定可以依赖于诸如对象类型的运行时上下文信息。 在图形处理的上下文中提供虚拟自动机的实例,包括对象图的序列化和扫描/解析等。
-
-
-
-
-
-
-
-
-