2421 search results - page 8 / 485 » Integrity Assurance Technique Using Determinant Approach |
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
IASTEDSE
2004
14 years 9 days ago
2004
Inspections are an established quality assurance technique. In order to optimize the inspection approach, different reading techniques, such as checklist-based reading and scenari...
IPPS
2000
IEEE
14 years 3 months ago
2000
IEEE
Recently, the diversified types of companies have been trying to cooperate among them to cope with the dynamic market and thus integration of their DBs with heterogeneous requirem...
IWSSD
2000
IEEE
14 years 3 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
CODASPY
2012
12 years 6 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...