5377 search results - page 235 / 1076 » Programming Languages For Interactive Computing |
CP
2005
Springer
15 years 6 months ago
2005
Springer
Methods exploiting tree-decompositions seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. However, they have not shown a real...
100
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
202
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
ITICSE
2005
ACM
15 years 6 months ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
109
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
Multiprocessing is already prevalent in servers where multiple clients present an obvious source of thread-level parallelism. However, the case for multiprocessing is less clear f...