Data Race Detection with Minimal Hardware Support.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 675, doi. 10.1093/comjnl/bxt013
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2014 AND VI 57 AND IP 5
Results: 8
1
2
The Relationship between Forward Slicing and Backward Slicing for Software Architecture.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 744, doi. 10.1093/comjnl/bxt025
- By:
- Publication type:
- Article
3
Optimization of Monotonic Linear Progressive Queries Based on Dynamic Materialized Views.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 708, doi. 10.1093/comjnl/bxt021
- By:
- Publication type:
- Article
4
Bit-Parallel Algorithms for Exact Circular String Matching.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 731, doi. 10.1093/comjnl/bxt023
- By:
- Publication type:
- Article
5
Combined-Semantics Equivalence and Minimization of Conjunctive Queries.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 775, doi. 10.1093/comjnl/bxt032
- By:
- Publication type:
- Article
6
Direct Construction of Complete Merged Processes.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 693, doi. 10.1093/comjnl/bxt014
- By:
- Publication type:
- Article
7
Realistic Safety Cases for the Timing of Systems.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 759, doi. 10.1093/comjnl/bxt027
- By:
- Publication type:
- Article
8
On Correcting XML Documents with Respect to a Schema.
- Published in:
- Computer Journal, 2014, v. 57, n. 5, p. 639, doi. 10.1093/comjnl/bxt006
- By:
- Publication type:
- Article