3340 search results - page 512 / 668 » Teaching networking hardware |
180
click to vote
DATE
1998
IEEE
15 years 11 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...
176
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
The intellectual property (IP) business model is vulnerable to a number of potentially devastating obstructions, such as misappropriation and intellectual property fraud. We propo...
211
click to vote
ISCA
1998
IEEE
15 years 11 months ago
1998
IEEE
Computer systems have become powerful enough to process continuous data streams such as video or animated graphics. While processing power and communication bandwidth of today...
170
click to vote
MICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
The fill unit is the structure which collects blocks of instructions and combines them into multi-block segments for storage in a trace cache. In this paper, we expand the role of...
183
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...