People
Details announced of National Instruments LabVIEW Roadshow 2007 : Electronics News from
Details announced of National Instruments' LabVIEW Roadshow 2007 : Electronics News from Electronic Specifier
Linux with TCPA Integrity Measurement
January 28, 2003 RT0507 Security 6 pages Research Report Linux with TCPA Integrity Measurement Hiroshi Maruyama, Taiga Nakamura, Seiji Munetoh, Yoshiaki Funaki, Yuhji Yamashita IBM Research, Tokyo Research Laboratory IBM Japan, Ltd. 1623-14 Shimotsuruma, Yamato Kanagawa 242-8502, Japan Research
Distrib. Comput. (1997) 10: 199-225 0Springer-Verlag 1997 Knowledge-based programs* Ronald Fagin’...
Distrib. Comput. (1997) 10: 199-225 0Springer-Verlag 1997 Knowledge-based programs* Ronald Fagin’ Joseph Y. Halpern2 Yoram Moses3 Moshe Y. Vardis ‘IBM Almaden Research Center, 650 Harry Road, San Jose, CA 95 120-6099, USA (e-mail: fagin@almaden.ibm.com) ’Department of Computer Science, Cornell
Testing, Abstraction, Theorem Proving: Better Together! Greta Yorsh, Thomas Ball, and Mooly Sagiv ...
Testing, Abstraction, Theorem Proving: Better Together! Greta Yorsh, Thomas Ball, and Mooly Sagiv In Proc. International Symposium on Software Testing and Analysis, 2006 (ISSTA 2006) We present a method for static program analysis that leverages tests and concrete program executions. State
Remote Pointcut A Language Construct for Distributed AOP Muga Nishizawa Tokyo Instituteof...
Remote Pointcut A Language Construct for Distributed AOP Muga Nishizawa Tokyo Instituteof Technology 2-12-10hkayama, Meguro-ku, Tokyo 152-8552,Japan muga @csg.is.titech.ac.jp Shigeru Chiba Tokyo Instituteof Technology 2-12-10hkayama, Meguro-ku, Tokyo 152-8552, Japan chiba @ is.titech.ac.jp
res51-yorsh.dvi
Testing, Abstraction, Theorem Proving: Better Together! Greta Yorsh ∗ Tel Aviv University Israel gretay@post.tau.ac.il Thomas Ball Microsoft Research Redmond, US tball@microsoft.com Mooly Sagiv Tel Aviv University Israel msagiv@post.tau.ac.il ABSTRACT We present a method for static program
Page:
