 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
Sponsored Links:
|
| URL: |
http://www.cis.uab.edu/info/faculty/bryant/bryant.html
|
| Title: |
Barrett R. Bryant |
| Description: |
Computers, Computer Science, People, B - Bryant, Barrett R.. University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology. |
| Specialized in: |
|
|
 |
|
 |
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.
Hans J. Boehm (Popularity: ): HP Labs - Java, Garbage collection, language theory
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.
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 |
 |
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Jewelry store in China——Casijewelry,INC (Popularity: ): Casijewelry,INC specialize in wholesale stering silver jewelry,pearl jewelry, pandora jewelry, gemstone jewelry, beaded jewelry,wedding jewelry,shell&coral jewelry, birthstone jewelry and etc.
Casijewelry ...
LyondellBasell Statement on Reliance Industries (Popularity: ): LyondellBasell today issued the following statement:
"LyondellBasell has received a preliminary non-binding offer from Reliance Industries Limited to acquire for cash ...
Verizon Wireless and The Mattie C. Stewart Foundation Partner to Increase Graduation Rate in St. Louis Schools (Popularity: ): Verizon Wireless has announced its sponsorship of putting the InsideOut documentary in every St. Louis public school, enabling all area ...
River Blindness (Onchocerciasis) Reduced By Nearly One-Third In At-Risk Populations In Six Countries (Popularity: ): A regional initiative launched in the 1990s to eliminate onchocerciasis (river blindness) in the Americas has substantially reduced the prevalence ...
|
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|