Sökning: "automatic routing"
Visar resultat 1 - 5 av 10 avhandlingar innehållade orden automatic routing.
1. Ad hoc routing protocol validation
Sammanfattning : We explore and evaluate methods for validation of ad hoc routing protocols which are used to set up forwarding paths in spontaneous networks of mobile devices. The focus is automatic formal verification but we also make an initial account of a protocol performance comparison using structured live testing. LÄS MER
2. Computational Methods for Deformable 1D Objects in Virtual Product Realization
Sammanfattning : In industry today, virtual design tools are used in the realization of a new product. As changes in the design and planning concepts are extremely costly in the later verification and production phases, much can be gained if a product design can be optimized and verified with respect to the assembly process with simulation tools as early as possible. LÄS MER
3. Creating Correct Network Protocols
Sammanfattning : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. LÄS MER
4. Aspects of proactive traffic engineering in IP networks
Sammanfattning : To deliver a reliable communication service over the Internet it is essential for the network operator to manage the traffic situation in the network. The traffic situation is controlled by the routing function which determines what path traffic follows from source to destination. LÄS MER
5. Planning Robotic Assembly Sequences
Sammanfattning : In the automotive industry, short ramp up times and high product quality drive the development toward state-of-the-art solutions both in the research and industrial perspective. In addition to that, a sustainable industry requires optimized equipment utilization, in terms of materials used and consumed energy. LÄS MER