Wectar - Computers - Computer Science - People - N

submit a site to this category

Subcategories
Nelson, Ted@	Neumann, John von@

	Nieh, Jason URL: http://www.cs.columbia.edu/~nieh ODP description: Columbia University - operating systems, end-to-end system resource management, real-time interactive multimedia systems, network and thin-client computing, ubiquitous computing architectures, performance evaluation. Page title: Jason Nieh Page description: Professor Jason Nieh, Department of Computer Science, Columbia University. Research interests: operating systems, web and multimedia systems, thin-client computing, and utility computing. Director, Network Computing Laboratory. Technical Adviser, Microsoft Antitrust Settlement. Recipient of Sigma Xi Young Investigator Award, Distinguished Faculty Teaching Award, NSF CAREER Award, DOE Early Career Award, IBM Faculty and SUR Awards.
	Nilsson, Stefan URL: http://www.nada.kth.se/~snilsson ODP description: Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing. Page title: Stefan Nilsson Page description: Stefan Nilsson KTH Sweden
	Nicol, David M. URL: http://www.crhc.uiuc.edu/~nicol/ ODP description: University of Illinois, Urbana-Champaign - Parallel processing, performance analysis, parallel simulation, static and dynamic mapping algorithms, network simulation, security. Page title: David M. Nicol
	Nadjm-Tehrani, Simin URL: http://www.ida.liu.se/~snt/ ODP description: LinkÃ¶ping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques. Page title: Simin Nadjm-Tehrani
	Nipkow, Tobias URL: http://isabelle.in.tum.de/~nipkow/ ODP description: Technische UniversitÃ¤t MÃ¼nchen - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus. Page title: Tobias Nipkow

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor