4743 search results - page 374 / 949 » The PlusCal Algorithm Language |
120
click to vote
DAARC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. It has been a prevalent assumption in the literature that phonetically null Subjects of finite clauses are pronouns. This paper examines in detail this empirical generali...
140
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
169
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
150
click to vote
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
Parallel text alignment is a special type of pattern recognition task aimed to discover the similarity between two sequences of symbols. Given the same text in two different langua...
128
click to vote
COCO
2006
Springer
15 years 8 months ago
2006
Springer
We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis. We show that both hinge on the question of understanding the...