13917 search results - page 2707 / 2784 » Abstraction of Probabilistic Systems |
174
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Compiler is substantially regarded as the most essential component in the software toolchain to promote a successful processor design. This paper describes our preliminar...
172
click to vote
LOPSTR
2005
Springer
16 years 8 days ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
221
click to vote
LOPSTR
2005
Springer
16 years 8 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
170
click to vote
PAM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Round trip times (RTTs) play an important role in Internet measurements. In this paper, we explore some of the ways in which routing policies impact RTTs. In particular, ...
182
click to vote
PREMI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Technological advances in experimental and computational molecular biology have revolutionized the whole fields of biology and medicine. Large-scale sequencing, expressio...