762 search results - page 102 / 153 » Conditionally correct superoptimization |
137
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
150
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Provision of mobile broadband wireless access, for instance via high altitude platforms (HAPs) to the passengers on a high-speed train, requires the development of efficient and r...
131
click to vote
MMM
2007
Springer
15 years 10 months ago
2007
Springer
A new segmentation algorithm for multifont Farsi/Arabic texts based on conditional labeling of up and down contours was presented in [1]. A preprocessing technique was used to adju...
131
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Ranking systems are a fundamental ingredient of multi-agent environments and Internet Technologies. These settings can be viewed as social choice settings with two distinguished p...
128
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...