默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

延斯·勃兰特0001

>主页 >珀森斯

人员信息

附属： 德国克雷费尔德Hochschule Niederrhein
隶属关系（前）： 德国凯泽斯劳滕理工大学

其他同名人员

请参阅常见问题解答

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2017
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 参考/hwswco/SchneiderB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/reference/hwswco/SchneiderB17网址
克劳斯·施耐德,延斯·勃兰特:
Quartz：用于基于模型的反应式嵌入式系统设计的同步语言。硬件/软件协同设计手册 2017:29-58
2014
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/daes/BrandtG0ST14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dafes/BrandtG0ST14
延斯·勃兰特,迈克·杰蒙德,克劳斯·施耐德,桑迪普·K·舒克拉,Jean-Pierre Talpin女士:
通过时钟保护动作表示同步、异步和多同步组件。设计。自动化。嵌入。系统。 18(1-2):63-97(2014)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/TalpinBGSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/TalpinBGSS14
Jean-Pierre Talpin女士,延斯·勃兰特,迈克·杰蒙德,克劳斯·施耐德,桑迪普·K·舒克拉:
构造性多时系统。科学。计算。程序。 96:377-394(2014)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tecs/BrandSB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tecs/BrandtSB14
延斯·勃兰特,克劳斯·施耐德,于白:
同步程序中的被动代码。 ACM事务处理。嵌入。计算。系统。 13(2秒):67:1-67:25(2014)
2013
【b2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/品牌13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/Brandt13
延斯·勃兰特:
嵌入式软件的同步模型。德国凯泽斯劳滕大学，2013
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ejes/GemundeBS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ejes/GemundeBS13
迈克·杰蒙德,延斯·勃兰特,克劳斯·施耐德:
命令式同步语言中的时钟优化。 EURASIP J.嵌入。系统。 2013:三(2013)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/BrandtGSST13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/BrandtGSST13
延斯·勃兰特,迈克·杰蒙德,克劳斯·施耐德,桑迪普·K·舒克拉,Jean-Pierre Talpin女士:
将多时性嵌入Synchrony。 IEEE传输。软件工程。 39(7):917-929(2013)
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/TalpinBGSS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/TalpinBGSS13
Jean-Pierre Talpin女士,延斯·勃兰特,迈克·杰蒙德,克劳斯·施耐德,桑迪普·K·舒克拉:
建设性多时系统。 LFCS公司 2013:335-349
2012
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hldvt/BaiBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hldvt/BaiBS12
于白,延斯·勃兰特,克劳斯·施耐德:
监测分布式无功系统。 HLDVT公司 2012:84-91
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hpcc/BaudischBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hpcc/BaudischBS12
丹尼尔·鲍迪什,延斯·勃兰特,克劳斯·施耐德:
数据流处理网络中阵列的有效处理。 HPCC-ICESS公司 2012:1395-1402
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BaiBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BaiBS12
于白,延斯·勃兰特,克劳斯·施耐德:
在去同步系统中保留LTL属性。记忆码 2012:53-64
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/samos/BaudischBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/samos/BudischBS12
丹尼尔·鲍迪什,延斯·勃兰特,克劳斯·施耐德:
同步数据流网络的无序执行。 ICSAMOS公司 2012:168-175
[电子4]
- 看法
- 出口记录
  dblp键：
  - conf/acsd/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/2012
延斯·勃兰特,凯霍·赫尔扬科:
2012年6月27日至29日在德国汉堡举行的第十二届系统设计并行应用国际会议，ACSD 2012。 IEEE计算机学会 2012，国际标准图书编号978-0-7695-4709-1 [目录]
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/mbmv/2012年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/2012
延斯·勃兰特,克劳斯·施耐德:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen（MBMV），德国凯泽斯劳滕，2012年3月5-7日。 Forschungsergebinsse zur Informatik公司68,科瓦克博士（Verlag Dr.Kovac） 2012，国际标准图书编号978-3-8300-6201-1 [目录]
2011
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BaiBS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BaiBS11
于白,延斯·勃兰特,克劳斯·施耐德:
扩展有限状态机的数据流分析。 ACSD系统 2011:163-172
[公元32年]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/BrandtGSST11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/BrandtGSST11
延斯·勃兰特,迈克·杰蒙德,克劳斯·施耐德,桑迪普·K·舒克拉,Jean-Pierre Talpin女士:
通过定时保护动作集成系统描述。 FDL公司 2011:1-8
[公元31年]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/GemundeBS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/GemundeBS11
迈克·杰蒙德,延斯·勃兰特,克劳斯·施耐德:
精巧时钟背景下的精神分裂症和因果关系。 FDL公司 2011:1-8
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hldvt/GemundeBS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hldvt/GemundeBS11
迈克·杰蒙德,延斯·勃兰特,克劳斯·施耐德:
具有精确时钟的同步程序的因果关系分析。 HLDVT公司 2011:25-32
[公元29年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/BrandtS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BrandtS11
延斯·勃兰特,克劳斯·施耐德:
异步和同步往返。 MBMV公司 2011:239-248
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pdcat/BudischBS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdcat/BudischBS11
丹尼尔·鲍迪什,延斯·勃兰特,克劳斯·施耐德:
将同步系统转换为数据流处理网络。 PDCAT公司 2011:354-361
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/scopes/BaiBS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scopes/BaiBS11
于白,延斯·勃兰特,克劳斯·施耐德:
基于SMT的同步程序优化。范围 2011:11-20
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/memocode/2011
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/2011
萨特南·辛格,芭芭拉·朱布斯曼,迈克尔·基希内夫斯基,延斯·勃兰特:
2011年7月11日至13日在英国剑桥举行的第九届IEEE/ACM国际会议，主题是Codesign的形式方法和模型，MEMOCODE 2011。电气与电子工程师协会 2011，国际标准图书编号978-1-4577-0117-7 [目录]
2010
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GemundeBS10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GemundeBS10
迈克·杰蒙德,延斯·勃兰特,克劳斯·施耐德:
强制同步语言中时钟优化的形式语义。 ACSD系统 2010:157-168
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BrandtSAS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BrandtSAS10
延斯·勃兰特,克劳斯·施耐德,苏米特·阿胡加,桑迪普·K·舒克拉:
时钟选通和操作数隔离的模型检查视图。 ACSD系统 2010:181-190
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/date/BudischBS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/BaudischBS10
丹尼尔·鲍迪什,延斯·勃兰特,克劳斯·施耐德:
同步程序中的多线程代码：为OpenMP提取独立线程。日期 2010:949-952
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifip10-3/BaudischBS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip10-3/BaudischBS10
丹尼尔·鲍迪什,延斯·勃兰特,克劳斯·施耐德:
同步程序的依赖驱动分发。 DIPES/BICC公司 2010:169-180
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lctrts/BrandtSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lctrts/BrandtSS10
延斯·勃兰特,克劳斯·施耐德,桑迪普·K·舒克拉:
将面向并发操作的规范转换为同步保护操作。 LCTES公司 2010:47-56
【c21】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/BudischBS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BaudischBS10
丹尼尔·鲍迪什,延斯·勃兰特,克劳斯·施耐德:
来自同步程序的多线程代码：为OpenMP生成软件管道。 MBMV公司 2010:11-20
[公元20年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/BrandtGS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BrandtGS10
延斯·勃兰特,迈克·杰蒙德,克劳斯·施耐德:
从同步保护动作到SystemC。 MBMV公司 2010:187-196
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/SchneiderJCB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/SchneiderJCB10
克劳斯·施耐德,芭芭拉·朱布斯曼,卢卡·P·卡洛尼,延斯·勃兰特:
椅子上的留言。记忆码 2010:1-3
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GemundeBS10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GemundeBS10
迈克·杰蒙德,延斯·勃兰特,克劳斯·施耐德:
编译具有精确时钟的命令式同步程序。记忆码 2010:209-218

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BrandtGS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BrandtGS09
延斯·勃兰特,迈克·杰蒙德,克劳斯·施耐德:
按模式取消同步同步程序。 ACSD系统 2009:32-41
[第16条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/BrandtSW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BrandtSW09
延斯·勃兰特,克劳斯·施耐德,阿德里安·威伦布彻:
在同步语言中使用IP核心。 MBMV公司 2009:97-106
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BrandtS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BrandtS09
延斯·勃兰特,克劳斯·施耐德:
同步程序的静态数据流分析。记忆码 2009:161-170
[第14条]
- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/scopes/BrandtS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scopes/BrandtS09
延斯·勃兰特,克劳斯·施耐德:
同步程序的单独编译。范围 2009:1-10
2008
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/SchneiderB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/SchneiderB08
克劳斯·施耐德,延斯·勃兰特:
通过有界模型检查执行因果关系分析。 ACSD系统 2008:78-87
[第12条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/BrandtSW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BrandtSW08
延斯·勃兰特,克劳斯·施耐德,阿德里安·威伦布彻:
模型检查的硬件加速。 MBMV公司 2008:179-187
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/BrandtS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/BrandtS08
延斯·勃兰特,克劳斯·施耐德:
因果分析的形式推理。 TPHOL公司 2008:118-133
2007
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/博士/Brandt2007
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/de/Brandt2007
延斯·勃兰特:
安全关键型嵌入式系统多边形处理的分层方法。德国凯泽斯劳滕理工大学，2007，第1-134页
[第10条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/品牌T07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/BrandtS07
延斯·勃兰特,克劳斯·施耐德:
Esterel和SystemC有何不同？。 FDL公司 2007:98-103
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/2007
克劳斯·施耐德,延斯·勃兰特:
《高阶逻辑中的定理证明》，第20届国际会议，TPHOLs 2007，德国凯泽斯劳滕，2007年9月10日至13日，论文集。计算机科学课堂讲稿4732,施普林格 2007，国际标准图书编号978-3-540-74590-7 [目录]
2006
【c9】
- 看法
  - 电子版@ecsi-association.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/BrandtS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/BrandtS06
延斯·勃兰特,克劳斯·施耐德:
系统描述方面作为语法糖。 FDL公司 2006:293-301
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifip10-3/施耐德BV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip10-3/SchneiderBV06
克劳斯·施耐德,延斯·勃兰特,埃里克·维奇:
同步程序的模块化编译。 DIPES公司 2006:75-84
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/SchneiderBV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/SchneiderBV06
克劳斯·施耐德,延斯·勃兰特,埃里克·维奇:
从同步程序高效生成代码。记忆码 2006:165-174
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/siese/品牌2006
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sies/Brandt006
延斯·勃兰特,克劳斯·施耐德:
安全关键型嵌入式系统的高效地图覆盖。 IES公司 2006:1-10
2005
[c5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/施耐德BST05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/SchneiderBST05
克劳斯·施耐德,延斯·勃兰特,托比亚斯·施吕勒,托马斯·图尔克:
最大因果分析。 ACSD系统 2005:106-115
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/euc/BrandtS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/euc/BrandtS05
延斯·勃兰特,克劳斯·施耐德:
安全关键嵌入式系统的可靠多边形处理算法。欧盟委员会 2005:405-417
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/BrandtS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/BrandtS05
延斯·勃兰特,克劳斯·施耐德:
使用三值逻辑指定和验证计算几何算法。 ICFEM公司 2005:405-420
2004
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cases/SchneiderBS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cases/SchneiderBS04
克劳斯·施耐德,延斯·勃兰特,托比亚斯·施吕勒:
具有延迟动作的同步程序的因果关系分析。案例 2004:179-189
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/SchneiderBS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/SchneiderBS06
克劳斯·施耐德,延斯·勃兰特,托比亚斯·施吕勒:
带有本地声明的同步程序的验证编译器。 ETAPS时的SLAP 2004:71-97

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。