Sciweavers

17054 search results - page 143 / 3411
» Logics of Dynamical Systems
Sort
View
ICCD
2000
IEEE
88views Hardware» more  ICCD 2000»
16 years 3 months ago
Dynamic Flip-Flop with Improved Power
An improved design of a dynamic Flip-Flop is presented. Proposed design overcomes the problem of the glitch at the output and improves Power-Delay Product for about 10%, while pre...
Nikola Nedovic, Vojin G. Oklobdzija
KI
2007
Springer
16 years 1 months ago
Spatio-Temporal Configurations of Dynamics Points in a 1D Space
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
Pierre Hallot, Roland Billen
DFG
2004
Springer
15 years 10 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 ...
ISSA
2004
15 years 8 months ago
Utilizing Neural Networks For Effective Intrusion Detection
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...
Martin Botha