摘要:
A distance measurement method for use in a laser range finding device to measure a distance between the laser range finding device and a target is disclosed. The method comprises the following steps. A laser signal is sent to the target in a first time point. A reflected laser signal reflected by the target is then received. A digital signal having a plurality of signal values ranging from 0 to N is obtained by sampling the reflected laser signal with a sampling signal, wherein N is an integer larger than two. A maximum signal value among the signal values is obtained. The distance is calculated according to the first time point and a second time point where the maximum signal value is generated.
摘要:
Techniques for developing and exchanging virtual machine implementations and/or support library implementations are described. In one embodiment, the virtual machine design specifies a set of functions for executing all or substantially all support library operations that are dependent on the implementation of the virtual machine. When a developer desires to substitute one virtual machine implementation for another, the developer is able to basically “plug-in” the second virtual machine implementation with minimal impact on the support libraries since both virtual machine implementations provide implementations for the set of specified functions that are dependent on the implementation of the respective virtual machine. Conversely, different support libraries may be utilized in conjunction with a particular virtual machine implementation.
摘要:
Methods and systems for application discovery on mobile devices are provided. A subscriber identity module (SIM) card associated with a mobile device sends information to a network server, which determines an identifier (e.g., a phone number) associated with the SIM card. Using the identifier, the network server provides application information to the mobile device. The application information, which may include the application itself, is then used to install the application on the mobile device.
摘要:
A method and apparatus for profiling a heap. According to the method, a flexible and comprehensive general-purpose profiling interface that uniformly accommodates a wide variety of memory allocation and garbage collection methods is used. The profiling interface, among other things, employs a set of virtual machine profiling interface events that support all known types of garbage collection methods.
摘要:
A program authoring system, prior to distributing a program, preprocesses the program to verify the integrity of the program. The program is written in a language that uses a restricted set of data type specific instructions. The program preprocessor, upon verification of the program's integrity, generates a modified version of the program containing an array of supplemental information. The supplemental information consists of data type snapshots of the program stack and local variables immediately prior to execution of each of a set of identified target instructions, which are successors of conditional jump, unconditional jump, branch and flow control instructions, if any, in the program. In client devices that receive programs, a program verifier verifies the integrity of each received program. The instructions of the program are emulated to determine whether any instruction in the program would violate the data type restrictions for that instruction.
摘要:
A content descriptor is received at a download server on a network from a remote content server, which is coupled to the download server through a computer network. The content descriptor is indicative of a selection by a user transmitted from a wireless client device to the remote content server and relating to a digital product hosted by the remote content server. The content descriptor is used by the download server to obtain the digital product from the remote content server. The digital product is then downloaded from the download server to the wireless client device via a wireless network. The content descriptor may include information such as a reference for use by the download server in locating the digital product, information describing the digital product, price information relating to the digital product, and/or information specifying a licensee of the digital product.
摘要:
Type safe linkage is ensured by establishing a constraint if a class references an attribute that is contained in another class. This constraint acts as a “promise” to later ensure type safe linkage. At some point later—such as at the earliest time that the type is loaded by both loaders—the constraint is verified. This may be accomplished by verifying that the type for the attribute is the same regardless of whether it is loaded by a loader that defines the referencing class or a loader that defines the referred class. If the constraint is not met, an error message is provided.
摘要:
Methods and systems for application discovery on mobile devices are provided. A subscriber identity module (SIM) card associated with a mobile device sends information to a network server, which determines an identifier (e.g., a phone number) associated with the SIM card. Using the identifier, the network server provides application information to the mobile device. The application information, which may include the application itself, is then used to install the application on the mobile device.
摘要:
A distance measurement method for use in a laser range finding device to measure a distance between the laser range finding device and a target is disclosed. The method comprises the following steps. A laser signal is sent to the target in a first time point. A reflected laser signal reflected by the target is then received. A digital signal having a plurality of signal values ranging from 0 to N is obtained by sampling the reflected laser signal with a sampling signal, wherein N is an integer larger than two. A maximum signal value among the signal values is obtained. The distance is calculated according to the first time point and a second time point where the maximum signal value is generated.
摘要:
An efficient method for parsing HTML pages identifies pages containing a mix of static and dynamic content. The pages are parsed to form abstract syntax trees (ASTs), which are then cached along with the pages. When a later version of a page is retrieved, it is compared against the cached version, and only those portions of the AST that contain different content are reparsed.