Search
Now showing items 1-4 of 4
Refinement-based synthesis of correct contract model decompositions
Publisher: IEEE
Year: 2014
Indonesian awareness of health record stored in cloud computing
Publisher: IEEE
Year: 2014
Parallel Deep Neural Network Training for Big Data on Blue Gene/Q
Publisher: IEEE
Year: 2014
Efficient Sparse Matrix-Vector Multiplication on GPUs Using the CSR Storage Format
Publisher: IEEE
Year: 2014



CSV
RIS