帕特里克·库索(1948年12月3日-)是一位法国计算机科学家。在2000年代,他一直致力于为关键嵌入式软件(如航空电子设备)提供实用的静态分析方法。自1991年以来,他一直在巴黎高等师范学院担任计算机科学教授。
首页 >
帕特里克·库索
✍ dations ◷ 2025-08-10 18:21:18 #1948年出生,在世人物,法国科学家
相关
- 整体词整体关系(英语:Holonymy)是一种语义关联。如果 A 是 B 的一部分,或 A 是 B 集合的成员,则称 B 是 A 的整体词,A 是 B 的分体词。例如,“树”是“树皮”的整体词,也是“树干”、“树
- 四圣谛四圣谛 (梵文:चत्वारि आर्यसत्यानि,catvāri āryasatyāni;巴利语:cattāri ariyasaccāni;标准藏语:བདེན་པ་བཞི།),又称四真谛、四谛,四种神圣的谛,即
- 铁人三项铁人三项自2000年悉尼夏季奥运会起成为每届夏季奥运会比赛项目。因为场地的不同,铁人三项比赛没有官方的奥运会纪录Alistair Brownlee 在伦敦的铁人三项比赛中确立非官方男子
- 文登华人文登华人(印尼语: Cina Benteng 或 Tionghoa Benteng) ,是分布在印尼万丹省丹格朗的印尼华人,在雅加达和西爪哇省也有分布。,推估他们大约是十八世纪时华人移民的后代。他们在文
- 鸡肋编《鸡肋编》是宋人笔记,北宋庄绰著,凡三卷。鸡肋之名典出《三国志》,作者自序说取鸡肋“食之则无所得,弃之则殊可惜”。《鸡肋编》所记多唐宋年间轶事遗闻,共收三百余条笔记,谐谑有
- 1940年代1940年代,前半期为第二次世界大战,1945年,二战结束,之后美苏两国成为世界超级强国,因而导致了冷战,美苏两国间的对立,影响了日后数十年的世界局势。
- 三氧化二锰三氧化二锰是一种无机化合物,化学式为Mn2O3,其中锰处于+3氧化态。在800℃以下将二氧化锰于空气中灼烧可以得到α-Mn2O3(更高温度得到Mn3O4),在600-800℃空气中加热Mn2+的硝酸盐、
- 聚己内酯聚己内酯(英语:polycaprolactone,简称PCL)是一种半结晶型聚合物,是化学合成的生物降解性高分子材料,其结构重复单元上有5个非极性亚甲基—CH2淀粉等物质共混,可制得完全生物降解材
- 东盛街道 (高碑店市)东盛街道,是中华人民共和国河北省保定市高碑店市下辖的一个乡镇级行政单位。东盛街道下辖以下地区:张八屯村、艾各庄村、冯漫撒村、杜家营村、党家营村、钱家营村、马庄村、龙
- 蔡鹭蔡鹭(?-),江苏南京人,中国大陆男演员。代表作有电影《解救吾先生》、电视剧《九州·海上牧云记》、《长安十二时辰》等。