7167 search results - page 1133 / 1434 » A Technique for Invariant Generation |
195
click to vote
CLUSTER
2006
IEEE
15 years 11 months ago
2006
IEEE
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
233
Voted
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
201
click to vote
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Conventionally, signal net routing is almost always implemented as Steiner trees. However, non-tree topology is often superior on timing performance as well as tolerance to open f...
183
Voted
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
Cyclic redundancy codes (CRCs) are widely used in network transmission and data storage applications because they provide better error detection than lighter weight checksum techn...
228
click to vote
DSOM
2006
Springer
15 years 11 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...