2686 search results - page 244 / 538 » Testing metric properties |
181
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
234
Voted
CAV
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
199
click to vote
IFIP12
2004
15 years 8 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
168
click to vote
VISUALIZATION
2005
IEEE
16 years 6 days ago
2005
IEEE
Little is known about the cognitive abilities which influence the comprehension of scientific and information visualizations and what properties of the visualization affect compre...
184
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Link Analysis has been a popular and widely used Web mining technique, especially in the area of Web search. Various ranking schemes based on link analysis have been proposed, of ...