Patents by Inventor Miguel Castro

Miguel Castro has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20240126611
    Abstract: The description relates to accelerator architectures for deep learning models. One example can obtain a deep learning training script associated with a deep learning model and extract an operator graph from the training script. The example can split the operator graph into first and second portions of a heterogeneous pipeline and tune a first accelerator core for the first portion of the heterogeneous pipeline and a second accelerator core for the second portion of the heterogeneous pipeline. The example can also generate a hardware architecture that includes the first accelerator core and the second accelerator core arranged to collectively accomplish the deep learning model.
    Type: Application
    Filed: October 13, 2022
    Publication date: April 18, 2024
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: Amar PHANISHAYEE, Divya MAHAJAN, Janardhan KULKARNI, Miguel CASTRO, Muhammad ADNAN
  • Patent number: 11157038
    Abstract: In various examples, there is provided methods performed by nodes in a cluster of nodes to establish a master clock at a new master node following a reconfiguration of the nodes included in the cluster, whereby the master clock is provided by an old master node prior to the reconfiguration, and synchronize a local clock of slave nodes to clock of the new master node. The new master node sends a message to the slave nodes instructing them to disable their respective local clocks, receives acknowledgements that the local clocks have been disabled, waits until a time at which all leases have expired for any nodes removed from the cluster, sets the value of its clock to be greater than a maximum value that could have been provided by the old master node at the time the leases expired and indicates to the other nodes to re-enable their local clocks.
    Type: Grant
    Filed: March 2, 2020
    Date of Patent: October 26, 2021
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Miguel Castro, Dushyanth Narayanan, Aleksandar Dragojevic, Matthew Renzelmann, Alexander Shamis, Richendra Khanna, Stanko Novakovic, Anders Gjerdrum, Georgios Chatzopoulos
  • Patent number: 10929376
    Abstract: In various examples, there is provided methods performed by nodes in a cluster of nodes for performing transactions comprising one or more read operations and/or one or more write operations. The node comprises a local clock which is synchronized with a master clock and maintains a measure of uncertainty indicating current minimum and maximum values of the master clock. The method to perform transactions involving read operations generates a read timestamp representing a point in time which is earlier than a current minimum value of the master clock. The method then reads the objects and determines, for each of them, whether a timestamp associated with that object is later than the read timestamp. If so, an error handling procedure is performed for that object.
    Type: Grant
    Filed: March 22, 2018
    Date of Patent: February 23, 2021
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Miguel Castro, Dushyanth Narayanan, Aleksandar Dragojevic, Matthew Renzelmann, Alexander Shamis, Richendra Khanna, Stanko Novakovic, Anders Gjerdrum, Georgios Chatzopoulos
  • Publication number: 20200201381
    Abstract: In various examples, there is provided methods performed by nodes in a cluster of nodes to establish a master clock at a new master node following a reconfiguration of the nodes included in the cluster, whereby the master clock is provided by an old master node prior to the reconfiguration, and synchronize a local clock of slave nodes to clock of the new master node. The new master node sends a message to the slave nodes instructing them to disable their respective local clocks, receives acknowledgements that the local clocks have been disabled, waits until a time at which all leases have expired for any nodes removed from the cluster, sets the value of its clock to be greater than a maximum value that could have been provided by the old master node at the time the leases expired and indicates to the other nodes to re-enable their local clocks.
    Type: Application
    Filed: March 2, 2020
    Publication date: June 25, 2020
    Inventors: Miguel Castro, Dushyanth Narayanan, Aleksandar Dragojevic, Matthew Renzelmann, Alexander Shamis, Richendra Khanna, Stanko Novakovic, Anders Gjerdrum, Georgios Chatzopoulos
  • Patent number: 10613578
    Abstract: In various examples, there is provided methods performed by nodes in a cluster of nodes to establish a master clock at a new master node following a reconfiguration of the nodes included in the cluster, whereby the master clock is provided by an old master node prior to the reconfiguration, and synchronize a local clock of slave nodes to clock of the new master node. The new master node sends a message to the slave nodes instructing them to disable their respective local clocks, receives acknowledgements that the local clocks have been disabled, waits until a time at which all leases have expired for any nodes removed from the cluster, sets the value of its clock to be greater than a maximum value that could have been provided by the old master node at the time the leases expired and indicates to the other nodes to re-enable their local clocks.
    Type: Grant
    Filed: March 22, 2018
    Date of Patent: April 7, 2020
    Assignee: CLOCK SYNCHRONIZATION
    Inventors: Miguel Castro, Dushyanth Narayanan, Aleksandar Dragojevic, Matthew Renzelmann, Alexander Shamis, Richendra Khanna, Stanko Novakovic, Anders Gjerdrum, Georgios Chatzopoulos
  • Patent number: 10467298
    Abstract: Technologies are described herein for document collaboration discovery. A collaboration system enables users to collaboratively author documents. The collaboration system receives edits to a document in real or near real time, and indexes the edits in a search index. The collaboration system can also receive and index metadata associated with the document. The collaboration system can also receive a search query from a user and perform a search of the search index. If the document is identified by the search, the user can request to be admitted as an active editor of the document. The user can also request to join a real-time messaging session with other active editors of the document. The active editors can be notified of the search terms that led the user to the document, and indicate whether the user is to be admitted to the document as an active editor or the real-time messaging session.
    Type: Grant
    Filed: April 25, 2016
    Date of Patent: November 5, 2019
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Christopher Lee Mullins, Robert Standefer, Miguel Castro
  • Publication number: 20190294204
    Abstract: In various examples, there is provided methods performed by nodes in a cluster of nodes to establish a master clock at a new master node following a reconfiguration of the nodes included in the cluster, whereby the master clock is provided by an old master node prior to the reconfiguration, and synchronize a local clock of slave nodes to clock of the new master node. The new master node sends a message to the slave nodes instructing them to disable their respective local clocks, receives acknowledgements that the local clocks have been disabled, waits until a time at which all leases have expired for any nodes removed from the cluster, sets the value of its clock to be greater than a maximum value that could have been provided by the old master node at the time the leases expired and indicates to the other nodes to re-enable their local clocks.
    Type: Application
    Filed: March 22, 2018
    Publication date: September 26, 2019
    Inventors: Miguel CASTRO, Dushyanth NARAYANAN, Aleksandar DRAGOJEVIC, Matthew RENZELMANN, Alexander SHAMIS, Richendra KHANNA, Stanko NOVAKOVIC, Anders GJERDRUM, Georgios CHATZOPOULOS
  • Publication number: 20190294711
    Abstract: In various examples, there is provided methods performed by nodes in a cluster of nodes for performing transactions comprising one or more read operations and/or one or more write operations. The node comprises a local clock which is synchronized with a master clock and maintains a measure of uncertainty indicating current minimum and maximum values of the master clock. The method to perform transactions involving read operations generates a read timestamp representing a point in time which is earlier than a current minimum value of the master clock. The method then reads the objects and determines, for each of them, whether a timestamp associated with that object is later than the read timestamp. If so, an error handling procedure is performed for that object.
    Type: Application
    Filed: March 22, 2018
    Publication date: September 26, 2019
    Inventors: Miguel CASTRO, Dushyanth NARAYANAN, Aleksandar DRAGOJEVIC, Matthew James RENZELMANN, Alexander SHAMIS, Richendra KHANNA, Stanko NOVAKOVIC, Anders GJERDRUM, Georgios CHATZOPOULOS
  • Publication number: 20170308610
    Abstract: Technologies are described herein for document collaboration discovery. A collaboration system enables users to collaboratively author documents. The collaboration system receives edits to a document in real or near real time, and indexes the edits in a search index. The collaboration system can also receive and index metadata associated with the document. The collaboration system can also receive a search query from a user and perform a search of the search index. If the document is identified by the search, the user can request to be admitted as an active editor of the document. The user can also request to join a real-time messaging session with other active editors of the document. The active editors can be notified of the search terms that led the user to the document, and indicate whether the user is to be admitted to the document as an active editor or the real-time messaging session.
    Type: Application
    Filed: April 25, 2016
    Publication date: October 26, 2017
    Inventors: Christopher Lee Mullins, Robert Standefer, Miguel Castro
  • Patent number: 9648897
    Abstract: The invention relates to healthy food compositions with a gel or foam texture that have antioxidant properties, are rich in proteins, low-fat, lactose- and casein-free and easy-to-chew, comprising a neutral-flavored egg hydrolysate as a basic ingredient. These compositions are presented as an alternative to sweet and salty dishes using dairy products as a base because they have similar flavor, appearance and texture characteristics. These compositions are also presented as new foods that are particularly indicated for being consumed by people who are lactose intolerant or who have obesity issues.
    Type: Grant
    Filed: December 10, 2014
    Date of Patent: May 16, 2017
    Assignees: Consejo Superior De Investigaciones Cienfificas
    Inventors: Mario Sandoval Huertas, Marta Miguel Castro, Marta Garces Rimon, Rosina Lopez Fandiño
  • Patent number: 9567610
    Abstract: The present invention is related to the use of Botrytis cinerea strains, its spores, hyphae mycelium, sclerotia, intra and/or extracellular organic molecules, such as proteins, nucleic acids, polysaccharides, lipids and secondary metabolites for the biosynthesis of gold nanoparticles (AuNps). In general terms, the present invention is focused to use B. cinerea strains and/or molecules generated by this organism for the biological synthesis of AuNps, being then the field of application, the synthesis of nanomaterials, specifically AuNps using the phytopathogenic fungus B. cinerea and/or its intra or extracellular proteins purified individually or in combination thereof or any of other intra and/or extracellular molecule produced by this organism as a biological system of synthesis.
    Type: Grant
    Filed: March 28, 2013
    Date of Patent: February 14, 2017
    Assignee: Universidad de Santiago de Chile
    Inventors: Miguel Castro Retamal, Antonio Castillo Nara
  • Patent number: 9390261
    Abstract: The majority of such software attacks exploit software vulnerabilities or flaws to write data to unintended locations. For example, control-data attacks exploit buffer overflows or other vulnerabilities to overwrite a return address in the stack, a function pointer, or some other piece of control data. Non-control-data attacks exploit similar vulnerabilities to overwrite security critical data without subverting the intended control flow in the program. We describe a method for securing software against both control-data and non-control-data attacks. A static analysis is carried out to determine data flow information for a software program. Data-flow tracking instructions are formed in order to track data flow during execution or emulation of that software. Also, checking instructions are formed to check the tracked data flow against the static analysis results and thereby identify potential attacks or errors. Optional optimisations are described to reduce the resulting additional overheads.
    Type: Grant
    Filed: May 4, 2007
    Date of Patent: July 12, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Manuel Costa, Miguel Castro, Tim Harris
  • Publication number: 20150173394
    Abstract: The invention relates to healthy food compositions with a gel or foam texture that have antioxidant properties, are rich in proteins, low-fat, lactose- and casein-free and easy-to-chew, comprising a neutral-flavored egg hydrolysate as a basic ingredient. These compositions are presented as an alternative to sweet and salty dishes using dairy products as a base because they have similar flavor, appearance and texture characteristics. These compositions are also presented as new foods that are particularly indicated for being consumed by people who are lactose intolerant or who have obesity issues.
    Type: Application
    Filed: December 10, 2014
    Publication date: June 25, 2015
    Applicants: CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS (CSIC)
    Inventors: Mario SANDOVAL HUERTAS, Marta MIGUEL CASTRO, Marta GARCES RIMON, Rosina LOPEZ FANDIÑO
  • Publication number: 20150072392
    Abstract: The present invention is related to the use of Botrytis cinerea strains, its spores, hyphae mycelium, sclerotia, intra and/or extracellular organic molecules, such as proteins, nucleic acids, polysaccharides, lipids and secondary metabolites for the biosynthesis of gold nanoparticles (AuNps). In general terms, the present invention is focused to use B. cinerea strains and/or molecules generated by this organism for the biological synthesis of AuNps, being then the field of application, the synthesis of nanomaterials, specifically AuNps using the phytopathogenic fungus B. cinerea and/or its intra or extracellular proteins purified individually or in combination thereof or any of other intra and/or extracellular molecule produced by this organism as a biological system of synthesis.
    Type: Application
    Filed: March 28, 2013
    Publication date: March 12, 2015
    Inventors: Miguel Castro Retamal, Antonio Castillo Nara
  • Patent number: 8434064
    Abstract: Methods of detecting memory errors using write integrity testing are described. In an embodiment, additional analysis is performed when a program is compiled. This analysis identifies a set of objects which can be written by each instruction in the program. Additional code is then inserted into the program so that, at runtime, the program checks before performing a write instruction that the particular object being written is one of the set of objects that it is allowed to write. The inserted code causes an exception to be raised if this check fails and allows the write to proceed if the check is successful. In a further embodiment, code may also be inserted to perform checks before indirect control-flow transfer instructions, to ensure that those instructions cannot transfer control to locations different from those intended.
    Type: Grant
    Filed: March 28, 2008
    Date of Patent: April 30, 2013
    Assignee: Microsoft Corporation
    Inventors: Periklis Akritidis, Manuel Costa, Miguel Castro
  • Patent number: 8354502
    Abstract: The invention relates to the production of bioactive products that are derived from milk proteins for the production of bioactive milk products derived from milk proteins, particularly caseins. The 16 inventive peptides can be obtained chemically, biotechnologically or by means of enzymatic treatment from proteins containing same and give rise to peptides with an antimicrobial activity, an in vitro angiotensin converter inhibitor activity and/or antihypertensive activity and/or antioxidant activity. Said nutraceutical products are suitable for use in the food and pharmaceutical industries, both in the form of a hydrolyzate or bioactive peptides.
    Type: Grant
    Filed: June 8, 2006
    Date of Patent: January 15, 2013
    Assignee: Consejo Superior de Investigaciones Cientificas
    Inventors: Isidra Recio Sanchez, Ana Quiros Del Bosque, Blanca Hernandez Ledesma, JoséAngel Gomez Ruiz, Marta Miguel Castro, Maria Lourdes Amigo Garrido, Ivan Lopez Exposito, Maria Mercedes Ramos Gonzalez, Amaya Aleixandre De Artiñano, Mar Contreras Gómez
  • Patent number: 8352797
    Abstract: Software fault isolation methods using byte-granularity memory protection are described. In an embodiment, untrusted drivers or other extensions to a software system are run in a separate domain from the host portion of the software system, but share the same address space as the host portion. Calls between domains are mediated using an interposition library and access control data is maintained for substantially each byte of relevant virtual address space. Instrumentation added to the untrusted extension at compile-time, before load-time, or at runtime and added by the interposition library enforces the isolation between domains, for example by adding access right checks before any writes or indirect calls and by redirecting function calls to call wrappers in the interposition library. The instrumentation also updates the access control data to grant and revoke access rights on a fine granularity according to the semantics of the operation being invoked.
    Type: Grant
    Filed: December 8, 2009
    Date of Patent: January 8, 2013
    Assignee: Microsoft Corporation
    Inventors: Richard John Black, Paul Barham, Manuel Costa, Marcus Peinado, Jean-Philippe Martin, Periklis Akritidis, Austin Donnelly, Miguel Castro
  • Patent number: 8316448
    Abstract: Methods and architectures for automatic filter generation are described. In an embodiment, these filters are generated in order to block inputs which would otherwise disrupt the normal functioning of a program. An initial set of filter conditions is generated by analyzing the path of a program from a point at which a bad input is received to the point at which the malfunctioning of the program is detected and creating conditions on an input which ensure that this path is followed. Having generated the initial set of filter conditions, the set is made less specific by determining which instructions do not influence whether the point of detection of the attack is reached and removing the filter conditions which correspond to these instructions.
    Type: Grant
    Filed: October 26, 2007
    Date of Patent: November 20, 2012
    Assignee: Microsoft Corporation
    Inventors: Marcus Peinado, Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang
  • Patent number: 8227207
    Abstract: The invention relates to the production of ovoproducts containing bioactive peptides from the egg white subjected to enzymatic treatment. Said peptides have an inhibiting activity of the angiotensin converting enzyme (ACE inhibiting activity) in vitro and/or anti-hypertensive activity in rats and/or antioxidant activity. Said ovoproducts, complete hydrolyzates, the fractions thereof with low molecular weight or their constituent peptides could be used as therapeutic substances with ACE inhibiting activity and/or anti-hypertensive activity and/or anti-oxidant activity, either as functional food products, food additives or ingredients or pharmaceutical products for the treatment and/or prevention of hypertension in all its forms in humans or animals and for the treatment and/or prevention of any disorder associated with hypertension in humans or animals.
    Type: Grant
    Filed: January 30, 2006
    Date of Patent: July 24, 2012
    Assignee: Consejo Superior de Investigaciones Cientifcas
    Inventors: Marta Miguel Castro, Rosina Lopez-Alonso Fandiño, Maria Isidra Recio Sanchez, Maria Mercedes Ramos Gonzalez, Amaya Aleixandre De Artiñano
  • Patent number: 8122436
    Abstract: Methods and apparatus for generating error reports with enhanced privacy are described. In an embodiment the error is triggered by an input to a software program. An error report is generated by identifying conditions on an input to the program which ensure that, for any input which satisfies the conditions, the software program will follow the same execution path such that the error can be reproduced. The error report may include these conditions or may include a new input generated using the conditions.
    Type: Grant
    Filed: November 16, 2007
    Date of Patent: February 21, 2012
    Assignee: Microsoft Corporation
    Inventors: Manuel Costa, Miguel Castro, Jean-Philippe Martin