6020 search results - page 655 / 1204 » A New Approach to Model Counting |
161
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we present our contribution in terms of synchronization processor for a SoC design methodology based on the theory of the latency insensitive systems (LIS) of Carlon...
205
click to vote
TLCA
2005
Springer
16 years 28 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
208
click to vote
ISCAS
2003
IEEE
16 years 22 days ago
2003
IEEE
In this paper, we study the stability and the stabilisation of 2 0 discrete linear systems with multiple state delays. All of the new results obtained are based on analysis of the...
213
click to vote
TPHOL
2003
IEEE
16 years 22 days ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
132
click to vote
ISCAS
2002
IEEE
16 years 11 days ago
2002
IEEE
So far, there have been introduced many front-end studies, but most of them fail to present, in a consistent way, how the signals are transformed throughout the front-end itself. ...