7167 search results - page 39 / 1434 » A Technique for Invariant Generation |
149
click to vote
MTV
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
ACL
2008
15 years 3 months ago
2008
We describe an application that generates web pages for research institutions by summarising terms extracted from individual researchers' publication titles. Our online demo ...
158
click to vote
PE
2000
Springer
15 years 1 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
–Architectures with multiple programmable cores are becoming more attractive for video codec applications because they can provide highly concurrent computation and support multi...
122
click to vote
VISUALIZATION
2005
IEEE
15 years 7 months ago
2005
IEEE
In this article we describe stress nets, a technique for exploring 2D tensor fields. Our method allows a user to examine simultaneously the tensors' eigenvectors (both major ...