2071 search results - page 155 / 415 » An Empirical Evaluation of LFG-DOP |
113
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
113
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
112
click to vote
CISIS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is signiï¬cantly lower than the maxi...
120
click to vote
FOCI
2007
IEEE
15 years 7 months ago
2007
IEEE
— We evaluate the average waiting time between observing the price of ï¬nancial markets and the next price change, especially in an on-line foreign exchange trading service for ...
122
click to vote
ICCBR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...