4767 search results - page 701 / 954 » Structures for Abstract Rewriting |
112
Voted
VLSI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
99
Voted
WEA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The continuous growth of the routing tables sizes in backbone routers is one of the most compelling scaling problems affecting the Internet and has originated considerab...
116
Voted
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
87
Voted
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a p...
100
click to vote
FCCM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract: Approximate string matching is fundamental to bioinformatics, and has been the subject of numerous FPGA acceleration studies. We address issues with respect to FPGA imple...