1559 search results - page 18 / 312 » The Semantics of Future and Its Use in Program Optimizations |
104
Voted
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
85
Voted
EUSFLAT
2007
15 years 1 months ago
2007
This paper concerns problem of selection of optimal subset of irredundant unconditional diagnostic tests by means of evolutionary approach. The method of correction of features’...
HPCN
2000
Springer
15 years 3 months ago
2000
Springer
Data futures in a metacomputing system refer to data products that have not yet been created but which can be uniquely named and manipulated. We employ data flow mechanisms expres...
107
click to vote
IFIP
2007
Springer
15 years 5 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
103
Voted
COLING
2000
15 years 1 months ago
2000
This paper presents a robust client/server implementation of a word sense disambiguator for English. This system associates a word with its meaning in a given context using dictio...