Refine my results


Specific Collection


Università della Svizzera italiana

Local time stepping on high performance computing architectures : mitigating CFL bottlenecks for large-scale wave propagation

Rietmann, Max ; Schenk, Olaf (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO006.

Modeling problems that require the simulation of hyperbolic PDEs (wave equations) on large heterogeneous domains have potentially many bottlenecks. We attack this problem through two techniques: the massively parallel capabilities of graphics processors (GPUs) and local time stepping (LTS) to mitigate any CFL bottlenecks on a multiscale mesh. Many modern supercomputing centers are installing...

Università della Svizzera italiana

Resource management of replicated service systems provisioned in the cloud

Björkqvist, Mathias ; Binder, Walter (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO005.

Service providers seek scalable and cost-effective cloud solutions for hosting their applications. Despite significant recent advances facilitating the deployment and management of services on cloud platforms, a number of challenges still remain. Service providers are confronted with time-varying requests for the provided applications, inter- dependencies between different components,...

Università della Svizzera italiana

High performance deferred update replication

Sciascia, Daniele ; Pedone, Fernando (Dir.)

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

Replication is a well-known approach to implementing storage systems that can tolerate failures. Replicated storage systems are designed such that the state of the system is kept at several replicas. A replication protocol ensures that the failure of a replica is masked by the rest of the system, in a way that is transparent to its users. Replicated storage systems are among the most...

Università della Svizzera italiana

Three essays on the role of federalism in the Swiss healthcare system

Salari, Paola ; Mazzonna, Fabrizio (Dir.) ; Crivelli, Luca (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015ECO003.

Switzerland is a country with a strongly decentralized political system, based on federalism and institutions of direct democracy, on a liberal economic culture, and on a well-developed tradition of mutualism and social security (generous social expenditure and welfare system). Switzerland is unique for its high level of decentralization and for the particular distribution of competences and...

Università della Svizzera italiana

Statistical models for the analysis of short user-generated documents : author identification for conversational documents

Inches, Giacomo ; Crestani, Fabio (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO019.

In recent years short user-generated documents have been gaining popularity on the Internet and attention in the research communities. This kind of documents are generated by users of the various online services: platforms for instant messaging communication, for real-time status posting, for discussing and for writing reviews. Each of these services allows users to generate written texts...

Università della Svizzera italiana

An SMT-based verification framework for software systems handling arrays

Alberti, Francesco ; Sharygina, Natasha (Dir.)

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

Recent advances in the areas of automated reasoning and first-order theorem proving paved the way to the developing of effective tools for the rigorous formal analysis of computer systems. Nowadays many formal verification frameworks are built over highly engineered tools (SMT-solvers) implementing decision procedures for quantifier- free fragments of theories of interest for (dis)proving...

Università della Svizzera italiana

Test generation for high coverage with abstraction refinement and coarsening (ARC)

Baluda, Mauro ; Pezzè, Mauro (Dir.) ; Denaro, Giovanni (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO018.

Testing is the main approach used in the software industry to expose failures. Producing thorough test suites is an expensive and error prone task that can greatly benefit from automation. Two challenging problems in test automation are generating test input and evaluating the adequacy of test suites: the first amounts to producing a set of test cases that accurately represent the software...

Università della Svizzera italiana

Corporate governance and its political economy

Vatiero, Massimiliano ; Roe, Mark J.

To fully understand governance and authority in the large corporation, one must attend to politics. Because basic dimensions of corporate organization can affect the interests of voters, because powerful concentrated interest groups seek particular outcomes that deeply affect large corporations, because those deploying corporate and financial resources from within the corporation to buttress...

Università della Svizzera italiana

Richard Stone : an annotated bibliography

Baranzini, Mauro ; Marangoni, Giandemetrio

Lugano : Università della Svizzera italiana, 2015

ISBN: 978-88-6101-014-7

This ‘Annotated Bibliography’ is part of the ‘Stone Collection’ at the Central Library of the University of Lugano. It presents brief comments on each item in the Collection, biographical notes and some more general considerations. The Collection comprises Richard Stone’s complete works in the field of economics and consists of approximately 200 articles and books, published between...

Università della Svizzera italiana

The irony of networks

Markovic, Josip ; Cristofoli, Daniela (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015ECO002.

By the end of the 1970s, it became evident that hierarchies were not always the most efficient and effective solution for complex problems in increasingly plural and fragmented societies. During the last 40 years governance structures and practices in the public sector have shifted towards new logics that direct the way the public sector is functioning. This dissertation deals with use of ...