3591 search results - page 15 / 719 » Typing linear constraints |
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
APLAS
2004
ACM
2004
ACM
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
14 years 3 months ago
There are two ways to write a program for manipulating tree-structured data such as XML documents: One is to write a tree-processing program focusing on the logical structure of t...
PPDP
2009
Springer
14 years 5 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
GM
1999
Springer
14 years 2 months ago
1999
Springer
: The idea of summing pairs of so-called semi-wavelets has been found to be very useful for constructing piecewise linear wavelets over refinements of arbitrary triangulations. In...