932 search results - page 69 / 187 » Verifying Progress in Timed Systems |
200
Voted
PDPTA
2008
15 years 5 months ago
2008
- Load balancing is a crucial issue in parallel and distributed systems to ensure fast processing and optimum utilization of computing resources. Load balancing strategies try to e...
142
Voted
COR
2008
15 years 2 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
129
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
102
Voted
DELTA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper covers the concept, architecture, development and demonstration of a Smart Antenna Software Radio Test System (SASRATS). SASRATS was designed and developed as a functio...
138
Voted
CSUR
1999
15 years 3 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...