logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Alain Girault

inria

20H指数
121论文数
1.4K被引数
收录论文 10
发表时间
logo
Technical Perspective Toward a Formally Verified Compiler for a Synchronous, Functional, Data-Flow Programming Language技术视角：一种面向同步、函数式、数据流编程语言的正式验证编译器
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-12-01
err0
PREAI
errGirault, Alain
err分享
err收藏
Energy and timing aware synchronous programming
err2016 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT)
IF0
err2016-10-01
err0
errOAAI
errWang, JiaJie; Roop, Patha S.; Girault, Alain
err分享
err收藏
A Predictable Framework for Safety-Critical Embedded Systems
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2014-07-01
err22
PREAI
errAndalam, Sidharta; Roop, Partha S.; Girault, Alain; Traulsen, Claus
err分享
err收藏
Reliability and performance optimization of pipelined real-time systems
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2013-06-01
err11
errOAAI
errBenoit, Anne; Dufosse, Fanny; Girault, Alain; Robert, Yves
err分享
err收藏
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2012-07-01
err3
errOAAI
errMalik, Avinash; Girault, Alain; Salcic, Zoran
err分享
err收藏
A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2009-10-01
err66
errOAAI
errGirault, Alain; Kalla, Hamoudi
err分享
err收藏
Reliability versus performance for critical applications
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2009-03-01
err32
PREAI
errGirault, Alain; Saule, Erik; Trystram, Denis
err分享
err收藏
A scheduling heuristics for distributed real-time embedded systems tolerant to processor and communication media failures
errINTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
IF7.3
err2007-02-21
err7
PREAI
errGirault, A; Kalla, H; Sorel, Y
err分享
err收藏
A hybrid controller for autonomous vehicles driving on automated highways
errTRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES
IF7.9
err2004-12-01
err25
PREAI
errGirault, A
err分享
err收藏
Automatic distribution of reactive systems for asynchronous networks of processors处理器异步网络的反应系统的自动分配
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1999-01-01
err31
errOAAI
errCaspi, P; Girault, A; Pilaud, D
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Yves Robert
H 指数: 44 · 论文数: 818
Z
Zoran Salčić
H 指数: 31 · 论文数: 360
D
Denis Trystram
H 指数: 28 · 论文数: 390
A
Anne Benoît
H 指数: 25 · 论文数: 315
É
Érik Saule
H 指数: 24 · 论文数: 127
查看更多