2586 search results - page 354 / 518 » Automatic Abstraction for Congruences |
170
click to vote
GLOBECOM
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— Software routers are becoming an important alternative to proprietary and expensive network devices, because they exploit the economy of scale of the PC market and open...
168
click to vote
SEFM
2006
IEEE
16 years 13 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
189
click to vote
ACMSE
2006
ACM
16 years 12 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
141
click to vote
ASPDAC
2006
ACM
16 years 12 days ago
2006
ACM
–Architectures with multiple programmable cores are becoming more attractive for video codec applications because they can provide highly concurrent computation and support multi...
156
click to vote
ASPDAC
2006
ACM
16 years 12 days ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...