1346 search results - page 74 / 270 » Alternating-time dynamic logic |
JAPLL
2010
13 years 6 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy co...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
Vulnerability-driven filtering of network data can offer a fast and easy-to-deploy alternative or intermediary to software patching, as exemplified in Shield [43]. In this paper, ...
IPPS
2005
IEEE
14 years 1 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...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...