|
Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report / / Yuqing Tang, Timothy J. Norman and Simon Parsons--
|
2011
|
1
|
|
Computing Behavioral Distances, Compositionally / / Giorgio Bacci, Giovanni Bacci and Kim G. Larsen --
|
2013
|
1
|
|
Computing bisimilarity metrics for probabilistic timed automata / / Ruggero Lanotte and Simone Tini --
|
2019
|
1
|
|
Computing Bits of Algebraic Numbers / / Samir Datta and Rameshwar Pratap --
|
2012
|
1
|
|
Computing Boundary Element Method's Matrices on GPU / / Gundolf Haase, Martin Schanz and Samar Vafai --
|
2012
|
1
|
|
Computing Bounds of the MTTF for a Set of Markov Chains / / F. Aït-Salaht, J.M. Fourneau and N. Pekergin --
|
2013
|
1
|
|
The computing brain / / Daniel Ansari --
|
2010
|
1
|