帕特里克·库索(1948年12月3日-)是一位法国计算机科学家。在2000年代,他一直致力于为关键嵌入式软件(如航空电子设备)提供实用的静态分析方法。自1991年以来,他一直在巴黎高等师范学院担任计算机科学教授。
首页 >
帕特里克·库索
✍ dations ◷ 2024-12-23 16:02:21 #1948年出生,在世人物,法国科学家
相关
- 艾尔帕索艾尔帕索(西班牙语:El Paso)是美国德克萨斯州艾尔帕索县县治,位于德州极西部,隔格兰德河与墨西哥的华雷斯城相望。是该州第六大城、全国第十九大城市 (2006年估计人口为609,415)。
- Mg(AlOsub2/sub)sub2/sub偏铝酸镁是一种无机化合物,化学式为Mg(AlO2)2或MgAl2O4。它可在镁、铝共同还原金属氧化物的时候产生,如:偏铝酸镁在自然界中以尖晶石的形式存在。偏铝酸镁可以和过量的酸反应而
- 自由文化运动自由文化运动(英语:Free culture movement)是提倡以互联网或其他媒体,散布、修改各式自由内容作品的社会运动。此运动反对当前太过限缩的著作权法,许多运动人士认为这样的法律已
- 油井油井主要用于开采油田的石油。按照要求在油田地区实施系统的规划后进行钻井,将井眼作为石油升至地面的通道。通道一般到达地下油层区,而后放下套管并在套管周边浇筑水泥进行固
- 休斯顿轻轨休斯顿轻轨(英语:METRORail),是在美国德克萨斯州休斯顿地区由哈里斯县都会区交通局(Metropolitan Transit Authority of Harris County,简称“METRO”)运营的一个轻轨系统。该系统
- 豹狮豹狮,或豹狮兽(学名:Panthera pardus × leo )是雄豹与雌狮杂交后的产物,其头部像狮子,而身体则长有豹斑,体型比豹子大,喜欢攀爬和戏水。多是人类影响或主使之下的产物,而不是自然交
- 变速2:释放《变速2:释放》(英语:Shift 2: Unleashed,常被称作“极品飞车:变速2”)是由Slightly Mad Studios开发,艺电发行的赛车游戏。它是2009年赛车游戏《极品飞车:变速》的续作,相比前作,该作
- 捷克斯洛伐克社会主义共和国英雄捷克斯洛伐克社会主义共和国英雄(捷克语:Hrdina Československé socialistické republiky)是捷克斯洛伐克社会主义共和国的最高荣誉称号。“捷克斯洛伐克共和国英雄”荣誉称
- 尊宝大厦尊宝大厦是位于杭州市钱江新城的高层写字楼,由两座高160米且对称的姊妹楼——金尊和银尊组成,总建筑面积16万平米。大厦集办公、商业、金融、休闲等多功能于一体。2005年9月开
- 显现唯物论在心灵哲学中,显现唯物论主张意识在某种意义上是一种不可还原的存在,关于心理现象的理论应该独立于关于客观现象的科学。显现属性指的是这样一种属性,当缺少这一属性的事物以