https://e-sygoing.link Latest links in the N category en-us Mon, 25 May 2026 01:07:53 -0400 https://e-sygoing.link/link/5756790-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. Thu, 31 Jul 2025 23:58:03 -0400 https://e-sygoing.link/go/5756790 https://e-sygoing.link/link/5756792-nilsson-stefan Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing. Fri, 30 Aug 2024 09:15:46 -0400 https://e-sygoing.link/go/5756792 https://e-sygoing.link/link/5756794-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. Wed, 24 Jan 2024 07:55:49 -0500 https://e-sygoing.link/go/5756794