Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P. Kalla
Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Related publications
Data-Flow Transformations Using Taylor Expansion Diagrams
Efficient Factorization of DSP Transforms Using Taylor Expansion Diagrams
Timed Data Flow Diagrams
Dynamic Phasors Estimation Based on Taylor-Fourier Expansion and Gram Matrix Representation
Mathematical Problems in Engineering
Mathematics
Engineering
High-Speed Data-Injection for Data-Flow Verification at LHCb
IEEE Transactions on Nuclear Science
Electronic Engineering
Nuclear
Nuclear Energy
High Energy Physics
Engineering
Electrical
Adding Control-Flow to a Visual Data-Flow Representation
A Memory-Efficient Canonical Data Structure for Decimal Floating Point Arithmetic Systems Modeling and Verification
Turkish Journal of Electrical Engineering and Computer Sciences
Electronic Engineering
Electrical
Computer Science
A New Type of Taylor Series Expansion
Journal of Inequalities and Applications
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
Logic Verification System for Power Plant Sequence Diagrams.
Journal of Nuclear Science and Technology
High Energy Physics
Nuclear
Engineering
Nuclear Energy
