Perspectives of Systems Informatics
Perspectives of Systems Informatics
复制标题
系统信息学的观点
DOI：
10.1007/978-3-642-29709-0_31
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Korovin K
中科院分区：
文献类型：
--
作者：
Korovin K
作者在[4]中提出的冲突分解法是求解有理数和真实的数上线性不等式组的一种新方法。本文研究了各种优化的方法，并提出了实验评估。对各种基准和其他方法，如傅立叶-Motzkin消除法和单纯形法相比，该方法和算法进行了评估。
Theconflict resolutionmethod, introduced by the authors in [4] is a new method for solving systems of linear inequalities over the rational and real numbers. This paper investigates various heuristics for optimisation of the method and presents experimental evaluation. The method and heuristics are evaluated against various benchmarks and compared to other methods, such as the Fourier-Motzkin elimination method and the simplex method.
登录
查看更多内容
Haskell 中的安全多线程信息流库
DOI：
10.1109/csf.2007.6
发表时间：
2007
期刊：
20th IEEE Computer Security Foundations Symposium (CSF'07)
影响因子：
--
作者：
Ta;Alejandro Russo;John Hughes
通讯作者：
John Hughes
Haskell 中的信息流编码
DOI：
--
发表时间：
2006
期刊：
19th IEEE Computer Security Foundations Workshop (CSFW'06)
影响因子：
--
作者：
Peng Li;Steve Zdancewic
通讯作者：
Steve Zdancewic
Haskell 中的安全多重执行
DOI：
--
发表时间：
2011
期刊：
Ershov Memorial Conference
影响因子：
--
作者：
Mauro Jaskelioff;Alejandro Russo
通讯作者：
Alejandro Russo
使用污点分析实施擦除策略
DOI：
--
发表时间：
2010
期刊：
Nordic Conference on Secure IT Systems
影响因子：
--
作者：
F. Tedesco;Alejandro Russo;David Sands
通讯作者：
David Sands
单元图书馆中的信息流实施
DOI：
--
发表时间：
2011
期刊：
ACM SIGPLAN International Workshop on Types In Languages Design And Implementation
影响因子：
--
作者：
Dominique Devriese;Frank Piessens
通讯作者：
Frank Piessens