Results 271 to 280 of about 1,456,568 (303)
A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design [PDF]
Lecture Notes in Computer ScienceIn the field of communication system products, most datapath Digital Signal Processing algorithms are initially developed at a high-level in MATLAB® or C/C++.
Maurizio Martina
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A criterion for the equivalence of formal singularities
American Journal of Mathematics, 2002We prove a generalization of the finite determinacy theorem for isolated singularities. The maximal ideal occuring in the finite determinacy theorem is replaced by any ideal annihilating the first cotangent cohomology of a formal singularity over a Noetherian ring. An analogous result holds for finitely generated modules.
Möhring, Konrad, van Straten, Duco
openaire +1 more source
On the equivalence of Hebbian learning and the SVM formalism
2012 46th Annual Conference on Information Sciences and Systems (CISS), 2012We show that it is possible to relate the Support Vector Machine formalism to Hebbian Learning in the context of olfactory learning in the insect brain. Since neurons cannot have negative firing rates, two neurons and synaptic inhibition are required to encode a binary classification problem in a biologically realistic way.
Thomas Nowotny, Ramón Huerta
openaire +1 more source
Formalization of equivalence of recursively defined functions
Information Sciences, 1978Abstract In this paper we use the fixpoint approach in formalizing the equivalence of recursively defined functions within the framework of predicate calculus. The results suggest some general mathematical techniques useful in proving equivalence of recursive programs.
openaire +2 more sources
Formalizing the Environment View of Process Equivalence
2004The notion of program equivalence plays a fundamental role in the understanding of programming related issues in the framework of concurrent/distributive/mobile/global/grid computing. Many observational equivalences have been proposed in the literature.
Yuxi Fu, Xiaoju Dong
openaire +2 more sources
On Formal Equivalence Verification of Hardware
2008When modeling the logic functionality, hardware can be viewed as a Finite State Machine (FSM) [7]. The power-up state of hardware cannot be determined uniquely, therefore the FSM modeling the hardware does not have an initial state (or a set of initial states).
openaire +1 more source
On the Convergence of Formal Equivalence between Embeddings
The Annals of Mathematics, 1981Let j: X --* W denote the morphism embedding the compact complex manifold X into the manifold W. The formal principle holds (for j) if, given any other embedding j': X'-W' together with a formal isomorphism between j and j', there is an actual isomorphism between j and j' (for definitions see ? 2.1).
openaire +1 more source
A Formal Analysis of Behavioral Equivalence for Web Services
2008 IEEE Congress on Services - Part I, 2008The notion of behavioral equivalence for Web services is a foundation of the priori analysis of what will happen when the service is interacting with others. The dissertation aims to explore a derivative and decidable approach to the formal analysis of behavioral equivalence for web services. The research consists of three inter-dependent studies.
Li Kuang
exaly +3 more sources
Formal Verification of Flow Equivalence in Desynchronized Designs [PDF]
2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020 To appear in ASYNC ...
Jennifer Paykin +3 more
exaly +5 more sources
On Vasyliunas's equivalent conductivity formalism
Journal of Geophysical Research: Space Physics, 1992The coupling of the ionosphere and magnetosphere can be understood by examining the field‐aligned currents passing between the two. In his treatment of the shielding of the inner magnetosphere, Vasyliunas [1972] developed a mathematical formalism for representing this coupling by a pseudo Ohm's law.
openaire +1 more source