On Certifying Instances of Zero-Clairvoyant Scheduling.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 129, doi. 10.1093/comjnl/bxs162
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2014 AND VI 57 AND IP 1
Results: 12
1
2
Extending Deep Meta-Modelling for Practical Model-Driven Engineering.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 36, doi. 10.1093/comjnl/bxs144
- By:
- Publication type:
- Article
3
Optimal Independent Spanning Trees on Cartesian Product of Hybrid Graphs.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 93, doi. 10.1093/comjnl/bxs157
- By:
- Publication type:
- Article
4
A Fast Transformation of Markov Chains and Their Respective Steady-State Probability Distributions.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 1, doi. 10.1093/comjnl/bxs086
- By:
- Publication type:
- Article
5
Rewriting Systems Over Indexed Multisets.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 165, doi. 10.1093/comjnl/bxt007
- By:
- Publication type:
- Article
6
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 115
- By:
- Publication type:
- Article
7
LP-Based Approximation Algorithms for Reliable Resource Allocation.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 154, doi. 10.1093/comjnl/bxs164
- By:
- Publication type:
- Article
8
Results on Embeddings Between State-Based and Event-Based Systems.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 73, doi. 10.1093/comjnl/bxs156
- By:
- Publication type:
- Article
9
Improving Hit Ratio of ILP-based Concept Discovery System with Memoization.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 138, doi. 10.1093/comjnl/bxs163
- By:
- Publication type:
- Article
10
Failure Avoidance in MPI Applications Using an Application-Level Approach.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 100, doi. 10.1093/comjnl/bxs158
- By:
- Publication type:
- Article
11
Maximal Structuring of Acyclic Process Models.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 12, doi. 10.1093/comjnl/bxs126
- By:
- Publication type:
- Article
12
Region Management by Finite-State Robots1.
- Published in:
- Computer Journal, 2014, v. 57, n. 1, p. 59, doi. 10.1093/comjnl/bxs150
- By:
- Publication type:
- Article