278 search results - page 8 / 56 » A Framework for Counterexample Generation and Exploration |
CODES
1999
IEEE
14 years 22 days ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
CODES
1999
IEEE
14 years 22 days ago
1999
IEEE
The power consumption due to the HW/SW communication on system-level buses represents one of the major contributions to the overall power budget. A model to estimate the switching...
CAV
2001
Springer
14 years 28 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
KBSE
1999
IEEE
14 years 21 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
A qualitative study was conducted to explore how subjects use social networking sites and instant messenger to engage in interpersonal relationships. The results were used to deve...