Essays about: "lean programs"
Showing result 1 - 5 of 27 essays containing the words lean programs.
-
1. Simple formally verified compiler in Lean
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : Computer checked proofs that a compiler is correct are important for increasing the confidence in programs. This report presents a simple compiler and a proof that the compiler is correct for terminating evaluations using the interactive theorem prover Lean, based on Concrete Semantics: with Isabelle/HOL. READ MORE
-
2. Computational and accuracy benchmarking of simulation and system-theoretic models for production systems engineering
University essay from Högskolan i Skövde/Institutionen för ingenjörsvetenskapAbstract : The modern industry has an increasing demand for simulation software able to help workers and decision-makers visualize the outputs of a specific process in a fast, accurate way. In this report, a comparative study between FACTS (Factory Analyses in ConcepTual phase using Simulation), Plant Simulation, and PSE (Production System Engineering) Toolbox is done regarding their capacity to simulate models with increasing complexity, how accurate they are in their outputs with different optimized buffer allocations, and how well they perform on the task of detecting the bottlenecks of a process. READ MORE
-
3. Using Lean Practices to Develop Improvement Suggestions for a Warehouse – A case study of a company in the perishables industry
University essay from Lunds universitet/Teknisk logistikAbstract : Title – Using Lean Practices to Develop Improvement Suggestions for a Warehouse: A case study of a company in the perishables industry Author – Leon Liljeqvist Supervisor – Joakim Kembro, Division of Engineering Logistics, Faculty of Engineering – LTH, Lund University Purpose – The purpose of this thesis is to improve the turnover of goods at the most prominent locations in the warehouse's dispatch area, by identifying problem areas in the material flows that hinder the efficiency and provide remedy suggestions for these. Design/Methodology – To fulfill the purpose a single in-depth case study is conducted with theory-building research purpose. READ MORE
-
4. Influencing factors on the implementation and integration of strategic improvement systems in multinational corporations: A case study of Volvo Production System in geographically dispersed subsidiaries within Volvo Group Trucks Powertrain
University essay from Göteborgs universitet/Graduate SchoolAbstract : In today's competitive environment companies face the challenges of continuously working towards making their operations more efficient and effective in pursuance to remain a competitive advantage. In order to cultivate a culture of continuous improvement many enterprises have chosen to develop tailored company specific production systems, known as “XPS”, that aims to optimize the company’s operations. READ MORE
-
5. SALES-ORIENTED MINDSET IN A SERVICE-ORIENTED ENVIRONMENT : - Organizing customer service operations for higher quality and efficiency
University essay from Umeå universitet/FöretagsekonomiAbstract : Efficiency in the manufacturing industry is not a new phenomenon; Toyota andMotorola were to companies that early found a way to eliminate waste by inventing theefficiency models Lean and Six Sigma. For Sweden’s economy, the manufacturingindustry plays an important role in which the forestry industry accounts for around70,000 employees. READ MORE
