1629 search results - page 195 / 326 » Infeasible Code Detection |
107
click to vote
CSMR
2005
IEEE
15 years 7 months ago
2005
IEEE
Analyzing historical information can show how a software system evolved into its current state, which parts of the system are stable and which have changed more. However, historic...
106
click to vote
SIGCSE
2000
ACM
15 years 6 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
ASIACRYPT
2000
Springer
15 years 6 months ago
2000
Springer
Since Power Analysis on smart-cards was introduced by Paul Kocher [KJJ98], the validity of the model used for smart-cards has not been given much attention. In this paper, we firs...
149
click to vote
PLDI
1996
ACM
15 years 5 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
135
Voted
FPL
2009
Springer
15 years 5 months ago
2009
Springer
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...