1036 search results - page 45 / 208 » Verification Programs for Abduction |
107
click to vote
ATVA
2009
Springer
15 years 1 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
94
Voted
IJFCS
2008
15 years 22 days ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
93
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
IFIP
2009
Springer
14 years 10 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
114
click to vote
DAC
2009
ACM
15 years 4 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...