606 search results - page 39 / 122 » A Comparative Study of Industrial Static Analysis Tools |
114
click to vote
P2P
2006
IEEE
15 years 6 months ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
109
click to vote
VLSID
2004
IEEE
16 years 28 days ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
122
click to vote
INTERNET
2007
15 years 13 days ago
2007
Replication and caching mechanisms are often employed to enhance the performance of Web applications. In this article, we present a qualitative and quantitative analysis of state-...
142
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: In the last decades, microarray technology has spread, leading to a dramatic increase of publicly available datasets. The first statistical tools developed were focuse...
104
click to vote
FORTE
2004
15 years 1 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...