5472 search results - page 242 / 1095 » Stochastic Mechanism Design |
140
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Integrated circuits with bounded lifetimes can have many business advantages. We give some simple examples of m ods to enforce tunable expiration dates for chips using nanom reliab...
139
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
161
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Microprocessors can have design errors that escape the test and validation process. The cost to rectify these errors after shipping the processors can be very expensive as it m...
156
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...