Product
Feature
Quick Research
Generate reliable direction feasibility study reports for your R&D in just a few steps.
Technical Q&A
Discover and master advanced knowledge NOW. Basics, ideas, possibilities, all at once.
Find Solutions
As an expert in R&D theories, this can generate solutions to your technical problems instantly.
Evaluate Feasibility
Analyze your overall solution with one click, know your potential R&D risks in advance.
Monitor Landscape
Get weekly tech updates, stay abreast of the latest tech innovations and key insights.
Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
32 results about "Functional programming" patented technology
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data. It is a declarative programming paradigm in that programming is done with expressions or declarations instead of statements. In functional code, the output value of a function depends only on its arguments, so calling a function with the same value for an argument always produces the same result. This is in contrast to imperative programming where, in addition to a function's arguments, global program state can affect a function's resulting value. Eliminating side effects, that is, changes in state that do not depend on the function inputs, can make understanding a program easier, which is one of the key motivations for the development of functional programming.
Thermostat system with touchscreen with user interfaces or operational algorithms via a remote correspondent
ActiveUS7232075B1Facilitate intuitive programmingStatic indicating devicesTemperatue controlGraphicsCommunication interface
A thermostat system includes a temperature sensor, an LCD for selectively displaying alphanumeric and graphic devices on a touchscreen with virtual buttons, a processor having a memory for storing program and data information, and means for establishing communication with a remote correspondent. In one embodiment, the communication from the remote correspondent includes functional programming adding functions or virtual buttons to the thermostat not previously available to it. A communications interface connects the processor and a remote correspondent which is a source of functional programming.
Owner:ROSEN TECH LLC
System, method and computer program product for providing a fare analytic engine
An exemplary embodiment of a system, method and / or computer program product for creating a fare analytic database, may include: receiving, by at least one processor, fare(s) and fare related data; and creating a graph database of the fare(s) and fare related data; where the creating may include: creating one or more node(s) of the graph database representing at least one component of the fare and fare related data; creating one or more relationship(s) between a plurality of the nodes; and applying at least one property to the node(s) and the relationship(s). A fare analytic engine may further incorporate the database, and the engine may process queries traversing the database for fare and fare related data; and functional programming methods may be used to generate Boolean byte code routines from fare restrictions, according to exemplary embodiments disclosed.
Owner:AIRLINE TARIFF PUBLISHING COMPANY
Automatic derivative method for a computer programming language
Owner:PURDUE RES FOUND INC +1
Platform and method for functional programming (FP) processing
A system and method are provided for enabling an efficient processing environment for a functional programming language runtime machine. Separate processors are provided for the main FP processor and the garbage collector as well as separate access to the heap. The routine maintenance performed by the garbage collector does not compete for resources of the main FP processor. The processor implementation for the main FP processor also includes a separate bus to each of the program memory, the heap, and the stacks.
Owner:WSOU INVESTMENTS LLC
Method for information tracking in multiple interdependent dimensions
InactiveUS20090193492A1Easy to useMaintain validityComputer security arrangementsSpecial data processing applicationsSecurity policyData mining
A method for information flow tracking is provided using, for example, a functional programming language based on lambda calculus, λI. The method provides a unified information-tracking framework that supports multiple, interdependent dimensions of information. An expressive policy-specification system is separated from the underlying information-flow tracking mechanism. Arbitrary domain-specific policies are supported that can be developed and enforced independent of information flow tracking. Information-flow metadata is treated as a first-class entity, and information flow is correctly tracked on the metadata itself. Classes of information flow polices are defined using multiple dimensions that are application to both information flow data and to the information flows themselves. These classes of polices accurately model more realistic security policies, based on partial trust relations. Therefore, multiple interdependent dimensions of information are simultaneously tracked and enforced within the framework of the information flow tracking system.
Owner:IBM CORP
Platform and method for functional programming (FP) processing
InactiveUS7613753B2Special data processing applicationsMemory systemsWaste collectionEmbedded system
Owner:WSOU INVESTMENTS LLC
Bi-directional display
InactiveUS7120900B2Model is usedInput/output for user-computer interactionText processingText displayDisplay Order
A bidirectional text display method embodied in a functional programming language which first assigns bidirectional attributes to a logical character stream. Next, through explicit processing, level numbers are assigned, honoring any directional overrides present in the logical character stream. Subsequent weak and neutral type processing potentially causes attribute types to change based upon surrounding attribute types. Then, implicit processing assigns final level numbers to the stream which control reordering. Finally, reordering processing produces a sequence of characters in display order. By separating the facets of layout dealing with reordering from those that are concerned with rendering, such as line breaking, glyph selection, and shaping, the Haskell-based method is more discernible and comprehendable, thereby allowing it to be more useful as a model upon which others may base bidirectional implementations.
Owner:IBM CORP
Functional programming in distributed computing
ActiveUS20150304420A1Simple conceptProgram controlProgram/content distribution protectionFunctional logic programmingComputing systems
Owner:MICROSOFT TECH LICENSING LLC
Method for Implementing a Medical Informatics System Based on a Computer Executable Health Narrative Coding System
InactiveUS20100131923A1Improve the level ofData processing applicationsDigital data processing detailsInformaticsMedical treatment
The present invention provides a method for implementing a medical informatics system. The method comprises the step of creating one or more named medical objects having attributes and behaviours, each object being implemented as an object in an object oriented programming paradigm, a function in a functional programming paradigm or an equivalent entity in a hybrid functional / object oriented programming paradigm, wherein the or each medical object name is derived from an algorithmic transformation of a description key assigned to a corresponding medical concept in a medical coding or classification system into an explicit health code, the named medical object having the attributes and behaviours of the corresponding medical concept, the composition of explicit health codes and medical objects derived therefrom being suitable for computer representation of medical narratives.
Owner:OON YEONG KUANG
System and method for structuring information
InactiveUS20100268769A1Digital data processing detailsMultiple digital computer combinationsData flow programmingMathematical logic
The present invention provides a novel computer system that synthesizes object programming, functional programming, data-flow programming, mathematical logic and cognitive modeling. The synthesis allows a system to exist which provides for close alignment among the manner in which a user interacts with a system, how that interaction is logically parsed, how set-theoretic composition of the logic results, how that set-theoretic algorithm builds functional reactive flows and how those flows are structured for display to a user.
Owner:GORANSON H TED
Multi-task compiling method based on graphical guarded command calculation
The invention provides a multi-task compiling method based on graphical guarded command calculation and relates to a method for automatically compiling and generating executable multi-task Ada / C codesthrough graphical guarded command calculation GCC_graph. For a GCC_graph program input by a designer, a compiler automatically compiles the program to generate a corresponding executable multi-task Ada / C code. All functions of the compiler are achieved through programming by use of a functional programming language CAML, and since CAML is a secure language, a CAML program is verified by a self-compiler before execution. Besides, the designed compiler adopts a modular structure, and once a program changes, we only need to modify the code of a corresponding module.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Method for supporting large scale parallel distributed computation through functional programming model
The invention discloses a method for supporting large scale parallel distributed computation through functional programming model. The method comprises the following steps: firstly, converting realization codes to function formulae based on process; then, eliminating the edge effect of functions; establishing fork and forkout functions; conducting simulated implementation process, in the event of function call, converting the function call to use functions and the parameters thereof as parameters, and introducing pseudo-call function; carrying out call relations of stain acquired functions to function call through adopting the infection characterization of VOLD; producing a series of function implementation sequences when reaching the terminal of the procedure; conducting distributed computation for one time by the implementation sequences and the parameters; and buffering the result and conducting second implementation to the code, in the process, in the event of function call, directly returning to the buffered data. The invention realizes the distribution and scheduling implementation computation of functions through establishing a model which can automatically dividing induction problems based on the general purpose language, and is suitable for applying in a large-scale distributed system.
Owner:NANJING UNIV
High-level comprehensive method and system for graph calculation
ActiveCN110750265AImprove parallelismEnhanced description abilityCode compilationData streamModularity
The invention discloses a high-level comprehensive method and system for graph calculation, and belongs to the field of big data processing, and the method comprises the steps: (1) generating a graphcalculation program according to a functional programming model taking a point as a center; (2) specifying architecture parameters and micro-architecture parameters by adding an optimization instruction; (3) compiling a graph calculation program into modular data flow intermediate representation according to the data flow graph and the optimization instruction; (4) according to a mapping relationship between the IR module and the hardware template, mapping the intermediate representation of the data stream to a bottom-layer architecture, and instantiating an assembly line and a buffer area inthe hardware template; (5) if the instantiated parameterized hardware templates and the overall architecture meet constraint conditions, turning to the step (6); otherwise, turning to the step (3) after modifying the optimization instruction; and (6) generating a hardware language code which can be synthesized. Effective support can be provided for generating a graph application RTL from an upper-layer language, so that the execution parallelism degree of graph calculation on an FPGA is improved.
Owner:HUAZHONG UNIV OF SCI & TECH
EDA development platform based on Python language and use method thereof
ActiveCN109885902AImprove abstract abilityImprove design efficiencySpecial data processing applicationsCreation/generation of source codePython languageSimulation testing
The invention discloses an EDA development platform based on a Python language and a use method thereof. The development platform comprises a Python-based hardware description class library, a P2F interpreter for interpreting Python scripts, an FIRRTL language middle representation layer, an F2V interpreter for interpreting the FIRRTL language and a Veriator simulation tool for simulation testing.According to the invention, by adding an interpreter of Python language and FIRRTL language, and fully utilizing the characteristics that the Python language faces the object, supports the functionalprogramming, the polymorphism, the operator reloading, the multi-inheritance and the like, a user of the development platform can directly use the Python language to realize hardware description andtesting of the FPGA / ASIC chip, and the EDA development efficiency is greatly improved.
Owner:SOUTH CHINA UNIV OF TECH
Tree model task management system applied to functional programming
InactiveCN108509284AProgram initiation/switchingInterprogram communicationRelationship - FatherData management
The invention discloses a tree model task management system applied to functional programming. The tree model task management system comprises function model representation of functional programming,a task management system and a data management system. After a tree model for representing the functional programming is analyzed by a computer, the task management system creates task nodes accordingto a tree structure, and performs runtime management on the task nodes; and data needed to be read during task running, and output data are subjected to unified allocation and management by the datamanagement system. According to the system, tasks during running are managed by the tree structure, namely, during task running, a running sequence of the tasks is scheduled according to a dependencyrelationship of the tree structure, and a sub-task is created for each tree node; when the sub-task is finished, an output of the sub-task is transmitted to a father node task to serve as an input, and the father node task is aroused to continue executing operation; father nodes have the dependency relationship according to a function connection relationship; and non-lineal relational tree nodes do not have the dependency relationship and can be executed as parallel computing tasks.
Owner:SOUTH CHINA UNIV OF TECH
Bi-directional Display
InactiveUS20070008331A1Model is usedInput/output for user-computer interactionText processingText displayGlyph
A bidirectional text display method embodied in a functional programming language which first assigns bidirectional attributes to a logical character stream. Next, through explicit processing, level numbers are assigned, honoring any directional overrides present in the logical character stream. Subsequent weak and neutral type processing potentially causes attribute types to change based upon surrounding attribute types. Then, implicit processing assigns final level numbers to the stream which control reordering. Finally, reordering processing produces a sequence of characters in display order. By separating the facets of layout dealing with reordering from those that are concerned with rendering, such as line breaking, glyph selection, and shaping, the Haskell-based method is more discernible and comprehendable, thereby allowing it to be more useful as a model upon which others may base bidirectional implementations.
Owner:INT BUSINESS MASCH CORP
System, method and computer program product for providing a fare analytic engine
An exemplary embodiment of a system, method and / or computer program product for creating a fare analytic database, may include: receiving, by at least one processor, fare(s) and fare related data; and creating a graph database of the fare(s) and fare related data; where the creating may include: creating one or more node(s) of the graph database representing at least one component of the fare and fare related data; creating one or more relationship(s) between a plurality of the nodes; and applying at least one property to the node(s) and the relationship(s). A fare analytic engine may further incorporate the database, and the engine may process queries traversing the database for fare and fare related data; and functional programming methods may be used to generate Boolean byte code routines from fare restrictions, according to exemplary embodiments disclosed.
Owner:AIRLINE TARIFF PUBLISHING COMPANY
Method for information tracking in multiple interdependent dimensions
InactiveUS8695056B2Maintain validityEasy to useMemory loss protectionDigital data processing detailsData miningSecurity policy
A method for information flow tracking is provided using, for example, a functional programming language based on lambda calculus, λI. The method provides a unified information-tracking framework that supports multiple, interdependent dimensions of information. An expressive policy-specification system is separated from the underlying information-flow tracking mechanism. Arbitrary domain-specific policies are supported that can be developed and enforced independent of information flow tracking. Information-flow metadata is treated as a first-class entity, and information flow is correctly tracked on the metadata itself. Classes of information flow polices are defined using multiple dimensions that are application to both information flow data and to the information flows themselves. These classes of polices accurately model more realistic security policies, based on partial trust relations. Therefore, multiple interdependent dimensions of information are simultaneously tracked and enforced within the framework of the information flow tracking system.
Owner:INT BUSINESS MASCH CORP
Representation and analysis of workflows using abstract syntax trees
A workflow for an operational process may be defined using a functional programming language. A computer system may parse the workflow to generate an abstract syntax tree, which may include states of the workflow and transitions from one workflow state to another. The computer system may generate code paths from the abstract syntax tree representing sequences of execution. Reflection on the workflow may be performed using the abstract syntax tree and code paths to allow intelligent decision-making.
Owner:CHALDAL INC
C + + interprocess anomaly analysis system and method based on high-order function
PendingCN114647575AImprove reliabilityImprove robustnessProgram initiation/switchingSoftware testing/debuggingControl flowCall graph
The invention discloses a C + + interprocess anomaly analysis system and method based on a high-order function in the technical field of functional programming and program analysis, and the method comprises the steps: determining an analysis sequence of each called sub-process in a process call graph, and classifying statements in a C + + program; collecting set constraints of exception related statements and function call statements of each called sub-process, solving the set constraints according to a set constraint rule, and storing exception analysis results of all the called sub-processes as an exception analysis function abstract in a high-order function form after obtaining exception analysis information in the process; and correspondingly substituting parameter set information of the high-order functional expression anomaly analysis function abstract at a process calling point according to a parameter transmission mode of the function and parameter information corresponding to the formal parameter and the actual parameter. According to the method, the space-time overhead of performing interprocess analysis on the exceptions by constructing an interprocess exception control flow diagram in a traditional method is reduced, and the problem that the exception analysis efficiency is relatively low is solved.
Owner:NANJING UNIV OF POSTS & TELECOMM
Functional programming in distributed computing
ActiveUS9338234B2Program controlProgram/content distribution protectionFunctional logic programmingDistributed computing
Disclosed herein are systems and methods for executing programs written in functional style. A distributed computing system receives a program that expresses computation upon one or more sets of distributed key-value pairs (DKVs) and one or more global variables (GVs). The system distributes an assembly that includes at least a compiled binary of the program to the nodes of a computing cluster, with different portions of the DKVs being stored across the plurality of nodes of the computing cluster. The system causes execution of the assembly by each of the plurality of nodes of the computing cluster, the ones of the plurality of nodes executing the assembly using the different portions of the one or more DKVs stored thereon.
Owner:MICROSOFT TECH LICENSING LLC
A high-level synthesis method and system for graph-oriented computing
ActiveCN110750265BImprove parallelismEnhanced description abilityCode compilationData streamDegree of parallelism
Owner:HUAZHONG UNIV OF SCI & TECH
Apparatus and method for functional programming display
The invention provides a device for programming the functions of a monitor, which comprises a memory, a program code programming device and a program code checking module. The memory is used for storing program codes. The program code programming device is coupled with the memory and used for reading a program code with a preset length from the memory, and the program code with a preset length ispart of the program codes. The program code checking module is coupled with the program code programming device and used for checking whether the program code with a preset length conforms to a preset state and generating a control signal; and the program code programming device is controlled by the control signal to determine whether the program code with a preset length is to be written into the memory of a monitor.
Owner:MEDIATEK INC
System decomposition via evolutionary programming
A technique for generating good system decompositions is disclosed. The illustrative embodiment uses evolutionary programming in combination with a fitness function to generate a system decomposition that has a low degree of coupling and a high degree of coherence. A system is represented by an object-oriented specification using the Unified Modeling Language (UML); the UML specification is then represented by an eXtended Markup Language (XML) document, and the contents of the document are transformed into a nested-list data structure that resembles source code in a functional programming language such as Common LISP. The nested-list data structure and an appropriate fitness function are input to an evolutionary programming engine that operates on the nested-list data structure as though it were a source code program, and generates an output source code program. A system decomposition is then derived from the output source code program.
Owner:LOCKHEED MARTIN CORP
A Multi-task Compiler Method Based on Graphical Guardian Command Calculus
The present invention is a kind of multi-task compiling method based on graphical guard-style command calculus, relates to a graphical guard-style command calculus GCC_graph automatic compiling method to generate executable multi-task Ada / C code, for the GCC_graph program input by the designer, the The compiler automatically compiles it to generate the corresponding executable multi-task Ada / C code. All the functions of the compiler are implemented by the functional programming language CAML programming. Since CAML is a safe language, the CAML program is verified by its own compiler before execution. In addition, the compiler designed by the present invention uses a modular structure, once the program changes, we only need to modify the code of the corresponding module.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Method for supporting large scale parallel distributed computation through functional programming model
The invention discloses a method for supporting large scale parallel distributed computation through functional programming model. The method comprises the following steps: firstly, converting realization codes to function formulae based on process; then, eliminating the edge effect of functions; establishing fork and forkout functions; conducting simulated implementation process, in the event offunction call, converting the function call to use functions and the parameters thereof as parameters, and introducing pseudo-call function; carrying out call relations of stain acquired functions tofunction call through adopting the infection characterization of VOLD; producing a series of function implementation sequences when reaching the terminal of the procedure; conducting distributed computation for one time by the implementation sequences and the parameters; and buffering the result and conducting second implementation to the code, in the process, in the event of function call, directly returning to the buffered data. The invention realizes the distribution and scheduling implementation computation of functions through establishing a model which can automatically dividing induction problems based on the general purpose language, and is suitable for applying in a large-scale distributed system.
Owner:NANJING UNIV
Representation and analysis of workflows using abstract syntax trees
A workflow for an operational process may be defined using a functional programming language. A computer system may parse the workflow to generate an abstract syntax tree, which may include states of the workflow and transitions from one workflow state to another. The computer system may generate code paths from the abstract syntax tree representing sequences of execution. Reflection on the workflow may be performed using the abstract syntax tree and code paths to allow intelligent decision-making.
Owner:CHALDAL INC
An eda development platform system based on python language and its usage method
ActiveCN109885902BImprove abstract abilityImprove design efficiencyComputer aided designSpecial data processing applicationsPython languageSimulation testing
The invention discloses an EDA development platform based on a Python language and a use method thereof. The development platform comprises a Python-based hardware description class library, a P2F interpreter for interpreting Python scripts, an FIRRTL language middle representation layer, an F2V interpreter for interpreting the FIRRTL language and a Veriator simulation tool for simulation testing.According to the invention, by adding an interpreter of Python language and FIRRTL language, and fully utilizing the characteristics that the Python language faces the object, supports the functionalprogramming, the polymorphism, the operator reloading, the multi-inheritance and the like, a user of the development platform can directly use the Python language to realize hardware description andtesting of the FPGA / ASIC chip, and the EDA development efficiency is greatly improved.
Owner:SOUTH CHINA UNIV OF TECH
Apparatus and method for functional programming display
The invention provides a device for programming the functions of a monitor, which comprises a memory, a program code programming device and a program code checking module. The memory is used for storing program codes. The program code programming device is coupled with the memory and used for reading a program code with a preset length from the memory, and the program code with a preset length is part of the program codes. The program code checking module is coupled with the program code programming device and used for checking whether the program code with a preset length conforms to a preset state and generating a control signal; and the program code programming device is controlled by the control signal to determine whether the program code with a preset length is to be written into the memory of a monitor.
Owner:MEDIATEK INC
Task scheduling method and device, storage medium and server
The invention relates to the technical field of computers, and provides a task scheduling method and device, a storage medium and a server. The method comprises the following steps: acquiring each request sent by a client, and recording the time for acquiring each request; respectively obtaining each task contained in each request by using a functional programming-based single sub-unit; in combination with the time when each request is obtained, allocating the same timestamp to each task contained in each request; and setting a task scheduler, and sequentially executing each task contained ineach request according to a sequence of timestamps from small to large. Through the setting, the timestamp of the task contained in the first-executed request is smaller than the timestamp of the taskcontained in the second-executed request, so that the first-executed request can be preferentially processed after interruption and return, the first-executed request does not need to be reallocatedto a thread pool for queuing, and a delay phenomenon is avoided.
Owner:CHINA PING AN PROPERTY INSURANCE CO LTD
Who we serve
- R&D Engineer
- R&D Manager
- IP Professional
Why Patsnap Eureka
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com