3951 search results - page 530 / 791 » Automatic amortized analysis |
198
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
147
Voted
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
148
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
220
click to vote
KDD
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes the Perseus project, which is devoted to developing techniques and tools for creating personalized multimedia news portals. The purpose of a personalized mult...
164
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...