17054 search results - page 48 / 3411 » Logics of Dynamical Systems |
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
DSN
2009
IEEE
14 years 4 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
DAC
2005
ACM
13 years 12 months ago
2005
ACM
In this paper we present the impact of dynamically translating any sequence of instructions into combinational logic. The proposed approach combines a reconfigurable architecture ...
ICWS
2008
IEEE
13 years 11 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...
SYNTHESE
2011
13 years 4 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...