675 search results - page 17 / 135 » Using Fairness to Make Abstractions Work |
155
Voted
DLOG
2009
15 years 1 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
146
Voted
MUC
1991
15 years 7 months ago
1991
ind this work was to extract a relatively abstract level of information from each sentence , using only a limited vocabulary that was hand-crafted to handle a restricted set of tar...
105
Voted
HIPEAC
2010
Springer
16 years 23 days ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
127
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
122
Voted
IUI
1999
ACM
15 years 8 months ago
1999
ACM
er has outlined the potential of multiagent framework for decision support. From an abstract point of view, the concept of an agent has been used as modularization principle for th...