 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Sponsored Links:
|
| URL: |
http://gams.nist.gov/acmd/Staff/RBoisvert/index.html
|
| Title: |
Ronald F. Boisvert |
| Description: |
Computers, Computer Science, People, B - Boisvert, Ronald F.. NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. |
| 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 ...
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.
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 ...
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 ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
BJ Services Reports Fourth Fiscal Quarter Net Loss From Continuing Operations of $0.01 per Diluted Share (Popularity: ): BJ Services Company (NYSE: BJS; PCX; CBOE) today reported a net loss from continuing operations of $2.8 million, or $(0.01) ...
|
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|