2957 search results - page 250 / 592 » Processing Self Corrections |
190
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
149
click to vote
CSREAESA
2004
15 years 8 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
158
click to vote
WSC
2004
15 years 8 months ago
2004
In this research, we investigate how well Weibull, Gamma, and special bimodal distribution are suited as an alternative to the exponential distribution approach in the stochastic ...
154
click to vote
COLING
1992
15 years 7 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
151
click to vote
WCE
2007
15 years 7 months ago
2007
- We proposed the cost effective (in sense of gate number) asynchronous two-level logic. It is based on AND-OR implementation of minimized logic functions. We formulated and proved...