| Nadjm-Tehrani, Simin |
| Simin Nadjm-Tehrani |
| http://www.ida.liu.se/~snt/ |
| Linköping University - Formal methods in verification of real-time and embedded systems, including d iscrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based d ecompositional proof techniques. |
| |
| |
| appname, navigator, indexof, writeln, document, netscape, mozilla, tehrani, explorer |
liu.se - rank der domain 22548 (94 in SE)
|
|
| zum Seitenanfang ↑ |
| Nipkow, Tobias |
| Tobias Nipkow |
| http://isabelle.in.tum.de/~nipkow/ |
| Technische Universität München - Automatic and interactive theorem proving, formal verification, for malizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus. |
| |
| |
| universit, technische, nipkow, tobias |
| (SLD : tum.de) |
|
| zum Seitenanfang ↑ |
| Nilsson, Stefan |
| Stefan Nilsson – lärare och trollkarl |
| http://www.nada.kth.se/~snilsson |
| Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and search ing, tries, routing. |
| Stefan Nilsson, lärare och trollkarl. |
| Stefan Nilsson, lärare, trolleri, trollkarl |
| stefan, nilsson, curiosity, boredom, parker, dorothy, picture, trollkarl, teaching, publications, bi ography, contact, trolleri, software |
kth.se - rank der domain 11896 (50 in SE)
|
|
| zum Seitenanfang ↑ |
| Computers/Computer_Science/People/N |
|
|
| Computers/Computer_Science/People/N |
| zum Seitenanfang ↑ |
| Nieh, Jason |
| Jason Nieh |
| http://www.cs.columbia.edu/~nieh |
| Columbia University - operating systems, end-to-end system resource management, real-time interactiv e multimedia systems, network and thin-client computing, ubiquitous computing architectures, perform ance evaluation. |
| Professor Jason Nieh, Department of Computer Science,
Columbia University. Research interests: oper ating systems, web and
multimedia systems, thin-client computing, and utility computing.
Director, Network Computing Laboratory. Technical Adviser, Microsoft
Antitrust Settlement. Recipient of Sigm a Xi Young Investigator Award,
Distinguished Faculty Teaching Award, NSF CAREER Award, DOE Early
Car eer Award, IBM Faculty and SUR Awards. |
| |
| systems, proceedings, operating, computer, program, committee, computing, symposium, virtual, confer ence, client, usenix, international, science, university, laadan, mobile, ricardo, baratto, annual, design, transactions, teaching, implementation, mobicom, performance, distributed, technical, appear ed, sigmetrics, viennot, including, systems, computing, location, february, columbia, multiprocessor , principles, october, spring, nicolas, engineering, distinguished, student, students, potter, respo nse, haoqiang, olshefski, scheduler |
columbia.edu - rank der domain 3582 (1366 in US)
|
|
| zum Seitenanfang ↑ |
|
