( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Evaluating Complex MAC Protocols for Sensor Networks with APMC.

, , , , и . Electr. Notes Theor. Comput. Sci., (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sylvain Broyer

Sylvain Mogliacci

Sylvain Marlière

Sylvain Jay

Sylvain Didelot

 

Другие публикации лиц с тем же именем

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC., , , , , , , и . AVoCS, том 128 из Electronic Notes in Theoretical Computer Science, стр. 195-214. Elsevier, (2004)Probabilistic verification of sensor networks., , и . RIVF, стр. 45-54. IEEE, (2006)Uniform Monte-Carlo Model Checking., , , , и . FASE, том 6603 из Lecture Notes in Computer Science, стр. 127-140. Springer, (2011)Probabilistic abstraction for model checking: An approach based on property testing., , , , и . ACM Trans. Comput. Log., 8 (4): 20 (2007)Probabilistic Verification and Approximation., и . WoLLIC, том 143 из Electronic Notes in Theoretical Computer Science, стр. 101-114. Elsevier, (2005)Approximate Probabilistic Model Checking., , , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 73-84. Springer, (2004)Evaluating Complex MAC Protocols for Sensor Networks with APMC., , , , и . AVoCS, том 185 из Electronic Notes in Theoretical Computer Science, стр. 33-46. Elsevier, (2006)Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks., , , , и . MSWiM, стр. 385-392. ACM, (2010)A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization., и . ISVC, том 3804 из Lecture Notes in Computer Science, стр. 388-395. Springer, (2005)Exact optimization for the ℓ1-Compressive Sensing problem using a modified Dantzig-Wolfe method., , и . Theor. Comput. Sci., 412 (15): 1325-1337 (2011)