 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Sponsored Links:
|
| URL: |
http://www-swiss.ai.mit.edu/~ziggy/ziggy.html
|
| Title: |
Ziggy's WWW Home Page at MIT -- HTML Version |
| Description: |
Computers, Computer Science, People, B - Blair, Michael R.. MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. |
| 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.
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.
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 |
 |
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 ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity: ): Gives BMO exclusive rights to issue Diners Club cards in North America;
clients will benefit from worldwide acceptance and ability ...
Amid the Flu Epidemic, Don't Forget RSV in Young Children (Popularity: ): Influenza, particularly H1N1, has understandably captured the attention of public health officials, the media and the public. However, an analysis ...
|
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|