1017 search results - page 101 / 204 » Some existence and construction results of polygonal designs |
151
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
149
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Extensible processors, which allow customization for an application domain by extending the core instruction set architecture, are becoming increasingly popular for embedded syste...
164
click to vote
PVM
2007
Springer
16 years 16 days ago
2007
Springer
Open MPI was initially designed to support a wide variety of high-performance networks and network programming interfaces. Recently, Open MPI was enhanced to support networks that ...
170
click to vote
ACSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
The Intrusion Detection System architectures commonly used in commercial and research systems have a number of problems that limit their configurability, scalability or efficiency...
163
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we introduce a structure iterated by the rule A of Skipjack and show that this structure is provably resistant against differential or linear attacks. It is the main ...