第页

此软件的关键字
zbMATH中的参考文献(引用于19篇文章, 1标准件 )
Schulze Frielinghaus,Stefan;Seidl,Helmut;Vogler,Ralf:强制终止过程间分析(2018) Prantl,Adrian;Schordan,Markus;Knoop,Jens:Tubound——用于最坏情况执行时间分析的概念性新工具(2008) ioport公司 Beyer,Dirk;Henzinger,Thomas A.;Théoduloz,Grégory:可配置软件验证:具体化模型检查和程序分析的融合(2007) Eo,Hyunjun;Yi,Kwangken;Choe,Kwang Moo:格上(\lambda)可定义函数的静态扩展性分析(2006) Ferré,Sébastien;King,Ross D.:领域特定逻辑中挖掘和学习的二分法搜索算法(2005) Coors,Martin;Keding,Holger;Lüthje,Olaf;Meyr,Heinrich:定点系统的设计和DSP实现(2002) Evstiougov Babaev,Alexander A.:嵌入式应用程序开发人员的调用图和控制流图可视化(2002) Ferré,Sébastien;Ridoux,Olivier:开发可嵌入定制逻辑的框架(2002) Manevich,R.;Ramalingam,G.;Field,J.;Goyal,D.;Sagiv,M.:用于静态分析的紧表示一阶结构(2002) Probst,Christian W.:图书馆的模块化控制流分析(2002) Ruf,Erik:提高基于等式的数据流分析的精度(2002) Adve,Vikram;Sakellariou,Rizos:用于并行程序性能预测的任务图的编译器合成(2001) 费迪南德,克里斯蒂安;赫克曼,莱因霍尔德;兰根巴赫,马克;马丁,弗洛里安;施密特,迈克尔;泰林,亨利克;塞辛,斯蒂芬;威廉,莱因哈德:可靠和精确的WCET确定一个真实的处理器(2001年) Guyer,Samuel Z.;Lin,Calvin:优化高性能软件库的使用(2001) Leupers,Rainer:嵌入式处理器的代码优化技术。 方法、算法和工具(2000) 费迪南德,克里斯蒂安;马丁,弗洛里安;威廉,莱因哈德;阿尔特,马丁:抽象解释的缓存行为预测(1999) Fecht,Christian;Seidl,Helmut:传播差异:分布约束系统的有效新不动点算法(1998) 马丁,弗洛里安:PAG——一个高效的程序分析器生成器(1998) Ross,John L.;Sagiv,Mooly:在指针别名和程序依赖之间建立一座桥梁(1998)