Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DISI-10-021
Inferring Temporal Behaviours Through Kernel Tracing
2010

Abstract: In order to provide reliable system support for real-time applications, it is often important to ... See more
Technical Reports - DISI-10-038
GRAPES: a Generic Environment for P2P Streaming
2010
Keywords: P2P, Software libraries, streaming, multimedia, application development, network awareness

Abstract: Practical implementation of new P2P streaming systems requires a lot of coding and is often tedio... See more
Technical Reports - DISI-10-031
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata
2010
Keywords: Parametric, Timed Automata, Schedulability, PTP, Audio streaming, case study

Abstract: In this report, we study the application of the Parametric Timed Automata(PTA) tool to a concrete... See more
Technical Reports - DISI-09-032
Stochastic Local Search for SMT: a Preliminary Report
2009

Abstract: A popular approach to SMT is based on the integration of a DPLL SAT solver and of a decision proc... See more
Technical Reports - DISI-09-041
Achieving Performance and Robustness in P2P Streaming Systems
2009

Abstract: This paper present a thorough and homogeneous comparison of chunk and peer selection strategies s... See more
Technical Reports - DISI-09-041
Achieving Performance and Robustness in P2P Streaming Systems
2009
Keywords: P2P Streaming, Bandwidth Awareness, Network Awareness, Chunk and Peer Scheduling

Abstract: This paper present a thorough and homogeneous comparison of chunk and peer selection strategies s... See more
Technical Reports - DISI-09-041
Achieving Performance and Robustness in P2P Streaming Systems
2009

Abstract: This paper present a thorough and homogeneous comparison of chunk and peer selection strategies s... See more
Technical Reports - DISI-09-041
Achieving Performance and Robustness in P2P Streaming Systems
2009
Keywords: P2P Streaming, Bandwidth Awareness, Network Awareness, Chunk and Peer Scheduling

Abstract: This paper present a thorough and homogeneous comparison of chunk and peer selection strategies s... See more
Technical Reports - DISI-09-041
Achieving Performance and Robustness in P2P Streaming Systems
2009

Abstract: This paper present a thorough and homogeneous comparison of chunk and peer selection strategies s... See more
Technical Reports - DISI-09-026
Software Model Checking via Large-Block Encoding
2009

Abstract: The construction and analysis of an abstract reachability tree (ART) are the basis for a successf... See more