Sciweavers

461 search results - page 19 / 93
» An Algorithm for Bi-Decomposition of Logic Functions
Sort
View
DFG
2004
Springer
15 years 1 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
EVOW
2008
Springer
14 years 11 months ago
Analysis of Reconfigurable Logic Blocks for Evolvable Digital Architectures
Abstract. In this paper we propose three small instances of a reconfigurable circuit and analyze their properties using the brute force method and evolutionary algorithm. Although ...
Lukás Sekanina, Petr Mikusek
EUSFLAT
2009
158views Fuzzy Logic» more  EUSFLAT 2009»
14 years 7 months ago
Bi-criteria Genetic Selection of Bagging Fuzzy Rule-based Multiclassification Systems
Previously we proposed a scheme to generate fuzzy rule-based multiclassification systems by means of bagging, mutual information-based feature selection, and a multicriteria geneti...
Krzysztof Trawinski, Arnaud Quirin, Oscar Cord&oac...
ISQED
2010
IEEE
128views Hardware» more  ISQED 2010»
15 years 2 months ago
Soft error rate determination for nanoscale sequential logic
We analyze the neutron induced soft error rate (SER) by modeling induced error pulse using two parameters, occurrence frequency and probability density function for the pulse widt...
Fan Wang, Vishwani D. Agrawal
PPDP
2007
Springer
15 years 3 months ago
Computing with subspaces
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
Sergio Antoy, Bernd Braßel