1151 search results - page 185 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
107
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
161
click to vote
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
—High-speed content inspection of network traffic is an important new application area for programmable networking systems, and has recently led to several proposals for high-per...
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper considers designing in the minimax sense complementary low-pass/high-pass approximately linear-phase recursive filters with variable magnitude characteristi...
153
click to vote
CN
1999
15 years 3 months ago
1999
We present the design, implementation and evaluation of an open programmable mobile network based on distributed object technology called mobiware that dynamically exploits the in...
143
click to vote
ASIACRYPT
2001
Springer
15 years 8 months ago
2001
Springer
The aim of this article is to propose a fully distributed environment for the RSA scheme. What we have in mind is highly sensitive applications and even if we are ready to pay a pr...