2501 search results - page 282 / 501 » Logics with Rank Operators |
177
click to vote
DSN
2009
IEEE
16 years 22 days 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...
173
click to vote
RTAS
2009
IEEE
16 years 21 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
150
click to vote
IISWC
2008
IEEE
16 years 11 days ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
145
click to vote
ICTAC
2007
Springer
16 years 4 days ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
175
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...