2702 search results - page 10 / 541 » Practically Applicable Formal Methods |
137
click to vote
NCA
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
JUCS
2007
15 years 1 months ago
2007
104
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
130
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
80
Voted
ICONIP
2008
15 years 3 months ago
2008
Practical Recurrent Learning (PRL) has been proposed as a simple learning algorithm for recurrent neural networks[1][2]. This algorithm enables learning with practical order O(n2 )...