Sökning: "Linearizable"
Visar resultat 1 - 5 av 7 avhandlingar innehållade ordet Linearizable.
1. Lock-free Concurrent Search
Sammanfattning : The contemporary computers typically consist of multiple computing cores with high compute power. Such computers make excellent concurrent asynchronous shared memory system. LÄS MER
2. Painlevé analysis and transformations for nonlinear partial differential equations
Sammanfattning : Nonlinear partial differential equations play a fundamental role in the description of many physical models. In order to get a complete understanding of the phenomena which are modeled it is important to obtain exact analytic solutions. LÄS MER
3. Partition Tolerance and Data Consistency in Structured Overlay Networks
Sammanfattning : Structured overlay networks form a major class of peer-to-peer systems, which are used to build scalable, fault-tolerant and self-managing distributed applications. This thesis presents algorithms for structured overlay networks, on the routing and data level, in the presence of network and node dynamism. LÄS MER
4. Efficient Implementation of Concurrent Data Structures on Multi-core and Many-core Architectures
Sammanfattning : Synchronization of concurrent threads is the central problem in order to design efficient concurrent data-structures. The compute systems widely available in market are increasingly becoming heterogeneous involving multi-core Central Processing Units (CPUs) and many-core Graphics Processing Units (GPUs). LÄS MER
5. Principles for planning and analyzing motions of underactuated mechanical systems and redundant manipulators
Sammanfattning : Motion planning and control synthesis are challenging problems for underactuated mechanical systems due to the presence of passive (non-actuated) degrees of freedom. For those systems that are additionally not feedback linearizable and with unstable internal dynamics there are no generic methods for planning trajectories and their feedback stabilization. LÄS MER