 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
 |
|
 |
Bruce, Kim B. (Popularity: ): Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes ...
Boisvert, Ronald F. (Popularity: ): NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Blair, Michael R. (Popularity: ): MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Blelloch, Guy (Popularity: ): Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Borning, Alan (Popularity: ): University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Breugel, Franck van (Popularity: ): York University, Ontario - Concurrent programming languages, semantics, specification languages.
Bryant, Barrett R. (Popularity: ): University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
Bernstein, D. J. (Popularity: ): University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Brajnik, Giorgio (Popularity: ): University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
Bultan, Tevfik (Popularity: ): University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
|
 |
Popular Sites |
 |
Blelloch, Guy (Popularity: ): Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Bruce, Kim B. (Popularity: ): Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes ...
Boisvert, Ronald F. (Popularity: ): NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Bradfield, Julian (Popularity: ): University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Hans J. Boehm (Popularity: ): HP Labs - Java, Garbage collection, language theory
|
 |
Related Press |
 |
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|