( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.

, , , и . SAS, том 5673 из Lecture Notes in Computer Science, стр. 137-153. Springer, (2009)

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.

Jeffery McCord

Stacey Jeffery

Mona Wendrich-Rönne

Jeffery Kite-Powell

Jeffery Neal Howell

 

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

Safe, multiphase bounds check elimination in Java., , , , и . Softw. Pract. Exp., 41 (7): 753-788 (2011)Empirical studies of test-suite reduction., , , и . Softw. Test. Verification Reliab., 12 (4): 219-249 (2002)FIFTH: A Stack Based GP Language for Vector Processing, , и . Proceedings of the 10th European Conference on Genetic Programming, том 4445 из Lecture Notes in Computer Science, стр. 102--113. Valencia, Spain, Springer, (11 - 13 April 2007)A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination., , , и . SAS, том 5673 из Lecture Notes in Computer Science, стр. 137-153. Springer, (2009)A Distributed Dataflow Model for Task-Uncoordinated Parallel Program Execution., и . ICPP Workshops, стр. 321-330. IEEE Computer Society, (2014)Can fault-exposure-potential estimates improve the fault detection abilities of test suites?, , , , и . Softw. Test. Verification Reliab., 12 (4): 197-218 (2002)Safe bounds check annotations., , , и . Concurr. Comput. Pract. Exp., 21 (1): 41-57 (2009)Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language., , , , и . SACMAT, стр. 191-198. ACM, (2017)Security completeness: towards noninterference in composed languages., и . PLAS, стр. 27-38. ACM, (2013)A task-uncoordinated distributed dataflow model for scalable high performance parallel program execution., и . Parallel Comput., (2016)