 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Sponsored Links:
|
| URL: |
http://www.cs.washington.edu/homes/borning/
|
| Title: |
Alan Borning's home page |
| Description: |
Computers, Computer Science, People, B - Borning, Alan. University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. |
| 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
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 ...
The Conference Board Consumer Confidence Index(R) Edges Up (Popularity: ): The Conference Board Consumer Confidence Index®, which had declined in October, increased slightly in November. The Index now stands at ...
Sade Set to Release SOLDIER OF LOVE Worldwide on February 8th (Popularity: ): The wait is now over. Epic Records is pleased to announce the release of SOLDIER OF LOVE, the highly anticipated ...
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 ...
|
 |
Related Articles |
 |
Time Travel Exotica (Popularity: ): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
Baby Jewelry - Pamper Your Little Ones (Popularity: ): The cutest and most adorable beings on earth are babies. Human or animal, parents eternally tend to give their best ...
Business Opportunities In Australia (Popularity: ): Australia is definitely one large country. And because of its size, there are plenty of business opportunities for the budding ...
Home Based Jobs - A Way to Get Extra Income (Popularity: ): Almost every Filipino is looking for home based jobs. This is due to the financial difficulties brought about by the ...
High Speed AIT-5 Tape Media Format (Popularity: ): Advanced intelligent tape storage technology uses helical scan in which the data is recorded on diagonal tracks. The recording system ...
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|