8228 search results - page 1413 / 1646 » Structural Logical Relations |
92
Voted
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
We give the first study of copy detection techniques for VLSI CAD applications; these techniques are complementary to previous watermarking-based IP protection methods in finding ...
106
Voted
IEEEPACT
1999
IEEE
15 years 5 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
136
click to vote
DSOM
1999
Springer
15 years 5 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
108
click to vote
COMPSAC
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
101
Voted
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...