6111 search results - page 140 / 1223 » Time, Hardware, and Uniformity |
ATVA
2008
Springer
14 years 9 days ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
SIGMETRICS
2002
ACM
13 years 10 months ago
2002
ACM
A highly accurate monitoring solution for active network measurement is provided without the need for GPS, based on an alternative software clock for PC's running Unix. With ...
WCET
2010
13 years 8 months ago
2010
Computing tight WCET bounds in the presence of timing anomalies
ERSA
2009
13 years 8 months ago
2009
- The FPGA (re)configuration is a time-consuming process and a bottleneck in FPGA-based Run-Time Reconfigurable (RTR) systems. In this paper, we present a High Level Synthesis (HLS...
FCCM
2005
IEEE
14 years 3 months ago
2005
IEEE
Just-in-time (JIT) compilation has been used in many applications to enable standard software binaries to execute on different underlying processor architectures. We previously in...