3 search results - page 1 / 1 » Stream Productivity by Outermost Termination |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
RTA
2010
Springer
13 years 9 months ago
2010
Springer
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
CCE
2004
13 years 5 months ago
2004
In the literature, optimization models deal with planning and scheduling of several subsystems of the petroleum supply chain such as oilfield infrastructure, crude oil supply, ref...