1809 search results - page 337 / 362 » Software Model Checking Using Linear Constraints |
ICCAD
2003
IEEE
14 years 29 days ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
CASES
2001
ACM
13 years 11 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
VAMOS
2010
Springer
13 years 9 months ago
2010
Springer
In its basic form, a variability model describes the variations among similar artifacts from a structural point of view. It does not capture any information about when these variat...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...