2133 search results - page 62 / 427 » Using the CALANDA Time Series Management System |
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
SSS
2005
Springer
14 years 2 months ago
2005
Springer
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
ICPP
2002
IEEE
14 years 1 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
APVIS
2008
13 years 10 months ago
2008
We present a new method for the visual analysis of multivariate system traces. Our method combines three perspectives: (1) a schematic diagram, (2) time series plots and (3) a sta...
CHI
2001
ACM
14 years 9 months ago
2001
ACM
Several recent research systems have provided interactive three-dimensional (3D) visualisations for supporting everyday work such as file and document management. But what improve...