416 search results - page 40 / 84 » Some new approaches for preventing software tampering |
112
click to vote
VLSI
2007
Springer
15 years 7 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
166
click to vote
TCAD
2010
14 years 8 months ago
2010
Abstract--In double patterning lithography (DPL) layout decomposition for 45nm and below process nodes, two features must be assigned opposite colors (corresponding to different ex...
114
click to vote
AADEBUG
1997
Springer
15 years 5 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
112
click to vote
APSEC
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
122
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...