3573 search results - page 621 / 715 » Reasoning about Codata |
96
Voted
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a technique that compresses a string w by enumerating all the substrings of w. The substrings are enumerated from the shortest to the longest and in lexicographic order...
96
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
96
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Relations between users on social media sites often reflect a mixture of positive (friendly) and negative (antagonistic) interactions. In contrast to the bulk of research on soci...
102
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Biological scientists have made large amounts of data available on the Web, which can be accessed by canned or precomputed queries presented via web forms. To satisfy further info...
102
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...