Search alternatives:
implications software » application software, appication software, simulation software
modelling concurrent » modelling document, modelling conclusions, modeling concept
concurrent programs » current programs, current program
software modelling » software modeling, software model
1
Cover Image
by Kiefer, Stefan.
Published 2021
Format:
Table of Contents: “... for the setoid model -- 1 Introduction -- 1.1 Related work -- 2 MLTT^Prop -- 2.1 Formalization -- 3 Setoid model...”
Click to View
2
Cover Image
by Reinders, James.
Published 2020
Format:
Table of Contents: “... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...”
Click to View
3
Cover Image
by Domingue, John.
Published 2011
Format:
Table of Contents: “... Architecture -- Experimental Results -- Conclusions -- References -- Title Model Ontology for Future Internet...”
Click to View
Search Tools: Get RSS Feed — Email this Search