Research areas: Distributed software engineering; High-performance informatics; Interactive media; Logic and AI; Software technology and theory. Also hosts On-line Dictionary of Computing and SunSITE archive.
Department of Computing. Research on the software development process and software support environments, particularly for real-time, embedded, parallel and distributed systems.
Department of Computing. Research includes quantitative evaluation of systems, queueing networks, stochastic process algebras, stochastic petri-nets, distributed generation and solution of very large Markov chains, discrete-event simulation, and model...