6111 search results - page 140 / 1223 » Time, Hardware, and Uniformity |
90
Voted
ATVA
2008
Springer
15 years 2 months 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...
95
Voted
SIGMETRICS
2002
ACM
15 years 13 days 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 ...
100
Voted
WCET
2010
14 years 10 months ago
2010
Computing tight WCET bounds in the presence of timing anomalies
104
Voted
ERSA
2009
14 years 10 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...
119
click to vote
FCCM
2005
IEEE
15 years 6 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...