675 search results - page 85 / 135 » Using Fairness to Make Abstractions Work |
115
Voted
ICCD
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— Recent research has shown that forwarding speculative data to other processors before it is requested can improve the performance of multiprocessor systems. The most re...
154
Voted
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
121
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
118
click to vote
IBERAMIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we investigate the way of improving the performance of a Named Entity Extraction (NEE) system by applying machine learning techniques and corpus transformat...
110
Voted
APPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In many-core CMP architectures, the cache coherence protocol is a key component since it can add requirements of area and power consumption to the final design and, there...