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

期刊

ISSN	0304-3975
刊名	Theoretical Computer Science
参考译名	理论计算机科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
Fluid computation of passage-time distributions in large Markov models	Richard A. Hayden; Anton Stefanek; Jeremy T. Bradley	2012	2012, vol.413, no.1
Cost analysis of object-oriented bytecode programs	Elvira Albert; Puri Arenas; Samir Genaim; German Puebla; Damiano Zanardini	2012	2012, vol.413, no.1
Quantitatively fair scheduling	Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano	2012	2012, vol.413, no.1
Simulation distances	Pavol Cerny; Thomas A. Henzinger; Arjun Radhakrishna	2012	2012, vol.413, no.1
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling	Anna Philippou; Insup Lee; Oleg Sokolsky	2012	2012, vol.413, no.1
A linear process-algebraic format with data for probabilistic automata	Joost-Pieter Katoen; Jaco van de Pol; Marielle Stoelinga; Mark Timmer	2012	2012, vol.413, no.1
Branching bisimulation congruence for probabilistic systems	Suzana Andova; Sonja Georgievska; Nikola Trcka	2012	2012, vol.413, no.1
Approximating Markovian testing equivalence	Alessandro Aldini	2012	2012, vol.413, no.1
Analysis of a clock synchronization protocol for wireless sensor networks	Faranak Heidarian; Julien Schmaltz; Frits Vaandrager	2012	2012, vol.413, no.1