Search Results - "Complexity Classes-complexity hierarchies"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.2 [Programming Techniques, Automatic Programming, D.2.1 [Software Engineering, Requirements/Specifications, D.4.6 [Operating Systems, Security and Protection—Access controls, F.1.1 [Computation By Abstract Devices, Models of Computation—Automata, Bounded-action devices, F.1.3 [Computation By Abstract Devices, Complexity Classes—Complexity hierarchies, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Specification techniques, K.6.5 [Management of Computing and Information Systems, Security and Protection General Terms, Security Additional Key Words and Phrases, program rewriting, reference monitors, execution monitoring, inlined reference monitoring
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.9992; http://www.cs.cornell.edu/fbs/publications/EnfClasses.pdf
-
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F. 1.2 [Computation by Abstract Devices, Modes of Computationparallelism, F. 1.3 [Computation by Abstract Devices, Complexity Classes-complexity hierarchies, relations among complexify measures, F.2.3 [Analysis of Algorithms and Problem Complexity, Trudeoffs among complexity classes General Terms, Theory, Verification Additional Key Words and Phrases, Concurrent-write, lower bounds, parallel random-access machines, parity
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.8602; http://www.cs.washington.edu/homes/beame/papers/crcwparity.pdf
Nájsť tento článok vo Web of Science