( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Steering of real-time systems based on monitoring and checking.

, , , , и . WORDS (Fall), стр. 11-18. IEEE Computer Society, (1999)

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.

Prahladavaradan Sampath

Karuppaiah Kannan

Srinivasaraghavan Kannan

Somasundar Kannan

Kannan Alpadi

 

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

Quantifying the Burden of Exploration and the Unfairness of Free Riding., , и . SODA, стр. 1892-1904. SIAM, (2020)A Formal Framework for Evaluating Heuristic Programs., , и . Ann. Math. Artif. Intell., 22 (3-4): 193-206 (1998)Spot-Checkers, , , , и . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)Reconstructing strings from random traces., , , и . SODA, стр. 910-918. SIAM, (2004)An Approximate L1-Difference Algorithm for Massive Data Streams., , , и . SIAM J. Comput., 32 (1): 131-151 (2002)A Fast Algorithm for the Computation and Enumeration of Perfect Phylogenies when the Number of Character States is Fixed., и . SODA, стр. 595-603. ACM/SIAM, (1995)Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages., , , и . POPL, стр. 409-420. ACM Press, (1994)Randomized pursuit-evasion with limited visibility., , и . SODA, стр. 1060-1069. SIAM, (2004)Communicating Hierarchical State Machines., , и . ICALP, том 1644 из Lecture Notes in Computer Science, стр. 169-178. Springer, (1999)Reconstructing Numbers from Pairwise Function Values., , и . ISAAC, том 5878 из Lecture Notes in Computer Science, стр. 142-152. Springer, (2009)