2514 search results - page 26 / 503 » The use of industrial-strength formal methods |
125
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
104
Voted
IEEECIT
2010
IEEE
15 years 12 days ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
84
Voted
DSD
2002
IEEE
15 years 6 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
128
click to vote
DATESO
2004
15 years 3 months ago
2004
Binary Factor Analysis (BFA, also known as Boolean Factor Analysis) may help with understanding collections of binary data. Since we can take collections of text documents as binar...
119
Voted
RE
2002
Springer
15 years 1 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...