s*x
发帖数: 3328 | 1 Mon Feb 4 07:27:17 2008 Pacific Time
ADVISORY for Saturday, June 21 - Awards Banquet in San Francisco
Association for Computing Machinery's Turing Award Honors Founders of
Automatic Verification Technology That Enables Faster, More Reliable Designs
; Researchers Created Model Checking Technique for Hardware and Software
Designers
NEW YORK, Feb. 4 (AScribe Newswire) -- ACM, the Association for
Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and
Joseph Sifakis | M********d
发帖数: 91 | 2 这Emerson 我经常见，Dijsktra死后，没想到很快Emerson就上位了。
他可还不是院士，连ACM Fellow可能都不是。
of
Designs
considered
【在 s*x 的大作中提到】
: Mon Feb 4 07:27:17 2008 Pacific Time
: ADVISORY for Saturday, June 21 - Awards Banquet in San Francisco
: Association for Computing Machinery's Turing Award Honors Founders of
: Automatic Verification Technology That Enables Faster, More Reliable Designs
: ; Researchers Created Model Checking Technique for Hardware and Software
: Designers
: NEW YORK, Feb. 4 (AScribe Newswire) -- ACM, the Association for
: Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and
: Joseph Sifakis
|
|
