Sciweavers

3 search results - page 1 / 1
» Stream Productivity by Outermost Termination
Sort
View
65
Voted
CORR
2009
Springer
86views Education» more  CORR 2009»
14 years 10 months ago
Stream Productivity by Outermost Termination
Hans Zantema, Matthias Raffelsieper
96
Voted
RTA
2010
Springer
15 years 4 months ago
Proving Productivity in Infinite Data Structures
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 ...
Hans Zantema, Matthias Raffelsieper
CCE
2004
15 years 16 days ago
A general modeling framework for the operational planning of petroleum supply chains
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...
Sérgio M. S. Neiro, José M. Pinto