7766 search results - page 253 / 1554 » Testing Nondeterminate Systems |
178
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
166
click to vote
SRDS
2008
IEEE
16 years 29 days ago
2008
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall dire...
171
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
198
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
A discrete distribution D over Σ1 × · · · × Σn is called (non-uniform) k-wise independent if for any set of k indexes {i1, . . . , ik} and for any z1 ∈ Σi1 , . . . , zk ...
174
click to vote
STOC
2009
ACM
16 years 1 months ago
2009
ACM
A system of linear equations in p unknowns Mx = b is said to have the removal property if every set S ⊆ {1, . . . , n} which contains o(np− ) solutions of Mx = b can be turned...