290 search results - page 14 / 58 » Congruence for Structural Congruences |
DAC
2003
ACM
14 years 20 days ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
ISCI
2006
13 years 7 months ago
2006
In this paper we study relations which are congruences with respect to and p, where pis the p-cut of the L-fuzzy hyperoperation . The main idea is to start from an equivalence re...
IEEEPACT
2002
IEEE
14 years 10 days ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
FMICS
2010
Springer
13 years 7 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...