501 search results - page 71 / 101 » Diagram Techniques for Confluence |
113
click to vote
DSN
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...
114
click to vote
WOSS
2004
ACM
15 years 7 months ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...
100
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
Data correlation is a well-known problem that causes difficulty in VLSI testing. Based on a correlation metric, an efficient heuristic to select BIST registers has been proposed...
115
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a number of effective techniques for visualizing some of the more complex data relationships that characterize an electric power system in real time. Power sy...
117
click to vote
IFM
1999
Springer
15 years 6 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...