-
1.发明申请FAST DISPATCH PREDICATE FOR OVERLOADED FUNCTIONS WITH GENERIC TYPE HIERARCHIES THAT LACK CONTRAVARIANCE 有权用于具有一般类型分类的超载功能的快速分配预测公开(公告)号：US20140068555A1
公开(公告)日：2014-03-06
申请号：US13601730
申请日：2012-08-31
IPC分类号： G06F9/44
CPC分类号： G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译： 所公开的实施例提供了便于开发和执行软件程序的系统。 在软件程序的运行期间，系统获得与重载功能相关联的功能调用和缺乏对角线的通用类型层次结构。 接下来，系统确定重载函数的实现对函数调用的适用性。 最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。
-
2.发明授权Using versioned pointers to facilitate reusing memory with a reduced need to reclaim objects through garbage collection 有权使用版本化的指针来简化重用内存，减少了通过垃圾收集回收对象的需求公开(公告)号：US08316204B2
公开(公告)日：2012-11-20
申请号：US13247786
申请日：2011-09-28
申请人： David R. Chase
发明人： David R. Chase
CPC分类号： G06F12/0246
摘要： One embodiment of the present invention provides a system that uses versioned pointers to facilitate reusing memory without having to reclaim the objects solely through garbage collection. The system operates by first receiving a request to allocate an object. Next, the system obtains the object from a pool of free objects, and sets an allocated/free flag in the object to indicate that the object is allocated. The system also increments a version number in the object, and also encodes the version number into a pointer for the object. The system then returns the pointer, which includes the encoded version number. In this way, subsequent accesses to the object through the pointer can compare the version number encoded in the pointer with the version number in the object to determine whether the object has been reused since the pointer was generated.
摘要翻译： 本发明的一个实施例提供一种使用版本化指针来促进重用存储器的系统，而不必仅通过垃圾收集来回收对象。 系统通过首先接收分配对象的请求来操作。 接下来，系统从空闲对象池中获取对象，并在对象中设置一个已分配/自由的标志，以指示对象被分配。 系统还会增加对象中的版本号，并将版本号编码为对象的指针。 然后，系统返回包含编码版本号的指针。 以这种方式，通过指针对对象的后续访问可以将指针中编码的版本号与对象中的版本号进行比较，以确定对象是否已被重用，因为该指针已生成。
-
3.发明授权Digital signal process control of stirling cycle cryogenic cooler drive and high temperature superconducting filter temperature control loop 有权斯特林循环低温冷却器驱动和高温超导过滤器温度控制回路的数字信号处理控制公开(公告)号：US06446444B1
公开(公告)日：2002-09-10
申请号：US09872280
申请日：2001-05-31
IPC分类号： F25B900
CPC分类号： G05B15/02 , F02G1/043 , F25B9/14 , F25B2309/001 , F25B2309/1428 , G05B21/02 , Y10S62/908
摘要： Systems and methods for regulating, for example, the temperature of high temperature superconducting (HTSC) thin film filters used in connection with a Stirling cycle cryocooler. The system employs a digital signal processor-based control system. The system includes a cryocooler drive control loop for controlling the cryocooler drive in response to a measured cryocooler driving current and a cryocooler driving current set point. The system also includes a temperature control loop for generating the cryocooler driving current set point in response to either a cooldown profile algorithm or a comparison between a measured temperature and a set point temperature stored in DSP memory.
摘要翻译： 用于调节例如与斯特林循环低温冷却器结合使用的高温超导（HTSC）薄膜过滤器的温度的系统和方法。 该系统采用基于数字信号处理器的控制系统。 该系统包括用于响应于测量的低温冷却器驱动电流来控制低温冷却器驱动器的低温冷却器驱动控制回路和低温冷却器驱动电流设定点。 该系统还包括用于响应于冷却轮廓算法或存储在DSP存储器中的测量温度和设定点温度之间的比较来产生低温冷却器驱动电流设定点的温度控制回路。
-
公开(公告)号：US06149318A
公开(公告)日：2000-11-21
申请号：US843421
申请日：1997-04-15
CPC分类号： G06F11/3644 , G06F11/3624 , G06F8/437
摘要： A programming language processor performs link-time and run-time error checking of a program written in C, C++, or a combination of both. The link-time error checking diagnoses violations of the C++ One Definition Rule, and its equivalent in C. As the program runs, the run-time error checking examines accesses to computer memory to determine that the addresses accessed contain values of che type expected by the program. To add instrumentation to a C or C++ program, pre-expressions, post-expressions and clone-expressions are used to annotate an abstract syntax tree, the annotated tree is then canonicalized into a more traditional syntax tree before a back-end generates code for the program.
摘要翻译： 编程语言处理器执行用C，C ++编写的程序的链接时间和运行时错误检查，或两者的组合。 链接时间错误检查诊断违反C ++一维规则及其等同于C的程序。当程序运行时，运行时错误检查检查对计算机内存的访问，以确定访问的地址包含预期的che类型的值 该程序。 为了向C或C ++程序添加仪器，使用预表达式，后表达式和克隆表达式来注释抽象语法树，然后将注释的树规范化为更传统的语法树，然后后端生成代码 该程序。
-
5.发明授权Fast dispatch predicate for overloaded functions with generic type hierarchies that lack contravariance 有权用于重载函数的快速调度谓词，具有缺乏对角线的泛型类型层次结构公开(公告)号：US08843887B2
公开(公告)日：2014-09-23
申请号：US13601730
申请日：2012-08-31
IPC分类号： G06F9/44
CPC分类号： G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译： 所公开的实施例提供了便于开发和执行软件程序的系统。 在软件程序的运行期间，系统获得与重载功能相关联的功能调用和缺乏对角线的通用类型层次结构。 接下来，系统确定重载函数的实现对函数调用的适用性。 最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。
-
6.发明申请TYPE INFERENCE OF GENERIC TYPE PARAMETERS IN OVERLOADED FUNCTIONS USING TYPE INTERVALS AND INFERENCE DIRECTIONS 有权使用类型间隔和干扰方向的过载函数中的一般类型参数的类型推断公开(公告)号：US20140068574A1
公开(公告)日：2014-03-06
申请号：US13601766
申请日：2012-08-31
申请人： Karl B. Naden , David R. Chase , Justin R. Hilburn
发明人： Karl B. Naden , David R. Chase , Justin R. Hilburn
IPC分类号： G06F9/45
CPC分类号： G06F9/4428 , G06F8/31 , G06F8/437 , G06F9/4484 , G06F9/4488 , G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system obtains a type interval for a generic type parameter of an implementation of an overloaded function. Next, the system selects an inference direction for the generic type parameter based on a variance of the generic type parameter, wherein the inference direction is an upward inference direction or a downward inference direction. Finally, the system uses the type interval and the inference direction to perform type inference on the generic type parameter.
摘要翻译： 所公开的实施例提供了便于开发和执行软件程序的系统。 在运行期间，系统获取一个重载函数实现的通用类型参数的类型间隔。 接下来，系统基于通用类型参数的方差来选择通用类型参数的推理方向，其中推理方向是向上推理方向或向下推理方向。 最后，系统使用类型间隔和推理方向对通用类型参数执行类型推断。
-
公开(公告)号：US20130032031A1
公开(公告)日：2013-02-07
申请号：US13580692
申请日：2011-04-19
申请人： Andrew P. Bartko , Rodney S. Black , James R. Busch , David R. Chase , Ryan W. Daly , Theodore J. Ronningen , Matthew S. Young
发明人： Andrew P. Bartko , Rodney S. Black , James R. Busch , David R. Chase , Ryan W. Daly , Theodore J. Ronningen , Matthew S. Young
CPC分类号： B03C3/36 , B05B5/0255 , B05B5/1683 , G01N1/2202 , G01N1/2273 , G01N2001/2223 , H01J49/165
摘要： A small area electrostatic aerosol collector combines electrostatic collection of aerosol particles and electrohydrodynamic spraying of fluid so that a sample collected electrostatically can have fluid applied thereto. The fluid may assist with disaggregation and/or desalinization of biological material collected onto a sample substrate. A controller associated with the collector may control an electrostatic charge device and a spraying device such that the charge device and spraying device may operate in alternating fashion, or the charge device and spraying device may operate simultaneously. Further, mechanical systems are provided, for the disaggregation of particulate clusters collected onto a sample substrate.
摘要翻译： 小面积的静电吸尘器结合了气溶胶颗粒的静电收集和液体的电动液体喷射，使得静电收集的样品可以将流体施加到其上。 流体可以帮助收集到样品基底上的生物材料的解聚和/或脱盐。 与集电器相关联的控制器可以控制静电充电装置和喷射装置，使得充电装置和喷射装置可以交替地操作，或者充电装置和喷射装置可以同时操作。 此外，提供了机械系统，用于将收集到样品基底上的颗粒团簇分解。
-
8.发明授权Using versioned pointers to facilitate reusing memory with a reduced need to reclaim objects through garbage collection 有权使用版本化的指针来简化重用内存，减少了通过垃圾收集回收对象的需求公开(公告)号：US08051267B1
公开(公告)日：2011-11-01
申请号：US11054508
申请日：2005-02-09
申请人： David R. Chase
发明人： David R. Chase
CPC分类号： G06F12/0246
摘要： One embodiment of the present invention provides a system that uses versioned pointers to facilitate reusing memory without having to reclaim the objects solely through garbage collection. The system operates by first receiving a request to allocate an object. Next, the system obtains the object from a pool of free objects, and sets an allocated/free flag within the object to indicate that the object is allocated. The system also increments a version number within the object, and also encodes the version number into a pointer for the object. The system then returns the pointer, which includes the encoded version number. In this way, subsequent accesses to the object through the pointer can compare the version number encoded in the pointer with the version number within the object to determine whether the object has been reused since the pointer was generated.
摘要翻译： 本发明的一个实施例提供一种使用版本化指针来促进重用存储器的系统，而不必仅通过垃圾收集来回收对象。 系统通过首先接收分配对象的请求来操作。 接下来，系统从空闲对象池中获取对象，并在对象内设置分配/自由标志，以指示对象被分配。 系统还会增加对象内的版本号，并将版本号编码为对象的指针。 然后，系统返回包含编码版本号的指针。 以这种方式，通过指针对对象的后续访问可以将指针中编码的版本号与对象内的版本号进行比较，以确定该对象是否已被重用，因为该指针已生成。
-
9.发明授权Method and apparatus for dimensional analysis encoded in metatypes and generics 有权以元模式和仿制药编码的尺寸分析方法和装置公开(公告)号：US07530051B1
公开(公告)日：2009-05-05
申请号：US11034636
申请日：2005-01-13
摘要： In general, in one aspect, the invention relates to a method for integrating dimensional analysis in a program comprising defining a specific dimension class within the program, wherein the specific dimension class is an instance of the dimension meta-class, defining an instantiation of a unit class within the program, wherein the instantiation of the unit class comprises the specific dimension class as a type parameter associated with the instantiation of the unit class, defining a method within the program using the instantiation of the unit class and the specific dimension class, and compiling the program to generate an executable code corresponding to the program, wherein the program is written in an object-oriented language.
摘要翻译： 一般来说，一方面，本发明涉及一种用于在程序中整合维度分析的方法，包括在程序内定义特定维度类别，其中特定维度类是维度元类的实例，定义一个 单元类的实例化，其中单元类的实例化将特定维类作为与单元类的实例相关联的类型参数，使用单元类和特定尺寸类的实例来定义程序中的方法， 以及编译所述程序以生成与所述程序相对应的可执行代码，其中所述程序以面向对象语言编写。
-
公开(公告)号：US07039911B2
公开(公告)日：2006-05-02
申请号：US10150603
申请日：2002-05-17
申请人： David R. Chase , F. Kenneth Zadeck
发明人： David R. Chase , F. Kenneth Zadeck
IPC分类号： G06F9/455
CPC分类号： G06F9/45516 , G06F9/449 , G06F9/5027 , G06F2209/5018
摘要： A virtual machine system residing on a native machine comprises application code in a virtual machine specific format, native methods in a native machine specific format, and a plurality of execution entities that execute the application code and the native methods in parallel. An execution entity manager assigns a native method to an execution entity for execution. Based on an evaluation of the potential behavior of the native method, the execution entity manager assigns the native method to an execution entity optimized for the needs of the native method and the virtual machine system. This allows native methods that execute correctly in parallel to be assigned to an execution entity optimized to minimize system resources. Native methods that interfere with the parallel execution of other execution entities are assigned to an execution entity optimized to ensure correct native method operation.
-
-
-
-
-
-
-
-
-
搜索结果
19 条记录 (耗时 0.018 秒)
