Search for dissertations about: "vector addition systems"
Showing result 1 - 5 of 41 swedish dissertations containing the words vector addition systems.
-
1. Games and Probabilistic Infinite-State Systems
Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE
-
2. A Functional Approach to Hardware Software Co-Design
Abstract : Developing software for embedded systems presents quite the challenge---not only do these systems demand good knowledge of the hardware they run on, but their limited resources also make it difficult to achieve efficiency. For embedded systems with different kinds of processing elements, the challenge is even greater; the presence of heterogeneous elements both raises all of the issues associated with homogeneous systems, and may also cause non-uniform system development and capability. READ MORE
-
3. Infinite-state Stochastic and Parameterized Systems
Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE
-
4. Phase Noise in Communication Systems--Modeling, Compensation, and Performance Analysis
Abstract : The continuous increase in demand for higher data rates due to applications with massive number of users motivates the design of faster and more spectrum efficient communication systems. In theory, the current communication systems must be able to operate close to Shannon capacity bounds. READ MORE
-
5. Distributed and federated learning of support vector machines and applications
Abstract : Machine Learning (ML) has achieved remarkable success in solving classification, regression, and related problems over the past decade. In particular the exponential growth of digital data, makes using ML inevitable and necessary to exploit the wealth of information hidden inside the data. READ MORE