Recent Searches

Web Search Results   Sorted By: Relevance 1. Augustsson, Lennart     Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.   http://www.cs.chalmers.se/~augustss/ More/Rate, Modify, Report 2. Aiken, Alex     Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.   http://http.cs.berkeley.edu/~aiken/ More/Rate, Modify, Report 3. Agrawal, Dharma P.     University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.   http://www.ececs.uc.edu/~dpa/ More/Rate, Modify, Report 4. Alpuente, Marķa     Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.   http://www.dsic.upv.es/users/elp/alpuente.html More/Rate, Modify, Report 5. Amarasinghe, Saman     MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.   http://www.cag.lcs.mit.edu/~saman/ More/Rate, Modify, Report 6. Altenkirch, Thorsten     Ludwig-Maximillians University - Type theory, categorical logic, and program verification.   http://www.tcs.informatik.uni-muenchen.de/~alti/ More/Rate, Modify, Report 7. Ariola, Zena M.     University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.   http://www.cs.uoregon.edu/~ariola/ More/Rate, Modify, Report 8. Auguston, Mikhail     New Mexico State University - Programming languages design and implementation, the design of the compiler writing language RIGAL, software engineering, testing and debugging automation, assertion languages, visual programming languages.   http://www.cs.nmsu.edu/~mikau/index.html More/Rate, Modify, Report 9. Arvind, V.     Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation.   http://www.imsc.ernet.in/~arvind More/Rate, Modify, Report 10. Acharya, Anurag     University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.   http://www.cs.ucsb.edu/~acha/ More/Rate, Modify, Report

	Bookmark		On a Mobile/PDA?
	RSS Feed		Print This Page
	E-mail a Friend		Change Font Size Change Font Size
	Leave a Comment		Save as PDF
	Search Toolbar		Search Bar Widget

Check Domain Name

Search  SELECT YOUR DESIRED EXTENSION com   net   org   info   biz