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

期刊

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

全部

题名	作者	出版年	年卷期
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011	Shkaravska, Olha; Della Rocca, Simona Ronchi; van Eekelen, Marko	2015	2015, vol.111, no.Pt.3
Light combinators for finite fields arithmetic	Canavese, D.; Cesena, E.; Ouchary, R.; Pedicini, M.; Roversi, L.	2015	2015, vol.111, no.Pt.3
On bounding space usage of streams using interpretation analysis	Gaboardi, Marco; Pechoux, Romain	2015	2015, vol.111, no.Pt.3
Space consumption analysis by abstract interpretation: Inference of recursive functions	Montenegro, Manuel; Pena, Ricardo; Segura, Clara	2015	2015, vol.111, no.Pt.3
Space consumption analysis by abstract interpretation: Reductivity properties	Montenegro, Manuel; Pena, Ricardo; Segura, Clara	2015	2015, vol.111, no.Pt.3
A practical comparator of cost functions and its applications	Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German	2015	2015, vol.111, no.Pt.3
Certifying execution time in multicores	Rodrigues, Vitor; Akesson, Benny; Florido, Mario; de Sousa, Simao Melo; Pedroso, Joao Pedro; Vasconcelos, Pedro	2015	2015, vol.111, no.Pt.3