1886 search results - page 221 / 378 » Verifying and Validating Simulation Models |
103
click to vote
FGCN
2007
IEEE
15 years 9 months ago
2007
IEEE
Volatile data, being vital to digital investigation, have become part of the standard items targeted in the course of live response to a computer system. In traditional computer f...
128
click to vote
DSD
2009
IEEE
15 years 7 months ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...
135
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
A novel evolutionary approach for the bin packing problem (BPP) is presented. A simple steady-state genetic algorithm is developed that produces results comparable to other approa...
147
click to vote
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
101
click to vote
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...