Covering Pairs in Directed Acyclic Graphs.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1673, doi. 10.1093/comjnl/bxu116
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2015 AND VI 58 AND IP 7
Results: 12
1
2
Generalizing the DS-Methods for Testing Non-Deterministic FSMs.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1656, doi. 10.1093/comjnl/bxu113
- By:
- Publication type:
- Article
3
A Robust Watermarking Method for Mpeg-4 Based on Kurtosis.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1645, doi. 10.1093/comjnl/bxu112
- By:
- Publication type:
- Article
4
Dataflow-Based Scheduling for Scientific Workflows in HPC with Storage Constraints.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1628, doi. 10.1093/comjnl/bxu109
- By:
- Publication type:
- Article
5
Improving the State Space Computation of the Time Stream Petri Nets Model.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1607, doi. 10.1093/comjnl/bxu108
- By:
- Publication type:
- Article
6
Meaningful Share Generation for (2, 2)-Multiple Visual Secret Sharing Scheme Without Pixel Expansion.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1598, doi. 10.1093/comjnl/bxu105
- By:
- Publication type:
- Article
7
Low-Power Scheduling Algorithms for Sporadic Task with Shared Resources in Hard Real-Time Systems.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1585, doi. 10.1093/comjnl/bxu103
- By:
- Publication type:
- Article
8
A Proxy User Authentication Protocol Using Source-Based Image Morphing.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1573, doi. 10.1093/comjnl/bxu094
- By:
- Publication type:
- Article
9
New MRC Adder-Based Reverse Converter for the Moduli Set {2<sup>n</sup>, 2<sup>2n+1</sup> -1, 2<sup>2n+2</sup> -1}.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1566, doi. 10.1093/comjnl/bxu089
- By:
- Publication type:
- Article
10
A New Residue Number System with 5-Moduli Set: {2<sup>2q</sup> , 2<sup>q</sup> ± 3, 2<sup>q</sup> ± 1}.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1548, doi. 10.1093/comjnl/bxu084
- By:
- Publication type:
- Article
11
A Green Energy Model for Resource Allocation in Computational Grid.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1530, doi. 10.1093/comjnl/bxu074
- By:
- Publication type:
- Article
12
Formal Verification of Annotated Textual Use-Cases.
- Published in:
- Computer Journal, 2015, v. 58, n. 7, p. 1495, doi. 10.1093/comjnl/bxu068
- By:
- Publication type:
- Article