Works matching IS 00104620 AND DT 2014 AND VI 57 AND IP 7
Results: 10
Circus Models for Safety-Critical Java Programs.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1046, doi. 10.1093/comjnl/bxt060
- By:
- Publication type:
- Article
BlackjackBench: Portable Hardware Characterization with Automated Results’ Analysis.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1002, doi. 10.1093/comjnl/bxt057
- By:
- Publication type:
- Article
A New Barrier Certificate for Safety Verification of Hybrid Systems.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1033, doi. 10.1093/comjnl/bxt059
- By:
- Publication type:
- Article
An Improved Algorithm for Distributed Trigger Counting in Ring.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 980, doi. 10.1093/comjnl/bxt048
- By:
- Publication type:
- Article
A Calculus of Incomplete Fusions.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1105, doi. 10.1093/comjnl/bxt065
- By:
- Publication type:
- Article
The Oracle Problem When Testing from MSCs.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 987, doi. 10.1093/comjnl/bxt055
- By:
- Publication type:
- Article
FastSpMM: An Efficient Library for Sparse Matrix Matrix Product on GPUs.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 968, doi. 10.1093/comjnl/bxt038
- By:
- Publication type:
- Article
Survey of Energy-Efficient and Power-Proportional Storage Systems.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1017, doi. 10.1093/comjnl/bxt058
- By:
- Publication type:
- Article
Node-to-Set Disjoint Paths in Biswapped Networks.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 953, doi. 10.1093/comjnl/bxt034
- By:
- Publication type:
- Article
A Parallel Approach to Link Sign Prediction in Large-Scale Online Social Networks.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1092, doi. 10.1093/comjnl/bxt062
- By:
- Publication type:
- Article