首页> 外文OA文献 >Statically checking confidentiality of shared-memory programs with Dynamic Labels

【2h】

Statically checking confidentiality of shared-memory programs with Dynamic Labels

机译：使用动态标签静态检查共享内存程序的机密性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Marcus Völp; Technische Universität Dresden;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Equivalence checking of Petri net models of programs using static and dynamic cut-points [J] . Bandyopadhyayl Soumyadip, Sarkar Dipankar, Mandal Chittaranjan Acta Informatica . 2019,第4期

机译：使用静态和动态切入点的程序Petri网模型的等效性检查
2. Equivalence checking of Petri net models of programs using static and dynamic cut-points [J] . Bandyopadhyayl Soumyadip, Sarkar Dipankar, Mandal Chittaranjan Acta Informatica . 2019,第4期

机译：使用静态和动态切割点的Petri网模型的等价检查
3. HYBRID MESSAGE-PASSING AND SHARED-MEMORY PROGRAMMING IN A MOLECULAR DYNAMICS APPLICATION ON MULTICORE CLUSTERS [J] . Martin J. Choi-ley, Martyn F. Guest, David W. Walker International Journal of High Performance Computing Applications . 2009,第3期

机译：混合动态消息传递和共享内存编程在多族群中的分子动力学应用
4. Statically Checking Confidentiality of Shared-Memory Programs with Dynamic Labels [C] . Marcus Volp International Conference on Availability, Security and Reliability . 2008

机译：使用动态标签静态检查共享内存程序的机密性
5. An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors. [D] . Chen, Qichang. 2011

机译：一个集成的静态和动态程序分析框架，用于检查与并发相关的编程错误。
6. Molecular dynamics of the immune checkpoint programmed cell death protein I PD-1: conformational changes of the BC-loop upon binding of the ligand PD-L1 and the monoclonal antibody nivolumab [O] . Bernhard Roither, Chris Oostenbrink, Wolfgang Schreiner 2020

机译：免疫检查点的分子动力学编程细胞死亡蛋白IPD-1：BC环的构象变化在配体PD-L1和单克隆抗体Nivolumab的结合时
7. Statically checking confidentiality via dynamic labels [O] . Jacobs, B.P.F., Pieters, Wolter, Warnier, M. 2005

机译：通过动态标签静态检查机密性
8. New shared-memory programming paradigm for molecular dynamics simulations on the Intel Paragon [R] . D'Azevedo, E. F., Romine, C. H. 1994

机译：英特尔paragon上分子动力学模拟的新共享内存编程范例

Statically checking confidentiality of shared-memory programs with Dynamic Labels

著录项

引文网络

相似文献

相关主题

期刊订阅