Ergebnisse einschränken


  • Dissertationen Filter Auschalten




Università della Svizzera italiana

Automating test oracles generation

Goffi, Alberto ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO004.

Software systems play a more and more important role in our everyday life. Many relevant human activities nowadays involve the execution of a piece of software. Software has to be reliable to deliver the expected behavior, and assessing the quality of software is of primary importance to reduce the risk of runtime errors. Software testing is the most common quality assessing technique for...

Université de Neuchâtel

Approaches for cloudification of complex high performance simulation systems

Lapin, Andrei ; Kropf, Peter (Dir.) ; Felber, Pascal (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2017.

Scientific computing is often associated with ever-increasing need for computer resources to conduct experiments, simulations and gain outcomes in a reasonable time frame. While local infrastructures could hold substantial computing power and capabilities, researchers may still reach the limit of available resources. With continuously increasing need for higher computing power, one of the...

Università della Svizzera italiana

Controlled and effective interpolation

de Sá Alt, Leonardo ; Sharygina, Natasha (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016INFO009.

Model checking is a well established technique to verify systems, exhaustively and automatically. The state space explosion, known as the main difficulty in model checking scalability, has been successfully approached by symbolic model checking which represents programs using logic, usually at the propositional or first order theories level. Craig interpolation is one of the most successful...

Università della Svizzera italiana

Building global and scalable systems with atomic multicast

Benz, Samuel ; Pedone, Fernando (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO003.

The rise of worldwide Internet-scale services demands large distributed systems. Indeed, when handling several millions of users, it is common to operate thousands of servers spread across the globe. Here, replication plays a central role, as it contributes to improve the user experience by hiding failures and by providing acceptable latency. In this thesis, we claim that atomic multicast,...

Università della Svizzera italiana

Liquid stream processing on the web : a JavaScript framework

Babazadeh, Masiar ; Pautasso, Cesare (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017INFO015.

The Web is rapidly becoming a mature platform to host distributed applications. Pervasive computing application running on the Web are now common in the era of the Web of Things, which has made it increasingly simple to integrate sensors and microcontrollers in our everyday life. Such devices are of great in- terest to Makers with basic Web development skills. With them, Makers are able to...

Université de Neuchâtel

Text clustering with styles

Kocher, MIrco ; Savoy, Jacques (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2017.

This thesis mainly describes the author clustering problem where, based on a set of n texts, the goal is to determine the number k of distinct authors and regroup the texts into k classes according to their author. We iteratively build a stable and simple model for text clustering with styles. We start by designing a measure reflecting the (un)certainty of the proposed...

Università della Svizzera italiana

Subdivision schemes for curve design and image analysis

Volontè, Elena ; Hormann, Kai (Dir.) ; Rossini, Milvia (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO001.

Subdivision schemes are able to produce functions, which are smooth up to pixel accuracy, in a few steps through an iterative process. They take as input a coarse control polygon and iteratively generate new points using some algebraic or geometric rules. Therefore, they are a powerful tool for creating and displaying functions, in particular in computer graphics, computer-aided design, and...

Università della Svizzera italiana

Interaction-aware development environments : recording, mining, and leveraging IDE interactions to analyze and support the development flow

Minelli, Roberto ; Lanza, Michele (Dir.) ; Mocci, Andrea (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017INFO013.

Nowadays, software development is largely carried out using Integrated Development Environments, or IDEs. An IDE is a collection of tools and facilities to support the most diverse software engineering activities, such as writing code, debugging, and program understanding. The fact that they are integrated enables developers to find all the tools needed for the development in the same place....

Università della Svizzera italiana

Code offloading in opportunistic computing

Ferrari, Alan ; Gambardella, Luca Maria (Dir.) ; Giordano, Silvia (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017INFO014.

With the advent of cloud computing, applications are no longer tied to a single device, but they can be migrated to a high-performance machine located in a distant data center. The key advantage is the enhancement of performance and consequently, the users experience. This activity is commonly referred computational offloading and it has been strenuously investigated in the past years. The...

Università della Svizzera italiana

Malware detection at runtime for resource-constrained mobile devices : data-driven approach

Milošević, Jelena ; Malek, Miroslaw (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017INFO012.

The number of smart and connected mobile devices is increasing, bringing enormous possibilities to users in various domains and transforming everything that we get in touch with into smart. Thus, we have smart watches, smart phones, smart homes, and finally even smart cities. Increased smartness of mobile devices means that they contain more valuable information about their users, more decision...