| ²é¿´: 286 | »Ø¸´: 1 | |||
| µ±Ç°Ö÷ÌâÒѾ´æµµ¡£ | |||
springsunyjÖÁ×ðľ³æ (ÎÄѧ̩¶·)
|
[½»Á÷]
Èýλ¿ÆÑ§¼Ò»ñ2007Äê¶ÈͼÁé½±
|
||
|
Èýλ¿ÆÑ§¼Ò»ñ2007Äê¶ÈͼÁé½± À´Ô´£º ¿ÆÑ§Íø ·¢²¼Ê±¼ä£º 2008-02-14 µã»÷Êý£º 55 ÃÀ¹ú¼ÆËã»úлᣨACM£©½üÈÕ¹«²¼ÁË2007Äê¶ÈͼÁé½±£¨Turing Award£©µÄÆÀÑ¡½á¹û£¬±¾Äê¶ÈͼÁé½±ÊÚÓèEdmund M. Clarke¡¢E Allen EmersonºÍJoseph SifakisÈýλ¿ÆÑ§¼Ò£¬±íÕÃËûÃÇ¿ª·¢Ä£Ðͼì²â¼¼Êõ£¬²¢Ê¹Ö®³ÉΪһ¸ö¹ã·ºÓ¦ÓÃÔÚÓ²¼þºÍÈí¼þ¹¤ÒµÖзdz£ÓÐЧµÄËã·¨ÑéÖ¤¼¼ÊõËù×öµÄµì»ùÐÔ¹±Ïס£ 1981ÄêÔÚÃÀ¹ú¹¤×÷µÄEdmund ClarkeºÍAllen EmersonÒÔ¼°ÔÚ·¨¹úµÄSifakis·Ö±ðÌá³öÁËÄ£Ðͼì²â£¨Model Checking£©µÄ×î³õ¸ÅÄ²¢ÇÒËûÃÇ¿ª·¢ÁËÒ»Ì×ÓÃÓÚÅжÏÓ²¼þºÍÈí¼þÉè¼ÆµÄÀíÂÛÄ£ÐÍÊÇ·ñÂú×ã¹æ·¶µÄ·½·¨£¬´ËÍ⣬µ±ÏµÍ³¼ì²âʧ°Üʱ£¬»¹ÄÜÀûÓÃËüÈ·¶¨´úÂëÖÐÎÊÌâ´æÔÚµÄλÖá£ Ó¢ÌØ¶ûÑо¿ÖÐÐĸ±×ܲÃAndrew Chien˵£º¡°Ó¢ÌضûºÍÕû¸ö¼ÆËã»ú¹¤Òµ¶¼´ÓËûÃǵűÏ×ÖÐÖ±½Ó»ñÒæ¡±¡£GoogleµÄ¸ß¼¶¹¤³Ì¸±×ܲÃAlan Eustace˵£º¡°GoogleÏñÆäËûͬʱ´úµÄ¼¼Êõ¹«Ë¾Ò»Ñù£¬ºÜ´óÒ»²¿·Ö³É¹¦¶¼À´×ÔÓÚÏÈÇýÃǵÄÑо¿¹±Ïס±¡£ ͼÁé½±ÓÉÃÀ¹ú¼ÆËã»úлáÓÚ1966ÄêÉèÁ¢£¬×¨ÃޱÀøÄÇЩ¶Ô¼ÆËã»úÊÂÒµ×ö³öÖØÒª¹±Ï׵ĸöÈË£¬ÆäÃû³ÆÈ¡×Ô¼ÆËã»ú¿ÆÑ§ÏÈÇý£¬Ó¢¹ú¿ÆÑ§¼Ò°¢À¼¡¤Í¼Áé¡£»ñ½±ÕߵűÏ×±ØÐëÔÚ¼ÆËã»úÁìÓò¾ßÓг־öøÖØ´óµÄÓ°Ïì¡£ ͼÁé½±ÓС°¼ÆËã»ú½çŵ±´¶û½±¡±Ö®³Æ£¬¶Ô»ñ½±ÕßÒªÇ󼫸ߣ¬ÆÀ½±³ÌÐòÒ༫Ñϸñ£¬Ä¿Ç°ÓÉÓ¢ÌØ¶ûºÍGoogle¹«Ë¾ÔÞÖú£¬½±½ðΪ25ÍòÃÀÔª¡£ Ŀǰ»ñ´ËÊâÈٵĻªÈË¿ÆÑ§¼Ò½öÒ¦ÆÚÖÇÒ»ÈË¡£ [ Last edited by bingyulin3 on 2008-2-18 at 19:30 ] |
» ²ÂÄãϲ»¶
ÊÛT0PÒ»ÇøSCIÎÄÕ£¬ÎÒ:8O5.51.O.54,¿ÆÄ¿ÆëÈ«,¿É£«¼±
ÒѾÓÐ6È˻ظ´
ÊÛT0PÒ»ÇøSCIÎÄÕ£¬ÎÒ:8O5.51.O.54,¿ÆÄ¿ÆëÈ«,¿É£«¼±
ÒѾÓÐ3È˻ظ´
ÊÛT0PÒ»ÇøSCIÎÄÕ£¬ÎÒ:8O5.51.O.54,¿ÆÄ¿ÆëÈ«,¿É£«¼±
ÒѾÓÐ3È˻ظ´
ÊÛT0PÒ»ÇøSCIÎÄÕ£¬ÎÒ:8O5.51.O.54,¿ÆÄ¿ÆëÈ«,¿É£«¼±
ÒѾÓÐ3È˻ظ´
ÊÛT0PÒ»ÇøSCIÎÄÕ£¬ÎÒ:8O5.51.O.54,¿ÆÄ¿ÆëÈ«,¿É£«¼±
ÒѾÓÐ3È˻ظ´
ÊÛT0PÒ»ÇøSCIÎÄÕ£¬ÎÒ:8O5.51.O.54,¿ÆÄ¿ÆëÈ«,¿É£«¼±
ÒѾÓÐ7È˻ظ´
ÊÛT0PÒ»ÇøSCIÎÄÕ£¬ÎÒ:8O5.51.O.54,¿ÆÄ¿ÆëÈ«,¿É£«¼±
ÒѾÓÐ5È˻ظ´
µÚÈýÄ꣬ÆíÇóºÃÔË£¡
ÒѾÓÐ9È˻ظ´
µ¥ÄþËá
ÒѾÓÐ3È˻ظ´
ÇóÖúÄÑÈÜ»¯ºÏÎïÔÚDMSO+Èý·úÒÒËáÖеÄÇâÆ×·ÖÎö
ÒѾÓÐ7È˻ظ´
tuxedo
ľ³æ (ÖøÃûдÊÖ)
- Ó¦Öú: 0 (Ó×¶ùÔ°)
- ½ð±Ò: 2107
- É¢½ð: 1790
- ºì»¨: 3
- Ìû×Ó: 1355
- ÔÚÏß: 493Сʱ
- ³æºÅ: 177770
- ×¢²á: 2006-02-06
- רҵ: ×ÔÈ»ÓïÑÔÀí½âÓë»úÆ÷·Òë

2Â¥2008-02-14 22:38:04











»Ø¸´´ËÂ¥
38