Arunagiri
Anand B. Arunagiri, Bangalore IN
Patent application number | Description | Published |
---|---|---|
20150058601 | VERIFYING FORWARDING PATHS IN PIPELINES - A tool for formally verifying forwarding paths in an information pipeline. The tool creates two logic design copies of the pipeline to be verified. The tool retrieves a first and a second instruction, which have previously been proven to compute a mathematically correct result when executed separately. The tool defines driver input functions for issuing instructions to the two logic design copies. In accordance with the driver input functions, the tool issues instructions to the two logic design copies. The tool abstracts data flow of the two logic design copies to isolate forwarding paths for verification. The tool adjusts for latency differences between the first and second logic design copies. The tool checks a register for results, and when results from of two logic design copies become available in the register, the tool verifies the results to conclusively prove the correctness of all states of the information pipeline. | 02-26-2015 |
20150058604 | VERIFYING FORWARDING PATHS IN PIPELINES - A tool for formally verifying forwarding paths in an information pipeline. The tool creates two logic design copies of the pipeline to be verified. The tool retrieves a first and a second instruction, which have previously been proven to compute a mathematically correct result when executed separately. The tool defines driver input functions for issuing instructions to the two logic design copies. In accordance with the driver input functions, the tool issues instructions to the two logic design copies. The tool abstracts data flow of the two logic design copies to isolate forwarding paths for verification. The tool adjusts for latency differences between the first and second logic design copies. The tool checks a register for results, and when results from of two logic design copies become available in the register, the tool verifies the results to conclusively prove the correctness of all states of the information pipeline. | 02-26-2015 |
Kumara Arunagiri, Bangalore IN
Patent application number | Description | Published |
---|---|---|
20110264710 | MONITORING AND REPORTING PRODUCTIVITY IN ENTERPRISE ENVIRONMENT - A system and associated method for monitoring and reporting productivity in an enterprise environment. The enterprise environment has a server, a database, a client program and a web interface. The database stores transaction data and administration data. The transaction data stores records of time spent by an end user to perform a certain volume of work for a transaction. The administration data configures operations of the client program per transaction. The client program records a time log and provides an interface to upload a volume log of the transaction. The end user or an administrative user manages content of the database via web interface. The server processes a respective request for recording transaction time and volume log and subsequently generates a productivity report including efficiency, availability, and utilization values based on the transaction data in the database. | 10-27-2011 |
Muthulingam Arunagiri, Chennai IN
Patent application number | Description | Published |
---|---|---|
20120165527 | PROCESS FOR THE PREPARATION OF PURE PALIPERIDONE - The present invention relates to an improved process for the preparation of pure Paliperidone of formula (I). The present invention more specifically provides an improved process for the preparation of pure Paliperidone which may contain impurities in the acceptable level of pharmacopoeia requirement specifically 3-{2-[4-(5-Fluoro-benzo[d]isoxazol-3-yl]-piperidin-1-yl]-ethyl}-2-methyl-7,8-dihydro- | 06-28-2012 |
Muthulingham Arunagiri, Bangalore IN
Patent application number | Description | Published |
---|---|---|
20100267968 | METHOD FOR THE PREPARATION OF DULOXETINE HYDROCHLORIDE - The present invention relates to an improved process for the preparation of Duloxetine and its intermediates (S)-(+)-N,N-dimethyl-3-(1-naphthalenyloxy)-3-(2-thienyl)propanamine by reacting (S)-(+)-N,N-dimethyl-3-(2-thienyl)-3-hydroxypropanamine with 1-fluoronaphthalene in the presence of a base; wherein the improvement lies in conducting the reaction in the absence of solvent. | 10-21-2010 |
Tiruchirapalli N. Arunagiri, Newark, CA US
Patent application number | Description | Published |
---|---|---|
20100062164 | Methods and Solutions for Preventing the Formation of Metal Particulate Defect Matter Upon a Substrate After a Plating Process - Methods and solutions for preventing the formation of metal particulate defect matter upon a substrate after plating processes are provided. In particular, solutions are provided which are free of oxidizing agents and include a non-metal pH adjusting agent in sufficient concentration such that the solution has a pH between approximately 7.5 and approximately 12.0. In some cases, a solution may include a chelating agent. In addition or alternatively, a solution may include at least two different types of complexing agents each offering a single point of attachment for binding metal ions via respectively different functional groups. In any case, at least one of the complexing agents or the chelating agent includes a non-amine or non-imine functional group. An embodiment of a method for processing a substrate includes plating a metal layer upon the substrate and subsequently exposing the substrate to a solution comprising the aforementioned make-up. | 03-11-2010 |