1528 search results - page 128 / 306 » Performance Assertion Checking |
117
click to vote
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
121
Voted
FCCM
2004
IEEE
15 years 6 months ago
2004
IEEE
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...
106
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
122
Voted
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
—In this paper, we present a novel method to construct nonbinary irregular LDPC codes whose parity check matrix has only column weights of 2 and t, where t ≥ 3. The constructed...
126
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...