2407 search results - page 350 / 482 » A Tool for Abstraction in Model Checking |
184
click to vote
CADUI
2006
15 years 7 months ago
2006
Abstract In this paper we describe MultiModal WebRemUsine, a tool for remote usability evaluation of Web sites that considers data regarding the user behaviour coming from multiple...
150
click to vote
SCM
1998
15 years 7 months ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...
159
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
202
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
161
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...