Abstract: Methods of employing corrosion inhibitors with oxidizing and/or non-oxidizing biocides, such as peroxycarboxylic acids, to provide corrosion protected compositions are disclosed. Various corrosion inhibitors further provide biocidal efficacy in addition to the corrosion protection providing further benefits for application of use. Methods of employing corrosion protected biocide compositions, such as peroxycarboxylic acid compositions, for corrosion protection are particularly well suited for treating fluids intended to flow through pipes, namely in the energy industry, water and paper industries, etc. Methods providing suitable corrosion protection in comparison to untreated systems and corrosion protected systems using conventional corrosion inhibitors, such as quaternary amines and imidazolines commonly used in the industry, are disclosed.

Abstract: Methods of generating performic acid by contacting aqueous oxidizing agent and aqueous formic acid source in liquid phase are disclosed. A system and apparatus for the in situ production of the performic acid chemistries is further disclosed. In particular, a continuous flow reactor is provided to generate performic acid at variable rates. Methods of employing the oxidizing biocide for various disinfection applications are also disclosed.

Abstract: The present invention relates generally to methods for forming peroxyformic acid, comprising contacting formic acid with hydrogen peroxide. The methods for forming peroxyformic acid can include adding formic acid with a relatively lower concentration of hydrogen peroxide, or adding formic acid to a peroxycarboxylic acid composition or forming composition to react with hydrogen peroxide in the compositions. The present invention also relates to peroxyformic acid formed by the above methods. The present invention further relates to the uses of peroxyformic acid for treating a variety of targets, e.g., target water, including target water used in connection with oil- and gas-field operations. The present invention further relates to methods for reducing or removing H2S or iron sulfide in the treated water source, improving clarity of the treated water source, or reducing the total dissolved oxygen or corrosion in the treated water source, using peroxyformic acid, including peroxyformic acid generated in situ.

Abstract: Methods of employing peroxycarboxylic acid compositions for the prevention of scale formation and in some embodiments the removal of existing scale are disclosed. In particular, the scale inhibition properties of percarboxylic acids of varying chain lengths including C1-C22 provide effective scale inhibition and scale removal or destruction. Methods of employing peroxycarboxylic acid compositions for scale inhibition and/or removal are particularly well suited for treating fluids intended to flow through pipes, namely in the energy industry, water and paper industries, etc. The methods provide suitable scale inhibition replacements and/or additives to known scale inhibitors.

Abstract: The present invention is directed to low solid surface coating compositions and methods of using the same. The low solid surface coating compositions comprise a self-crosslinking polymer, a solvent, a surfactant, and water. The low solid surface coating compositions can preferably have a total solid content of less than 15%.

Abstract: Systems and methods provide acceleration of automatic test pattern generation in a multi-core computing environment via multi-level parameter value optimization for a parameter set with speculative scheduling. The methods described herein use multi-core based parallel runs to parallelize sequential execution, speculative software execution to explore possible parameter sets, and terminate/prune runs when the optimum parameter value is found at a previous level. The present invention evaluates the design prior to the implementation of the compression IP so that it can define the configuration of DFT and ATPG to maximize the results of compression as measured by test data volume and test application time.

Abstract: Provisioning resources in public cloud infrastructure to perform at least part of electronic design automation (EDA) tasks on the public cloud infrastructure. The provisioning of resources is handled by a cloud provisioning system that is generally operated and maintained by an EDA tool developer using a provisioning credential. After the resources are provisioned, the cloud provisioning system places user key on the provisioned resources. Once the user key is placed on the provisioned resources, the cloud provisioning system has only limited access or no access to the provisioned resources. Instead, a user client device takes over the control of the provisioned resources by using a user's access credential. The provisioning credential is retained by the EDA tool developer and is not released to the user. Similarly, the access credential is retained by the user and not released to the EDA tool developer.

Abstract: Provisioning resources in public cloud infrastructure to perform at least part of electronic design automation (EDA) tasks on the public cloud infrastructure. The provisioning of resources is handled by a cloud provisioning system that is generally operated and maintained by an EDA tool developer using a provisioning credential. After the resources are provisioned, the cloud provisioning system places user key on the provisioned resources. Once the user key is placed on the provisioned resources, the cloud provisioning system has only limited access or no access to the provisioned resources. Instead, a user client device takes over the control of the provisioned resources by using a user's access credential. The provisioning credential is retained by the EDA tool developer and is not released to the user. Similarly, the access credential is retained by the user and not released to the EDA tool developer.

Abstract: Systems and methods provide acceleration of automatic test pattern generation in a multi-core computing environment via multi-level parameter value optimization for a parameter set with speculative scheduling. The methods described herein use multi-core based parallel runs to parallelize sequential execution, speculative software execution to explore possible parameter sets, and terminate/prune runs when the optimum parameter value is found at a previous level. The present invention evaluates the design prior to the implementation of the compression IP so that it can define the configuration of DFT and ATPG to maximize the results of compression as measured by test data volume and test application time.

Abstract: Provisioning resources in public cloud infrastructure to perform at least part of electronic design automation (EDA) tasks on the public cloud infrastructure. Performance metrics of servers in the public cloud infrastructure and performance history of a user's past EDA tasks are maintained to estimate operation parameters such as runtime of a new EDA task. Based on the estimation, a user can provision appropriate types and amounts of resources in the public cloud infrastructure in a cost-efficient manner. Also, a plurality of EDA tasks are assigned to computing resources in a manner that minimizes the overall cost for performing the EDA tasks.

Abstract: Provisioning resources in public cloud infrastructure to perform at least part of electronic design automation (EDA) tasks on the public cloud infrastructure. Performance metrics of servers in the public cloud infrastructure and performance history of a user's past EDA tasks are maintained to estimate operation parameters such as runtime of a new EDA task. Based on the estimation, a user can provision appropriate types and amounts of resources in the public cloud infrastructure in a cost-efficient manner. Also, a plurality of EDA tasks are assigned to computing resources in a manner that minimizes the overall cost for performing the EDA tasks.

Abstract: A method and system of synchronizing two nodes of a network uses a demodulated output signal of a time division multiplex (TDM) demodulator to perform frequency and timing synchronization independently. Frequency synchronization is performed without using a program clock reference, by detecting a symbol timing loop error of the TDM demodulator. The error is filtered by an oscillator control loop filter if the error is within a predetermined range. Thus, an output voltage of a digital to analog converter that receives the filtered output controls an oscillator. In the timing synchronizer, an error between a program clock reference (PCR) and a value of a counter in the terminal is computed if the PCR is a not a first PCR, and the error is filtered with a timing loop control filter. A processor then adjusts a value of the counter in the terminal based on the filtered output.

Abstract: A method for generating comparative online testing reports for a variety of competitive examinations is implemented. Questions are delivered to the user over a network and the responses are stored. The responses are collated and compared dynamically with the responses of other users who have taken the test. A variety of comparative reports are generated and displayed to the user.

Abstract: A method and system of synchronizing two nodes of a network uses a demodulated output signal of a time division multiplex (TDM) demodulator to perform frequency and timing synchronization independently. Frequency synchronization is performed without using a program clock reference, by detecting a symbol timing loop error of the TDM demodulator. The error is filtered by an oscillator control loop filter if the error is within a predetermined range. Thus, an output voltage of a digital to analog converter that receives the filtered output controls an oscillator. In the timing synchronizer, an error between a program clock reference (PCR) and a value of a counter in the terminal is computed if the PCR is a not a first PCR, and the error is filtered with a timing loop control filter. A processor then adjusts a value of the counter in the terminal based on the filtered output.

Abstract: A method and apparatus for controlling the display of and for resolving special characters in URL's URI's and Email ID's is implemented. In response to the entry of an URL during a browsing session, the web browser retrieves the URL and displays on the address bar a message read from a server. This message can be in addition to or in lieu of the URL. This allows the display of meaningful information on the address bar of a Web browser, that otherwise displays a URL that is usually cryptic. Also, in response to an entry of a URL/URI/Email ID with non-permitted special characters (such as space), the web browser converts them into a standard format by removal of the non-permitted special characters and fetches the appropriate file.