13618 search results - page 165 / 2724 » The Newton Operating System |
192
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
175
click to vote
WSC
2000
15 years 7 months ago
2000
Batching jobs in a manufacturing system is a very common policy in most industries. The main reasons for batching are avoidance of set ups and/or facilitation of material handling...
200
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
145
click to vote
RSCTC
1998
Springer
15 years 10 months ago
1998
Springer
This paper reviews and discusses generalizations of Pawlak rough set approximation operators in mathematical systems, such as topological spaces, closure systems, lattices, and pos...