1492 search results - page 155 / 299 » Automatic Software Model Checking Using CLP |
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
IESS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, which may introduce errors in the model. This paper give...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
Systems of connected appliances, such as home theaters and presentation rooms, are becoming commonplace in our homes and workplaces. These systems are often difficult to use, in p...
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...