最近的更改- 搜索:
研究/

2008年VR

VR2008批准的申请（以下列表的子集）：

（另请参见VR2009年)

平均Ber.公司。埃夫特南弗尔南姆标题注释200920102011
总工程师NT-S公司斯坦斯特罗姆每无序线程推测：一种新的多核微处理器线程模型 500500545
SET（设置）NT-S公司萨贝尔菲尔德安德烈针对动态语言的灵活安全策略的严格实施与David Sands650800860
SET（设置）NT-S公司休斯约翰作为基于属性的测试数据的语言术语对于PostDoc820950990
SET（设置）NT-S公司比约克马格纳斯用于行为软硬件设计分析和验证的符号模拟方法与贾斯珀和科恩·克莱森657657657
反恐精英NT-S公司杜巴希Devdatt公司集中度、负相关性与随机优化 600700800

数据来自VR的excel表链接自VR的决定.

提交给VR2008的申请：（Birgitta收集的申请）

NS公司NT-T公司奥林托尔用于优化数字无线网络性能的联合网络和信道编码
总工程师NT-L公司本特松拉尔斯使用组合残差和基数-2符号数字表示法优化算术运算及其实现
总工程师NT-L公司斯文松拉尔斯流动配电环境下逻辑电路的时序分析根据L-E
总工程师NT-S公司斯坦斯特罗姆每无序线程推测：一种新的多核微处理器线程模型
SET（设置）NT-S公司比约克马格纳斯用于行为软硬件设计分析和验证的符号模拟方法与贾斯珀和科恩·克莱森
SET（设置）NT-S公司休斯约翰作为基于属性的测试数据的语言术语对于PostDoc
SET（设置）NT-S公司Hähnle公司雷纳基于验证的信息流分析（代表Richard Bubel和Wolfgang Ahrendt）
SET（设置）NT-S公司杨松帕特里克高效通用程序和规范与Sibylle Schupp合作
SET（设置）NT-S公司萨贝尔菲尔德安德烈针对动态语言的灵活安全策略的严格实施和David Sands
反恐精英NT-S公司诺德斯特伦本特高级语言系统编程和托马斯·哈格伦
反恐精英NT-S公司诺雷尔乌尔夫使用依赖类型编程初级研究职位
反恐精英NT-S公司博韦安娜偏爱与递归
反恐精英NT-S公司戴布杰彼得Martin-Löf型理论的推广和应用与Thierry Coquand合作（大规模应用：170万瑞典克朗/年）
反恐精英NT-S公司兰塔阿尔奈多语言资源语法库与普拉萨德
反恐精英NT-S公司杜巴希Devdatt公司集中度、负相关性与随机优化
反恐精英NT-S公司坎普格雷厄姆SurfMatch：高效的曲面匹配
身份证件NT-S公司弗杰尔德莫顿自由空间漫步

Historik公司

Beviljade projekt frón VR frán NT-S och NT-L，直至2002年D&IT páChalmers：

平均。格鲁普开始（r）下午弗尔南姆Projektite公司注释
总工程师加利福尼亚州03斯坦斯特罗姆每Metoder för att anpassa resurser i datorarkitekturer fös r att uppnámál a。。。
总工程师加利福尼亚州03*斯坦斯特罗姆每Metoder för att utnyttja spekulativ-trád-nivá并行性i芯片多。。。
总工程师加利福尼亚州09斯坦斯特罗姆每无序线程推测：一种新的多核微处理器线程模型 
总工程师CG公司07阿萨森乌尔夫加速器射线追踪mha grafikhárdvara
总工程师预计起飞时间07拉森-埃德福斯每Applikationsstyrd kraftförsörjning för Systems-on-Chip应用程序
总工程师预计起飞时间08拉森-埃德福斯每Korskorrelaterator med extrem prestanda för rymdapplikationer公司
NS公司DS公司07帕帕特里安塔菲卢玛丽娜信息发布och koordinationsgrad i dynamicska flerdeltagarappl。。。
NS公司DS公司06+席勒埃拉·迈克尔健壮的mjukvaruinfrastruktur för mobila ad-hoc nätverk
NS公司DS公司08Tsigas公司菲利普斯Lás/vánte-fri编程：Kombinerbar och effektiv kommunikation mell。。。
NS公司DS公司05Tsigas公司菲利普斯并行数据延迟的实际效果。。。
SET（设置）标准时间04舒普西比尔Resurskänslig komposition av komponenter公司和David Sands
SET（设置）标准时间07舒普西比尔自动磁盘分析程序varuförändringar
SET（设置）调频03古斯塔夫松约根Skalbar程序分析和David Sands
SET（设置）PS（聚苯乙烯）05萨贝尔菲尔德安德烈Regelverk och mekanismer för säker信息sutlämning和David Sands
SET（设置）PS（聚苯乙烯）09萨贝尔菲尔德安德烈针对动态语言的灵活安全策略的严格实施和David Sands
SET（设置）PS（聚苯乙烯）05沙子大卫En grund för kombination av feltoletanas och säkerhet公司和Andrei Sabelfeld
SET（设置）PS（聚苯乙烯）08沙子大卫Dolda Informationskanaler公司：Förebyggande Mjukvarumetoder和Andrei Sabelfeld
SET（设置）FP公司04克莱森科恩Abstraktionssökning med hjälp avändlig模型生成
SET（设置）FP公司07克莱森科恩Teorembevising i första-ordningens logik för automatisk for ell verify。。。
SET（设置）FP公司03休斯约翰类型：kontroll för Erlang和David Sands
SET（设置）FP公司06休斯约翰Sammanträdestyper umgás med industriell mjukvara公司和David Sands
SET（设置）FP公司09休斯约翰作为基于属性的测试数据的语言术语对于PostDoc
SET（设置）FP公司09比约克马格纳斯用于行为软硬件设计分析和验证的符号模拟方法与贾斯珀和科恩·克莱森
SET（设置）FP公司04希兰玛丽Smarta kretsar:att lösa utmaningar inom设计och验证av kretsar
SET（设置）FP公司07希兰玛丽Kretsdesign och验证med hjälp av funtiella程序
SET（设置）FP公司03杨松帕特里克Generiska funktitionella计划och bevis
反恐精英损益05戴布杰彼得Typad lambdakaklyl med tilämpningar公司
反恐精英损益05科康蒂埃里Typteori，beräkningar och matematik公司
反恐精英损益08科康蒂埃里Typteori，beräkningnar och matematik公司
反恐精英铝03达马施克彼得Algoritmer för sökning och slutledning i genetik公司
反恐精英铝08达马施克彼得Kombinatoriska算法器för slutledning-参数化och klustring
反恐精英铝09杜巴希Devdatt公司集中度、负相关性与随机优化 
反恐精英书信电报03库珀罗宾对话框系统och类型
反恐精英书信电报06兰塔阿尔奈语法学家som mjukvarubiliotek顾，VR d.nr.2005-4211

“最近批准”组下次申请的预计年份

平均。格鲁普埃夫特南弗尔南姆Ap公司03040506070809101112
总工程师CG公司阿萨森乌尔夫09    111 
NS公司DS公司帕帕特里安塔菲卢玛丽娜09    111 
NS公司DS公司席勒埃拉·迈克尔09   1111 
SET（设置）FP公司克莱森科恩09 111111 
SET（设置）FP公司希兰玛丽09 111111 
SET（设置）FP公司杨松帕特里克09111     
反恐精英损益戴布杰彼得09  111   
反恐精英书信电报兰塔阿尔奈09   111  
总工程师预计起飞时间拉森-埃德福斯每10    1221
NS公司DS公司Tsigas公司菲利普斯10  111111
SET（设置）PS（聚苯乙烯）沙子大卫10  111111
反恐精英损益科康蒂埃里10  111111
反恐精英铝达马施克彼得10111  111
总工程师加利福尼亚州斯坦斯特罗姆每11111   111
SET（设置）PS（聚苯乙烯）萨贝尔菲尔德安德烈11  111 111
SET（设置）FP公司休斯约翰11111111111
反恐精英铝杜巴希Devdatt公司11      111
SET（设置）FP公司比约克马格纳斯12      1111
SET（设置）标准时间舒普西比尔- 111111-
SET（设置）调频古斯塔夫松约根-111-
反恐精英书信电报库珀罗宾 111