3122 search results - page 29 / 625 » A Theory of Network Equivalence |
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
60
Voted
ISCAS
2008
IEEE
15 years 4 months ago
2008
IEEE
— The non-monotonic behavior of power/ground noise with respect to the rise time tr is investigated for an inductive power distribution network with a decoupling capacitor. A tim...
77
Voted
ENTCS
2006
14 years 9 months ago
2006
Public key cryptography has been invented to overcome some key management problems in open networks. Although nearly all aspects of public key cryptography rely on the existence of...
62
Voted
IJCAI
1989
14 years 11 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...