Research and Grants

Study of Nondeterminism

Abstract:


Understanding the power of nondeterminism is one of the most fundamental problems in theoretical Computer Science. Many problems that arise in practice fall into the nondeterministic class NP. A lot of effort has been put, by many researchers, in understanding various aspects and properties the class NP. The goal of this project is to enhance our current understanding of the class NP. Read more about Study of Nondeterminism

Category: 

SHF: Small: Collaborative Research: Formal Analysis of Distributed Interactions

Abstract


A crucial problem in dependability of concurrent and distributed software systems, which have become prevalent with the advances in service-oriented architecture, cloud computing, multi-core hardware, is the coordination of different components that form the whole system. In order to complete a task, components of a software system have to coordinate their executions by interacting with each other. Read more about SHF: Small: Collaborative Research: Formal Analysis of Distributed Interactions

Category: 

Pages