Letteratura scientifica selezionata sul tema "Asynchronous dynamic"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Asynchronous dynamic".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Asynchronous dynamic"
Fu, Mingzhu, Xude Wang, Yuhan Fan, Mengxiang Lu, Kaixin Li e Suwen Li. "Real-time observation of soliton pulsation and explosion in an Yb-doped fiber laser". Laser Physics 34, n. 5 (4 aprile 2024): 055102. http://dx.doi.org/10.1088/1555-6611/ad38b0.
Testo completoDaggitt, Matthew L., e Timothy G. Griffin. "Dynamic asynchronous iterations". Journal of Parallel and Distributed Computing 164 (giugno 2022): 168–77. http://dx.doi.org/10.1016/j.jpdc.2022.03.013.
Testo completoNatanzon, Assaf, e Eitan Bachmat. "Dynamic Synchronous/Asynchronous Replication". ACM Transactions on Storage 9, n. 3 (1 agosto 2013): 1–19. http://dx.doi.org/10.1145/2501620.2508011.
Testo completoLin, Yu-Yu, e Kwang-Cheng Chen. "Asynchronous Dynamic Spectrum Access". IEEE Transactions on Vehicular Technology 61, n. 1 (gennaio 2012): 222–36. http://dx.doi.org/10.1109/tvt.2011.2176763.
Testo completoNatanzon, Assaf, e Eitan Bachmat. "Dynamic Synchronous/Asynchronous Replication". ACM Transactions on Storage 9, n. 3 (agosto 2013): 1–19. http://dx.doi.org/10.1145/2508011.
Testo completoObridko, I., e R. Ginosar. "Minimal Energy Asynchronous Dynamic Adders". IEEE Transactions on Very Large Scale Integration (VLSI) Systems 14, n. 9 (settembre 2006): 1043–47. http://dx.doi.org/10.1109/tvlsi.2006.884056.
Testo completoBalbiani, Philippe, Hans van Ditmarsch e Saúl Fernández González. "Asynchronous Announcements". ACM Transactions on Computational Logic 23, n. 2 (30 aprile 2022): 1–38. http://dx.doi.org/10.1145/3481806.
Testo completoLewandowski, Gary, Anne Condon e Eric Bach. "Asynchronous analysis of parallel dynamic programming". ACM SIGMETRICS Performance Evaluation Review 21, n. 1 (giugno 1993): 268–69. http://dx.doi.org/10.1145/166962.167035.
Testo completoMartinez, J., C. Dortolina, H. Villamediana, W. Pena e J. Beuses. "Asynchronous motor protection against dynamic instabilities". IEEE Transactions on Industry Applications 36, n. 4 (2000): 978–85. http://dx.doi.org/10.1109/28.855950.
Testo completoZaliatov, Artem, Roman Zakiria, Olena Berezshna e Svetlana Malyhina. "Mathematical modeling of the vector control sys-tem of the asynchronous drive of the bridge crane with a fuzzy-controller for the purpose of increasing energy-efficiency". Bulletin of Kharkov National Automobile and Highway University 1, n. 104 (9 aprile 2024): 22. http://dx.doi.org/10.30977/bul.2219-5548.2024.104.1.22.
Testo completoTesi sul tema "Asynchronous dynamic"
Ahmed, Jamil. "Asynchronous design in dynamic CMOS". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0011/MQ34126.pdf.
Testo completoKocak, Umut, Karljohan Palmerius e Matthew Cooper. "Dynamic Deformation Using Adaptable, Linked Asynchronous FEM Regions". Linköpings universitet, Visuell informationsteknologi och applikationer, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-18053.
Testo completoKadirire, James. "Dynamic multicast routing in the asynchronous transfer mode environment". Thesis, University College London (University of London), 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.318069.
Testo completoMullins, Robert D. "Dynamic instruction scheduling and data forwarding in asynchronous superscalar processors". Thesis, University of Edinburgh, 2001. http://hdl.handle.net/1842/12701.
Testo completoMabry, Ryan. "Gate Level Dynamic Energy Estimation In Asynchronous Circuits Using Petri Nets". Scholar Commons, 2007. http://scholarcommons.usf.edu/etd/3826.
Testo completoPham, The Anh. "Efficient state-space exploration for asynchronous distributed programs ˸ Adapting unfolding-based dynamic partial order reduction to MPI programs". Thesis, Rennes, École normale supérieure, 2019. http://www.theses.fr/2019ENSR0020/document.
Testo completoDistributed message passing applications are in the mainstream of information technology since they exploit the power of parallel computer systems to produce higher performance. Designing distributed programs remains challenging because developers have to reason about concurrency, non-determinism, data distribution… that are main characteristics of distributed programs. Besides, it is virtually impossible to ensure the correctness of such programs via classical testing approaches since one may never successfully reach the execution that leads to unwanted behaviors in the programs. There is thus a need for more powerful verification techniques. Model-checking is one of the formal methods that allows to verify automatically and effectively some properties on models of computer systems by exploring all possible behaviors (states and transitions) of the system model. However, state spaces increase exponentially with the number of concurrent processes, leading to “state space explosion”.Unfolding-based Dynamic Partial Order Reduction (UDPOR) is a recent technique mixing Dynamic Partial Order Reduction (DPOR) with concepts of concurrency theory such as unfoldings to efficiently mitigate state space explosion in model-checking of concurrent programs. It is optimal in the sense that each Mazurkiewicz trace, i.e. a class of interleavings equivalent by commuting adjacent independent actions, is explored exactly once. And it is applicable to running programs, not only models of programs.The thesis aims at adapting UDPOR to verify asynchronous distributed programs (e.g. MPI programs) in the setting of the SIMGRID simulator of distributed applications. To do so, an abstract programming model of asynchronous distributed programs is defined and formalized in the TLA+ language, allowing to precisely define an independence relation, a main ingredient of the concurrency semantics. Then, the adaptation of UDPOR, involving the construction of an unfolding, is made efficient by a precise analysis of dependencies in the programming model, allowing efficient computations of usually costly operation. A prototype implementation of UDPOR adapted to distributed asynchronous programs has been developed, giving promising experimental results on a significant set of benchmarks
Fischer, Frank. "Dynamic Graph Generation and an Asynchronous Parallel Bundle Method Motivated by Train Timetabling". Doctoral thesis, Universitätsbibliothek Chemnitz, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-118358.
Testo completoHadjimichael, Sotiris. "Dynamic simulation of a wind-driven asynchronous generator connected to a D.C. link". Thesis, Imperial College London, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261742.
Testo completoGrimsman, David R. "The Asynchronous t-Step Approximation for Scheduling Batch Flow Systems". BYU ScholarsArchive, 2016. https://scholarsarchive.byu.edu/etd/5957.
Testo completoDevarakonda, SaiPrasanth. "Particle Swarm Optimization". University of Dayton / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=dayton1335827032.
Testo completoLibri sul tema "Asynchronous dynamic"
Ahmed, Jamil. Asynchronous design in dynamic CMOS. Ottawa: National Library of Canada, 1998.
Cerca il testo completoCenter, Ames Research, a cura di. Dynamic modelling and estimation of the error due to asynchronism in a redundant asynchronous multiprocessor system. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1986.
Cerca il testo completoCenter, Langley Research, a cura di. Asynchronous communication of TLNS3DMB boundary exchange. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1997.
Cerca il testo completoMarshall, P. N. A prototype multimedia interface for displaying aspects of group dynamics in an asynchronous distributed CSCW meeting. Manchester: UMIST, 1993.
Cerca il testo completoDynamic Relevance Filtering in Asynchronous Transfer Mode-Based Distributed Interactive Simulation Exercises. Storming Media, 1996.
Cerca il testo completoShapiro, Arthur G. Contrast Asynchronies. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780199794607.003.0112.
Testo completoCapitoli di libri sul tema "Asynchronous dynamic"
Yeung, David W. K., e Leon A. Petrosyan. "Asynchronous Horizons Durable-Strategies Dynamic Games". In Theory and Decision Library C, 215–58. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-92742-4_8.
Testo completoSanders, Peter. "Asynchronous Random Polling Dynamic Load Balancing". In Algorithms and Computation, 37–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-46632-0_5.
Testo completoZivan, Roie, e Amnon Meisels. "Dynamic Ordering for Asynchronous Backtracking on DisCSPs". In Principles and Practice of Constraint Programming - CP 2005, 32–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11564751_6.
Testo completoKundu, Anirban. "Dynamic Web Prediction Using Asynchronous Mouse Activity". In Computational Social Networks, 257–80. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4048-1_10.
Testo completoRamsey, David M. "A Large Population Parental Care Game with Asynchronous Moves". In Advances in Dynamic Games, 149–71. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02690-9_8.
Testo completoNather, Rüdiger, e Claudia Fohry. "Futures for Dynamic Dependencies – Parallelizing the $$\mathcal {H}$$-LU Factorization". In Asynchronous Many-Task Systems and Applications, 9–21. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-61763-8_2.
Testo completoFurmento, Nathalie, Abdou Guermouche, Gwenolé Lucas, Thomas Morin, Samuel Thibault e Pierre-André Wacrenier. "Optimizing Parallel System Efficiency: Dynamic Task Graph Adaptation with Recursive Tasks". In Asynchronous Many-Task Systems and Applications, 166–72. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-61763-8_16.
Testo completoChandrasekar, Kavitha, e Laxmikant V. Kale. "Dynamic Tuning of Core Counts to Maximize Performance in Object-Based Runtime Systems". In Asynchronous Many-Task Systems and Applications, 92–104. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-61763-8_9.
Testo completoGuidec, Frédéric, e Hervé Roussain. "Asynchronous Document Dissemination in Dynamic Ad Hoc Networks". In Parallel and Distributed Processing and Applications, 44–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30566-8_8.
Testo completoSalhiene, Mohammed Es, Laurent Fesquet e Marc Renaudin. "Dynamic Voltage Scheduling for Real Time Asynchronous Systems". In Lecture Notes in Computer Science, 390–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45716-x_39.
Testo completoAtti di convegni sul tema "Asynchronous dynamic"
Abdelrahim, Mahmoud, e Dhafer Almakhles. "Dynamic Event-Triggered Control for LTI Systems with Asynchronous Input/Output Transmissions". In 2024 American Control Conference (ACC), 4681–86. IEEE, 2024. http://dx.doi.org/10.23919/acc60939.2024.10644371.
Testo completoKral, Martin, e Radomir Gono. "Dynamic model of asynchronous machine". In 2017 18th International Scientific Conference on Electric Power Engineering (EPE). IEEE, 2017. http://dx.doi.org/10.1109/epe.2017.7967320.
Testo completoJoshi, R. V., W. Huang e C. T. Chuang. "SOI for asynchronous dynamic circuits". In the 11th Great Lakes Symposium. New York, New York, USA: ACM Press, 2001. http://dx.doi.org/10.1145/368122.368734.
Testo completoLewandowski, Gary, Anne Condon e Eric Bach. "Asynchronous analysis of parallel dynamic programming". In the 1993 ACM SIGMETRICS conference. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/166955.167035.
Testo completoPapp, Albert L., e Meera M. Blattner. "Dynamic presentation of asynchronous auditory output". In the fourth ACM international conference. New York, New York, USA: ACM Press, 1996. http://dx.doi.org/10.1145/244130.244154.
Testo completoLee, Kooktae. "A Stabilizing Control Algorithm for Asynchronous Parallel Quadratic Programming via Dual Decomposition". In ASME 2019 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/dscc2019-9047.
Testo completoRuiz, Rafael O., Marcelo H. Di Liscia, Luis Medina e Sergio Di´az. "Asynchronous Dynamic Coefficients of a Three Lobe Air Bearing". In ASME Turbo Expo 2007: Power for Land, Sea, and Air. ASMEDC, 2007. http://dx.doi.org/10.1115/gt2007-27919.
Testo completoOmelchenko, Evgeniy, Timur Khramshin, Vasiliy Tanich e Igor Kozhevnikov. "Dynamic Computer Model of Traction Asynchronous Motor". In 2019 IEEE Russian Workshop on Power Engineering and Automation of Metallurgy Industry: Research & Practice (PEAMI). IEEE, 2019. http://dx.doi.org/10.1109/peami.2019.8915408.
Testo completoBelayadi, Djahida, e Walid Hidouci. "Dynamic Range Partitioning with Asynchronous Data Balancing". In 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, 2016. http://dx.doi.org/10.1109/uic-atc-scalcom-cbdcom-iop-smartworld.2016.0185.
Testo completoBertsekas, Dimitri P., e Huizhen Yu. "Distributed asynchronous policy iteration in dynamic programming". In 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 2010. http://dx.doi.org/10.1109/allerton.2010.5707073.
Testo completoRapporti di organizzazioni sul tema "Asynchronous dynamic"
Kumar, Akshat, John Hector Solis e Benjamin Matschke. Dynamic analysis methods for detecting anomalies in asynchronously interacting systems. Office of Scientific and Technical Information (OSTI), gennaio 2014. http://dx.doi.org/10.2172/1204104.
Testo completo