4810 search results - page 126 / 962 » Modeling Value Speculation |
163
click to vote
SODA
2003
ACM
15 years 7 months ago
2003
ACM
We consider packet scheduling in a network providing differentiated services, where each packet is assigned a value. We study various queueing models for supporting QoS (Quality ...
153
click to vote
UAI
1996
15 years 7 months ago
1996
We propose a decision-analytical approach to comparing the flexibility of decision situations from the perspective of a decisionmaker who exhibits constant risk-aversion over a mo...
153
click to vote
ASPLOS
2010
ACM
16 years 26 days ago
2010
ACM
As the number of devices available per chip continues to increase, the computational potential of future computer architectures grows likewise. While this is a clear benefit for f...
186
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
174
click to vote
ISCA
2006
IEEE
15 years 6 months ago
2006
IEEE
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...