Sökning: "Erlang"
Visar resultat 16 - 18 av 18 avhandlingar innehållade ordet Erlang.
16. The design philosophy of distributed programming systems : the Mozart experience
Sammanfattning : Distributed programming is usually considered both difficult and inherently different from concurrent centralized programming. It is thought that the distributed programming systems that we ultimately deploy, in the future, when we've worked out all the details, will require a very different programming model and will even need to be evaluated by new criteria. LÄS MER
17. On Modelling and Analysing Concurrent Systems
Sammanfattning : In order to verify program correctness one needs an appropriate programming language, a specification of the program correctness, and some methods to prove the program correct. We examine two of these aspects: a language for writing a particular kind of concurrent programs, that is modelling concurrent systems, and methods to prove certain correctness properties of concurrent programs, that is analysing concurrent systems. LÄS MER
18. Essays on capacity, forecasting and lot scheduling
Sammanfattning : Production-inventory systems are concerned with the effective management of the total flow of goods, from the acquisition of raw materials to the delivery of finished products to the final customer. A production-inventory system is composed of a large number of elements which have to be managed effectively in order to deliver the final products in appropriate quantities, to where they are required, at the desired time and quality, and at a reasonable cost. LÄS MER