1914 search results - page 279 / 383 » Verification by Abstract Interpretation |
113
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
87
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Precise segmentation of three-dimensional (3D) magnetic resonance angiography (MRA) image can be a very useful computer aided diagnosis (CAD) tool in clinical routines. O...
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
103
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
104
click to vote
WWW
2007
ACM
16 years 1 months ago
2007
ACM
In this paper, we describe an application, PubCloud that uses tag clouds for the summarization of results from queries over the PubMed database of biomedical literature. PubCloud ...