-
公开(公告)号：US20240311091A1
公开(公告)日：2024-09-19
申请号：US18597822
申请日：2024-03-06
申请人： THALES
IPC分类号： G06F8/30
CPC分类号： G06F8/31
摘要： A method for automatically generating a sequence of Nmax instructions in assembly language, the sequence being executable error-free by a multi-core processor, the method comprising steps of: initializing registers of the processor, then selecting a first instruction of the predetermined sequence, optionally at random; and selecting an N+1th instruction among an instruction to read from a memory connected to the cores of the processor by a memory bus, an instruction to write to said memory, and a local instruction using only the registers of the processors, according to rules and to priorities between the rules, the rules using respective differences between statistical-metric values of statistical metrics of a memory access pattern of the sequence of N previous instructions having statistical-metric values, and setpoint values.
-
公开(公告)号：US12093666B2
公开(公告)日：2024-09-17
申请号：US17648281
申请日：2022-01-18
发明人： Jason Lucas , Abhishek Sharma
IPC分类号： G06F9/46 , G06F8/30 , G06F8/34 , G06F8/35 , G06F8/40 , G06F9/448 , G06F9/48 , G06F11/36 , G06F16/9535
CPC分类号： G06F8/35 , G06F8/31 , G06F8/34 , G06F8/40 , G06F9/4498 , G06F9/48 , G06F11/3664 , G06F11/3668 , G06F16/9535
摘要： An efficient state-machine-based pattern matching technique processes tokens in an input queue and identifies patterns in the sequence of tokens that match one or more predetermined input patterns without backtracking. Tokens can include data or no data and a time component. The tokens can be a stream of data generated by a sensor, which transforms a physical property into a digital quantity. The pattern matching technique processes the input queue in a single direction, and does not examine any previously examined token. In an implementation, specific patterns to be matched are specified using a state machine, where the state machine is specified in a state table and operates using a state stack.
-
公开(公告)号：US20240296044A1
公开(公告)日：2024-09-05
申请号：US18176607
申请日：2023-03-01
发明人： Stephen James Day , Akhil Acharya , Bianca Tamayo , Ian Chiles , Andrew Lee , Victor Robertson , Chun-Shao Chu
摘要： An infrastructure system facilitates trace-based surveys to query users their experiences with pull request workflows. For example, the infrastructure system may receive from a client device associated with a user a pull request for making one or more changes to a programming code repository. The infrastructure system may generate a trace based on a pull request workflow including operations for making the change(s). The trace includes spans, each of which correspond to one or more operations in the pull request workflow. The infrastructure system generates log files, each log file includes data logged during the one or more operations of a span. The log files may be stored as a dataset of the trace. The infrastructure system may transmit a survey to the client device based on the dataset. The infrastructure system may also modify the pull request workflow based on the user's response to the survey.
-
公开(公告)号：US20240296021A1
公开(公告)日：2024-09-05
申请号：US18662900
申请日：2024-05-13
摘要： A computer-implemented method that effectively replaces ‘programming code’ in conveying application or solution logic to the computer using a natural language-based design. Without taking any reference to alien symbols or keywords, NSL uses standard and familiar natural-language-like constructs (any natural language, not just English) using a computer-implemented method to technically convey complex operating, application, and solution logic to the machine agents (computers) in a user-friendly way. Using the same computer-implemented methodologies, it has the power to translate or reverse engineer all existing programming code into NSL. Fundamentally, NSL requires no ‘programming code’ expertise. Users can quickly and easily convey the logic directly to the computer or recruit available solution components with ease. In addition, the elimination of artificial barriers between information and processes, and merging them, solution logic embedded in computer programs and applications is brought into the purview of information search principles.
-
公开(公告)号：US20240296019A1
公开(公告)日：2024-09-05
申请号：US18662832
申请日：2024-05-13
摘要： A computer-implemented method that effectively replaces ‘programming code’ in conveying application or solution logic to the computer using a natural language-based design. Without taking any reference to alien symbols or keywords, NSL uses standard and familiar natural-language-like constructs (any natural language, not just English) using a computer-implemented method to technically convey complex operating, application, and solution logic to the machine agents (computers) in a user-friendly way. Using the same computer-implemented methodologies, it has the power to translate or reverse engineer all existing programming code into NSL. Fundamentally, NSL requires no ‘programming code’ expertise. Users can quickly and easily convey the logic directly to the computer or recruit available solution components with ease. In addition, the elimination of artificial barriers between information and processes, and merging them, solution logic embedded in computer programs and applications is brought into the purview of information search principles.
-
公开(公告)号：US12073291B2
公开(公告)日：2024-08-27
申请号：US17450584
申请日：2021-10-12
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Tal Goren , Adam Goldfeld , Nir Minerbi
摘要： A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block, wherein the functional block defines an operation of the quantum circuit over at least two cycles; selecting from a function library an implementation for the functional block, wherein the function library comprises a plurality of alternative implementations of the functional block, wherein each implementation of the plurality of alternative implementations is configured to provide a same functionality of the functional block and is applicable to a quantum computer to be used for executing the quantum circuit; and generating a gate-level representation of the quantum circuit that comprises the implementation for the functional block.
-
公开(公告)号：US20240281269A1
公开(公告)日：2024-08-22
申请号：US18410728
申请日：2024-01-11
发明人： Naoya SATO
CPC分类号： G06F9/45508 , G06F8/315
摘要： According to one embodiment, a computer includes a CPU and a storage device. The storage device stores an operating system that executes a bytecode without optimization for an extended ISA supported by the CPU unless the extended ISA is designated in a command line argument for executing the bytecode. The storage device further stores a correspondence table showing a correspondence between a value of an extension field indicating the extended ISA and the command line argument enabling optimization corresponding to the extended ISA. A program in the storage device is configured to cause the CPU to acquire an ISA supported by the CPU, acquire the extended ISA from the ISA, refer to the correspondence table to acquire the command line argument associated with the extended ISA, and then automatically include the command line argument associated with the extended ISA when executing the bytecode.
-
公开(公告)号：US20240281224A1
公开(公告)日：2024-08-22
申请号：US18424584
申请日：2024-01-26
发明人： Sridhar Vembu , Akshhayaa S , Joseph Sathya Kumar , Balamurugan K E , Suresh Kumar R , Mohamed Ismail Kaja Mydeen , Ramesh Kumar Govindaraj , Siba Mishra , Vanaja Ramaswamy , Padma J , Shalini Lakshmi A J , Sudheer A. Grandhi
摘要： Construct-modification tags conveying development-phase compiler requests are introduced into source code to facilitate communication between developers, identify areas that need developer attention, send directives to a compiler, and other development features in an integrated development environment, during the software development phase. A hierarchy of developers and associated permissions is maintained. A tag may be associated with one or more developers as well as one or more permissions. Notifications associated with tags may be issued to one or more developers in response to a conveyed compiler request. General messages to all the developers and personalized messages to one or more developers indicate the presence of tags and need to resolve issues before the software development process enters the production phase.
-
公开(公告)号：US20240281217A1
公开(公告)日：2024-08-22
申请号：US18434792
申请日：2024-02-06
发明人： Tzu-Hai Chung , Chun-Yi Lee , Yung-Feng Lin , Chia-Chun Chang
IPC分类号： G06F8/30
CPC分类号： G06F8/31
摘要： A projector and a control method are provided. The projector includes a control unit, a storage medium, and a projection module. The control unit includes a script interpreter. The control method includes: detecting whether a first script is stored in the storage medium by the control unit when the projector is in an operation state, in which the first script includes a first script language instruction; interpreting the first script through the script interpreter so as to obtain the first script language instruction in response to the first script being stored in the storage medium; and configuring a display parameter of the projection module according to the first script language instruction, in which the projection module plays a multimedia file according to the display parameter.
-
公开(公告)号：US12061885B2
公开(公告)日：2024-08-13
申请号：US17484504
申请日：2021-09-24
发明人： Yi Jiang , Yongjian Chen , Chao Zhang , Junmin Zhao , Yan Zhang
CPC分类号： G06F8/51 , G06F8/315 , G06F8/434 , G06F9/4552
摘要： A compilation method includes obtaining a source program code. The source program code includes a first function in a first language code and a second function in a second language code. The first language code is a native language. The second language code is a non-native language. The method also includes generating a third language code based on the source program code. The third language code includes a third function, a fourth function and a fifth function. The third function is generated based on the first function. The fourth function is generated based on the second function. The fifth function is generated based on the first function and the second function. Executing the third function invokes the fourth function via the fifth function.
-
-
-
-
-
-
-
-
-
搜索结果
2455 条记录 (耗时 0.029 秒)
