SomaliNet
-
SCREEN:
NORMAL NARROW
SERVICES:
TRANSLATIONS
PROMOTIONS
SOMALINET:
ABOUT US
CONTACT US
PRIVACY INFO
SITE STATUS
Please bear with us as the site is going through many changes ranging from backend software upgrades to new design.
Some sections may become inaccesible in the next few weeks.
FEEDBACK | OLD FRONT PAGE
Some sections may become inaccesible in the next few weeks.
FEEDBACK | OLD FRONT PAGE
NEW SECTION
 | TEST DRIVE SOMALINET VIDEOS SECTION!!! |  |
SEARCH DIRECTORY
fopen(dir_cache/8e7528e694a567e78397b8189962e494) [function.fopen]: failed to open stream: Permission deniedError writing to cache!
|
- Nadjm-Tehrani, Simin - 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.
- Nicol, David M. - University of Illinois, Urbana-Champaign - Parallel processing, performance analysis, parallel simulation, static and dynamic mapping algorithms, network simulation, security.
- Nieh, Jason - 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.
- Nilsson, Stefan - Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing.
- Nipkow, Tobias - Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.
|