Global ETD Search

Desarrollo de un sistema de refrigeración abastecido de una fuente de energía híbrida para la conservación del recurso hidrobiológico pota en embarcaciones pesqueras artesanales de Atico - Arequipa durante los días de faena

Lavalle Gutierrez, Piero, Tajmani Bolognesi, Yamil2024

upc-peru

Nadir toprak elementli bileşiklerin manyetik, yapısal ve termal karakterizasyonu

Akgün, EmreFen Bilimleri Enstitüsü2007

… argon atmosferi altında su soğutmalı bakır pota içinde eritilmesi ile elde edilmiştir. X-ışını toz kırınım ölçümleri, Bruker D8 Advance x-ışını toz difraktometresi ile yapılmıştır. xx1?X-ışını toz kırınım çalışmaları, I4/mmm uzay grubuna sahip tetragonal CeFeSi-tipi kristal yapıyı ve bazı …

ankara Repository record for Nadir toprak elementli bileşiklerin manyetik, yapısal ve termal karakterizasyonu (opens in a new tab)

Techniques for formal verification of concurrent and distributed program traces

Sen, Mehmet AlperThe University of Texas at Austin2004

… a prototype system Partial Order Trace Analyzer (POTA), which implements our algorithms. We verify several scalable and industrial protocols including CORBA’s GIOP, ISO’s ATMR, cache coherence and mutual exclusion. Our experimental results indicate that slicing can lead to exponential reduction …

texas Repository record for Techniques for formal verification of concurrent and distributed program traces (opens in a new tab)