1028 search results - page 130 / 206 » Reliability Analysis using Graphical Duration Models |
125
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
120
Voted
ICDM
2007
IEEE
15 years 8 months ago
2007
IEEE
One of the core tasks in social network analysis is to predict the formation of links (i.e. various types of relationships) over time. Previous research has generally represented ...
109
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Serial Analysis of Gene Expression (SAGE) is a functional genomic technique that quantitatively analyzes the cellular transcriptome. The analysis of SAGE libraries rel...
119
Voted
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...
161
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...