2573 search results - page 339 / 515 » Combinations of Modal Logics |
152
click to vote
TSMC
2011
15 years 1 months ago
2011
This paper presents new approach to power system automation, based on distributed intelligence rather than traditional centralised control. The paper investigates the interplay bet...
190
click to vote
EMNLP
2011
14 years 6 months ago
2011
Dual decomposition has been recently proposed as a way of combining complementary models, with a boost in predictive power. However, in cases where lightweight decompositions are ...
196
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
279
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
190
click to vote
MTDT
2003
IEEE
15 years 11 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...