2081 search results - page 327 / 417 » codes 2006 |
182
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
RECOMB
2006
Springer
15 years 11 months ago
2006
Springer
Micro-indels are small insertion or deletion events (indels) that occur during genome evolution. The study of micro-indels is important, both in order to better understand the unde...
CADE
2006
Springer
15 years 11 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
158
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
User written transaction code is responsible for the "C" in ACID transactions, i.e., taking the database from one consistent state to the next. However, user transaction...
109
click to vote
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...