2496 search results - page 166 / 500 » Error-detecting properties of languages |
145
click to vote
ECOOP
2004
Springer
15 years 8 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...
129
click to vote
ICALP
2000
Springer
15 years 7 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,...
122
click to vote
ICALP
2000
Springer
15 years 7 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...
131
click to vote
PLDI
2010
ACM
15 years 7 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...
124
click to vote
EACL
2006
ACL Anthology
15 years 5 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...