Digital Arithmetic in Nature: Continuous-Digit RNS.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1214, doi. 10.1093/comjnl/bxu060
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2015 AND VI 58 AND IP 5
Results: 13
1
2
Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1199, doi. 10.1093/comjnl/bxu055
- By:
- Publication type:
- Article
3
A Method to Find Functional Dependencies Through Refutations and Duality of Hypergraphs.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1186, doi. 10.1093/comjnl/bxu047
- By:
- Publication type:
- Article
4
Compression of a Set of Files with Natural Language Content.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1169, doi. 10.1093/comjnl/bxu046
- By:
- Publication type:
- Article
5
Functional Dependencies with null Markers.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1160, doi. 10.1093/comjnl/bxu039
- By:
- Publication type:
- Article
6
Model Learning and Test Generation Using Cover Automata.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1140, doi. 10.1093/comjnl/bxu032
- By:
- Publication type:
- Article
7
Non-Functional Requirements Framework: A Mathematical Programming Approach.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1122, doi. 10.1093/comjnl/bxu027
- By:
- Publication type:
- Article
8
A Systematical and Parallel Approach to Solve Problems Involving Special Properties of Bit-Vectors.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1112, doi. 10.1093/comjnl/bxu025
- By:
- Publication type:
- Article
9
Two Reflected Gray Code-Based Orders on Some Restricted Growth Sequences.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1099, doi. 10.1093/comjnl/bxu018
- By:
- Publication type:
- Article
10
Heuristics for the Maximum 2-Layer RAC Subgraph Problem.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1085, doi. 10.1093/comjnl/bxu017
- By:
- Publication type:
- Article
11
Constrained Longest Common Subsequences with Run-Length-Encoded Strings.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1074, doi. 10.1093/comjnl/bxu012
- By:
- Publication type:
- Article
12
Circular Pattern Discovery.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1061, doi. 10.1093/comjnl/bxu009
- By:
- Publication type:
- Article
13
PERTIMO: A Model of Spatial Migration with Safe Access Permissions.
- Published in:
- Computer Journal, 2015, v. 58, n. 5, p. 1041, doi. 10.1093/comjnl/bxu006
- By:
- Publication type:
- Article