Learn More
Real-time systems need time-predictable platforms to allow static analysis of the worst-case execution time (WCET). Standard multi-core processors are optimized for the average case and are hardly analyz-able. Within the T-CREST project we propose novel solutions for time-predictable multi-core architec-tures that are optimized for the WCET instead of the(More)
The development and evaluation of new algorithms and protocols for Wireless Multimedia Sensor Networks (WMSNs) are usually supported by means of a discrete event network simulator, where OMNeT++ is one of the most important ones. However, experiments involving multimedia transmission , video flows with different characteristics, genres, group of pictures(More)
Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several " native " implementations of tabled evaluation have been developed which offer good performance, but many of them require significant changes to the underlying Prolog implementation , including(More)
The domain of Visual Analytics has emerged with a charter to support interactive exploration and analysis of large volumes of (often dynamic) data. A common feature shared by all the visual analytics applications developed so far is the reliance on ad-hoc and custom-built mechanisms to manage data: they re-implement their own in-memory databases to support(More)
Pluripotent stem cells represent a promising source of differentiated tissue-specific stem and multipotent progenitor cells for regenerative medicine and drug testing. The realisation of this potential relies on the establishment of robust and reproducible protocols of differentiation. Several reports have highlighted the importance of biomaterials in(More)
Space systems are hard real-time systems, where the worst-case execution time (WCET) of tasks needs to be known to prove absence of deadline misses. For simple processor and memory architectures it is possible to statically derive a safe upper bound of the WCET. However , future requirements in more autonomous missions require more processing power. This(More)
This visualization shows the topological analysis of magnetic islands from a NIMROD simulation of tearing modes started from an equilibrium fit of laboratory data from the DIID-D Tokamak that produced a reversed-shear discharge. In this case a 2:1 magnetic island colored by the plasma temperature has been detected and visualized as a surface. The island is(More)
Wireless Sensor Networks (WSNs) play an important role in pervasive and ubiquitous systems. Even though the advances in embedded systems, the energy consumption is still open issue in WSNs. In this context, hierarchical routing protocols provide energy-efficiency, scalability and reliability for WSN applications. With this goal in mind, this paper proposes(More)