Works matching IS 00104620 AND DT 2017 AND VI 60 AND IP 5
Results: 9
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 729, doi. 10.1093/comjnl/bxw099
- By:
- Publication type:
- Article
Events Algebra of Triggers.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 751, doi. 10.1093/comjnl/bxw100
- By:
- Publication type:
- Article
Compressed Bit vectors Based on Variable-to-Fixed Encodings.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 761, doi. 10.1093/comjnl/bxw103
- By:
- Publication type:
- Article
General Constructions of Rational Secret Sharing with Expected Constant-Round Reconstruction.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 711, doi. 10.1093/comjnl/bxw094
- By:
- Publication type:
- Article
On Algorithms for Enumerating Subtrees of Hexagonal and Phenylene Chains.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 690, doi. 10.1093/comjnl/bxw091
- By:
- Publication type:
- Article
Verification for Non-polynomial Hybrid Systems Using Rational Invariants.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 675, doi. 10.1093/comjnl/bxw090
- By:
- Publication type:
- Article
Heap Construction—50 Years Later.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 657, doi. 10.1093/comjnl/bxw085
- By:
- Publication type:
- Article
Semantic Subtyping for Objects and Classes.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 636, doi. 10.1093/comjnl/bxw080
- By:
- Publication type:
- Article
Reliability of Complete Cubic Networks under the Condition of g-Good-Neighbor.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 625, doi. 10.1093/comjnl/bxw078
- By:
- Publication type:
- Article