12032 search results - page 2355 / 2407 » Simulation of Manufacturing Systems |
125
click to vote
TLCA
1997
Springer
15 years 4 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
ICPP
1994
IEEE
15 years 4 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
ASPLOS
1992
ACM
15 years 4 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
102
click to vote
COMSWARE
2007
IEEE
15 years 3 months ago
2007
IEEE
The Border Gateway Protocol (BGP) is the standard protocol for exchanging routing information between border routers of Autonomous Systems (ASes) in today's Internet. Within a...
105
click to vote
COMSWARE
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper proposes a middleware to reduce the and consistency are usually poor since they depend on cell consumption of network resources and optimize the provision of size; GPS t...