5472 search results - page 83 / 1095 » Stochastic Mechanism Design |
156
click to vote
ICCAD
2008
IEEE
16 years 29 days ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
109
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
With the end of clock-frequency scaling, parallelism has emerged as the key driver of chip-performance growth. Yet, several factors undermine efficient simultaneous use of onchip ...
143
Voted
QOFIS
2004
Springer
15 years 9 months ago
2004
Springer
Pricing is considered a relevant way to control congestion and differentiate services in communication networks. Among all pricing schemes, auctioning for bandwidth has received a...
122
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
112
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...