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-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-23
Efficient coverage optimization in energy-constrained Wireless Sensor Networks
2009
Keywords: Energy aware, scheduling, coverage, optimization, partitioning, Wireless Sensor Networks

Abstract: We consider the problem of optimizing the area coverage of a wireless sensor network under energy... See more
Technical Reports - DISI-08-045
Matching ontologies for emergency evacuation plans
2008

Abstract: In case of emergency, the coordination of different services deals with different working methods... See more
Technical Reports - DISI-08-044
Aligned Schedules are Optimal
2008

Abstract: We address the problem of computing an optimal schedule for maximizing the average coverage of a ... See more
Technical Reports - DIT-07-057
A Case Study in Performance Estimation and Analysis for SDR: UMTS Data-Link Layer
2007
Keywords: Performance estimation, co-design, UMTS, architecture exploration, simulation, SystemC, mapping

Abstract: The evolution of technology in the wireless industry has brought a proliferation of different com... See more
Technical Reports - DIT-07-048
Maximizing Sensing Coverage in Wireless Sensor Networks Through Optimal Scattering of Wake-up Times
2007

Abstract: Wireless sensor networks (WSNs) often rely on duty-cycling, alternating periods of low-power stan... See more
Technical Reports - DIT-04-053
Management of Measurement Uncertainty for Effective Statistical Process Control
2004
Keywords: Measurement uncertainty, systematic error, random error, Test Uncertainty Ratio, control charts, conformance testing

Abstract: In the context of quality assurance strategies, statistical process control techniques and confor... See more
Technical Reports - DIT-04-054
Measurement Uncertainty and Metrological Confirmation in Quality-Oriented Organizations
2004
Keywords: Test uncertainty ratio, metrological confirmation, statistical quality control, calibration.

Abstract: The effect of measurement uncertainty on estimates and decisions performed under a regime of qual... See more
Technical Reports - DIT-04-040
Accuracy Comparison between Techniques for the Establishment of Calibration Intervals: Application to Atomic Clocks
2004
Keywords: Calibration intervals, Cesium atomic clocks, Wiener process, Simple Response Method

Abstract: This paper deals with two different techniques for the establishment of the optimal calibration i... See more
Technical Reports - DIT-04-045
FFT Benchmarking for Digital Signal Processing Technologies
2004
Keywords: Fast Fourier Transform (FFT), digital signal processing, kernel benchmark

Abstract: An appropriate choice of the computing devices employed in digital signal processing applications... See more