1040 search results - page 92 / 208 » Resource Usage Verification |
113
click to vote
CCR
2005
15 years 3 months ago
2005
In this note, we propose a security mechanism for protecting IPv6 networks from possible abuses caused by the malicious usage of a multihoming protocol. In the presented approach,...
121
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
125
click to vote
CAP
2010
14 years 10 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
129
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
121
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
External pins for test are precious hardware resources because this number is strongly restricted. Cores are tested via test access mechanisms (TAMs) such as a test bus architectu...