2520 search results - page 395 / 504 » Model-checking behavioral programs |
123
click to vote
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a method for tight prediction of worst-case performance of data caches in highperformance real-time systems. Our approach is to distinguish between data struct...
155
Voted
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
109
click to vote
COMPSAC
1998
IEEE
15 years 6 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
121
click to vote
ICS
1999
Tsinghua U.
15 years 6 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
110
click to vote
ICSM
1998
IEEE
15 years 6 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...