Search
Results
-
Timed Automata Templates for Distributed Embedded System Architectures
(2005)TIK ReportNetworks of timed automata can be used to specify and verify distributed embedded systems. This technical report provides timed automata templates for a few basic components of such systems as a first step towards a library of reusable components which shall facilitate the design and analysis of large distributed embedded systems. In particular timed automata templates for common input event streams and for TDMA-scheduling are provided.Report -
Comparison of Biclustering Methods: A Systematic Comparison and Evaluation of Biclustering Methods for Gene Expression Data
(2005)TIK ReportIn recent years, there have been various efforts to over-come the limitations of standard clustering approaches for the analysis of gene expression data by grouping genes and samples simultaneously.The underlying concept, which is often referred to as biclustering, allows to identify sets of genes sharing compatible expression patterns across subsets of samples, and its usefulness has been demonstrated for different organisms and data ...Report -
-
Gradient Clock Synchronization in Sensor Networks
(2005)TIK ReportIn this paper, we examine gradient clock synchronization in a system model that is typical for sensor networks: We assume message-delay uncertainties to be negligible, and communication to be infrequent. The gradient property requires the difference between any two network nodes' clocks to be bounded from above by a non-decreasing function of their distance. This means that every node has to be synchronized better to nearby nodes than to ...Report -
Energy-Efficient Bluetooth Networks
(2005)TIK ReportWe investigate system-level energy-saving strategies for sensor nodes that use high-bandwidth Blueto oth radio links. We examine various existing proposals for their suitability for an application scen ario where sensor nodes continuously collect non-time-critical, low-rate data and transmit it to one or more observer nodes. We present a new, custom-tailored energy-saving algorithm which considerabl y increases a node's lifetime in our ...Report