-
公开(公告)号：US11983513B2
公开(公告)日：2024-05-14
申请号：US18201535
申请日：2023-05-24
Applicant: MICROSOFT TECHNOLOGY LICENSING, LLC.
Inventor： Colin Bruce Clement , Shuai Lu , Neelakantan Sundaresan , Alexey Svyatkovskiy , Duyu Tang
IPC: G06F8/33 , G06F8/41 , G06F18/211 , G06F18/213 , G06N3/088
CPC classification number: G06F8/33 , G06F8/44 , G06F18/211 , G06F18/213 , G06N3/088
Abstract: A neural transformer model with attention is trained to predict candidates to complete a line of source code with a zero-inference capability. The model is trained on an unsupervised training dataset that includes features from source code written in multiple programming languages. The features include a file-level context and a local context, where the file-level context includes a global context, a class context, a function context, and/or a method context for each class, function and/or method of the source code programs used in the training dataset. The local context includes method bodies, function bodies, and/or stand-alone code of main method routines. From these features, the model is able to learn to predict an ordered sequence of code elements that complete a line of source code in a programming language seen and not seen during training.
-
公开(公告)号：US20240045792A1
公开(公告)日：2024-02-08
申请号：US18482772
申请日：2023-10-06
Inventor： Shaktiraj Chauhan , Nate Shepherd
CPC classification number: G06F11/3688 , G06F11/3684 , G06F8/44 , G06F8/70
Abstract: In association with unit and integration testing of a software application, a test conflict guard can detect whether test cases are independent and use distinct database data, or are related or dependent test cases that use the same database data. The test conflict guard can detect any related or dependent test cases in a group of test cases, which may cause testing errors if executed in different parallel threads. The test conflict guard can accordingly block test execution until the group of test cases are verified as independent test cases.
-
公开(公告)号：US11860772B2
公开(公告)日：2024-01-02
申请号：US18070120
申请日：2022-11-28
Inventor： Shaktiraj Chauhan , Nate Shepherd
CPC classification number: G06F11/3688 , G06F8/44 , G06F11/3684 , G06F11/3692 , G06F16/2343
Abstract: Test cases written to test a software application can be dynamically distributed among different sets of test cases that can be executed simultaneously in different parallel threads, thereby speeding up testing relative to executing the test cases sequentially in a single thread. To avoid database conflicts that may occur when different test cases in different parallel threads attempt to access the same database simultaneously, testing of the software application can be performed in association with a record-locking database that locks database records individually instead of locking entire database tables or locking data structures that are larger than individual records. Locking individual database records can reduce and/or eliminate the chances that a test case in one parallel thread will be unable to access a record in the database because another test case in another parallel thread is simultaneously accessing the same database.
-
公开(公告)号：US20230376290A1
公开(公告)日：2023-11-23
申请号：US18319339
申请日：2023-05-17
Applicant: Oracle International Corporation
Inventor： Christian Humer , Daniele Bonetta
IPC: G06F8/41
CPC classification number: G06F8/44
Abstract: Domain specific inlining for interpreters includes obtaining an interpreter source code including compiler directives. A host compilation is performed on the interpreter source code to obtain a compiled interpreter. Performing host compilation includes inlining code blocks based on the plurality of compiler directives. The compiled interpreter is outputted.
-
公开(公告)号：US11817209B2
公开(公告)日：2023-11-14
申请号：US16997752
申请日：2020-08-19
Applicant: Rune Labs, Inc.
Inventor： Brian Marc Pepin , Miroslav Tchavdarov Kotzev
IPC: G06Q10/00 , G16H40/40 , G16H40/67 , G16H20/10 , G16H20/30 , G06F8/41 , G06F8/60 , A61N1/372 , G16H50/20 , G16H10/60
CPC classification number: G16H40/40 , A61N1/37264 , G06F8/44 , G06F8/60 , G16H20/10 , G16H20/30 , G16H40/67 , G16H50/20 , G16H10/60
Abstract: Methods and systems are provided for generating specific software implementations of neuromodulation-therapy algorithms. A dataset may be received that includes operational specifications that correspond to a plurality of types of neuromodulation-therapy implant devices. A neuromodulation-therapy design interface may provide a representation of the neuromodulation-therapy implant device. A selection if a particular representation of a particular neuromodulation-therapy implant device may be received. Hardware characteristics of the particular neuromodulation-therapy implant device may be used to determine constraints of the implant device. A listing of neuromodulation-therapy parameters that is constraining according to the constraints may be presented. In response to a selection of a parameter, executable software code corresponding to a specific implementation of a neuromodulation-therapy algorithm may be generated. The executable software code may be transmitted to a computing device compatible with the specific implementation.
-
公开(公告)号：US11809897B2
公开(公告)日：2023-11-07
申请号：US17107690
申请日：2020-11-30
Applicant: RED HAT, INC.
Inventor： Arie Bregman , Ilan Gersht
IPC: G06F9/48 , G06F9/451 , G06F3/0486 , G06F8/41
CPC classification number: G06F9/4843 , G06F3/0486 , G06F8/44 , G06F9/451
Abstract: The technology disclosed herein enables presenting, via a user interface, one or more builds, wherein each build comprises one or more first software build operations, and at least one first software build operation is currently executing, presenting, via the user interface, one or more computing jobs, wherein each job comprises one or more second software build operations, receiving, via the user interface, an input associating a job selected from the one or more jobs with a build selected from the one of the builds, and responsive to receiving the input, scheduling, execution of the second software build operations to occur in response to a completion of execution of the first software build operations. The input may be, for example, a drag-and-drop operation between the job and the build.
-
公开(公告)号：US11797429B2
公开(公告)日：2023-10-24
申请号：US17486682
申请日：2021-09-27
Inventor： Andrew L Pearson , Nate Shepherd
CPC classification number: G06F11/3688 , G06F8/30 , G06F8/44 , G06F11/3676 , G06F11/3692
Abstract: Mutation testing can indicate whether mutants of a software application, created by intentionally altering source code of the software application, are successfully “killed” by test cases executed against the mutants. Mutation testing can be performed via parallel threads by, within each parallel thread, modifying individual source code class files and recompiling the modified class files to generate and test mutants. Individual mutation test results produced within each of the parallel threads can be aggregated to generate an aggregated test result report that indicates overall testing metrics associated with the mutation testing across the parallel threads.
-
公开(公告)号：US11797317B1
公开(公告)日：2023-10-24
申请号：US17548225
申请日：2021-12-10
Applicant: Amazon Technologies, Inc.
Inventor： Sean McLaughlin , Tongtong Xiang , Matthias Schlaipfer , Neha Rungta , Serdar Tasiran , John Byron Cook , Michael William Whalen
CPC classification number: G06F9/44589 , G06F8/44 , G06F8/60 , G06F11/3608 , G06F11/3612
Abstract: A software development process may support a transition from unverifiable, legacy code to verifiable code that is provably correct by construction. A behavioral model may be developed for legacy software that includes various behavioral criteria. Then, source code implemented in a verifiable language may be verified using the behavioral model to perform verification. Once the source code is complete and verified, a new verified implementation may be compiled. The verified implementation may then be executed, along with the legacy software, to identify differences in behavior which are fed back into the behavioral model and subsequently into the new source code. This process may then be iterated with the verifiable code being deployable once behavioral differences are resolved.
-
9.发明公开
公开(公告)号：US20230318805A1
公开(公告)日：2023-10-05
申请号：US18134276
申请日：2023-04-13
Applicant: nChain Licensing AG
Inventor： Alexandra COVACI , Simone MADEO , Patrick MOTYLINSKI , Stephane VINCENT
IPC: H04L9/06 , H04L9/32 , H04L9/40 , G06F8/41 , G06F9/445 , G06Q20/40 , G06F16/27 , H04L9/30 , G06Q20/06
CPC classification number: H04L9/0618 , H04L9/0643 , H04L9/3218 , H04L9/3263 , H04L63/12 , G06F8/447 , G06F8/451 , G06F9/44521 , G06Q20/405 , G06F16/27 , H04L9/0637 , H04L9/3236 , G06Q20/401 , G06F8/44 , H04L9/30 , H04L9/3239 , H04L9/3247 , G06Q20/065 , H04L9/3066 , H04L2209/34 , H04L2209/56 , H04L9/50
Abstract: The invention relates to distributed ledger technologies such as consensus-based blockchains. A blockchain transaction may include digital resources that are encumbered by a locking script that encodes a set of conditions that must be fulfilled before the encumbered resources may be used (e.g., transferring ownership/control of encumbered resources). A worker (e.g., a computer system) performs one or more computations to generate a proof, which is encoded as part of an unlocking script. A verification algorithm may utilize the proof, a verification key, and additional data such as a cryptographic material associated with the worker (e.g., a digital signature) to verify that digital assets of the transaction should be transferred. As a result of the validation of this transaction, any third party is able to check the contract was executed corrected rather than re-executing the contract, thus saving computational power.
-
公开(公告)号：US11749276B2
公开(公告)日：2023-09-05
申请号：US17504733
申请日：2021-10-19
Applicant: Microsoft Technology Licensing, LLC
Inventor： Rene Huangtian Brandel , Jason Eric Voldseth , Biao Kuang
CPC classification number: G10L15/22 , G06F3/167 , G06F8/44 , G10L15/30 , G10L2015/223
Abstract: Various embodiments discussed herein enable applications to seamlessly contribute to executing voice commands of users via voice assistant functionality. In response to receiving a user request to open an application or web page, the application can request and responsively receive a voice assistant runtime component along with the application or web page. The application, using a particular universal application interface component can compile or interpret the voice assistant runtime component from a source code format to an intermediate code format. In response to the application or web page being rendered and the detection of a key word or phrase, the application can activate voice assistant command execution functionality. The user can issue a voice command after which the application along with specific services can help execute the voice command.
