15644 search results - page 402 / 3129 » Brittle System Analysis |
171
click to vote
ITC
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper presents an approach for analysis of system state differences observable through the scan chain for the debug of functional failures. A novel methodology for Latch Dive...
210
click to vote
ESOP
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
200
click to vote
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
211
click to vote
EDM
2010
15 years 9 months ago
2010
Learning software is not designed for data analysis and mining. Because usage data is not stored in a systematic way, its thorough analysis requires long and tedious preprocessing....
208
click to vote
PE
2008
Springer
15 years 7 months ago
2008
Springer
We present the transient analysis of the system content in a two-class discrete-time MX /D/1 priority queue. In particular, we derive an expression for the generating function of ...