2496 search results - page 166 / 500 » Error-detecting properties of languages |
191
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Grid applications are fragile when changes to service implementations, non-functional properties or communication protocols take place. Moreover, developing Grid applicat...
161
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
147
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
169
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
153
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
We investigate the lexical and syntactic flexibility of a class of idiomatic expressions. We develop measures that draw on such linguistic properties, and demonstrate that these s...