中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

ISSN	0167-6423
刊名	Science of Computer Programming
参考译名	计算机程序设计科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic	Schewe, Klaus-Dieter; Beierle, Christoph	2019	2019, vol.184
RRPlib: A spark library for representing HDFS blocks as a set of random sample data blocks	Emara, Tamer Z.; Huang, Joshua Zhexue	2019	2019, vol.184
Dependency safety for Java - Implementing and testing failboxes	Zhang, Dan; Bosnacki, Dragan; Huizing, Cornelis; Jacobs, Bart; Kuiper, Ruurd; Wijs, Anton; van den Brand, Mark	2019	2019, vol.184
Coordination in Socio-technical Systems: Where are we now? Where do we go next?	Mariani, Stefano	2019	2019, vol.184
Modelling concurrent objects running on the TSO and ARMv8 memory models	Winter, Kirsten; Smith, Graeme; Derrick, John	2019	2019, vol.184
Abstract machines for Open Call-by-Value	Accattoli, Beniamino; Guerrieri, Giulio	2019	2019, vol.184
A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric	Chaabane, Mariam; Rodriguez, Ismael Bouassida; Colomo-Palacios, Ricardo; Gaaloul, Walid; Jmaiel, Mohamed	2019	2019, vol.184
BSP abstract state machines capture bulk synchronous parallel computations	Ferrarotti, Flavio; Gonzalez, Senen; Schewe, Klaus-Dieter	2019	2019, vol.184
Test-data generation directed by program path coverage through imperialist competitive algorithm	Saadatjoo, Mohammad Ali; Babamir, Seyed Morteza	2019	2019, vol.184