Thematische Bibliographien / Iterators

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Iterators“

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Iterators" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Iterators"

Baker, Henry G. „Iterators“. ACM SIGPLAN OOPS Messenger 4, Nr. 3 (Juli 1993): 18–25. http://dx.doi.org/10.1145/165507.165514.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Liu, Jed, Aaron Kimball und Andrew C. Myers. „Interruptible iterators“. ACM SIGPLAN Notices 41, Nr. 1 (12.01.2006): 283–94. http://dx.doi.org/10.1145/1111320.1111063.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lamb, D. A. „Specification of iterators“. IEEE Transactions on Software Engineering 16, Nr. 12 (1990): 1352–60. http://dx.doi.org/10.1109/32.62444.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Castagna, Giuseppe, und Kim Nguyen. „Typed iterators for XML“. ACM SIGPLAN Notices 43, Nr. 9 (27.09.2008): 15–26. http://dx.doi.org/10.1145/1411203.1411210.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

MESSERSCHMIDT, H. J. „List Iterators in C++“. Software: Practice and Experience 26, Nr. 11 (November 1996): 1197–203. http://dx.doi.org/10.1002/(sici)1097-024x(199611)26:11<1197::aid-spe55>3.0.co;2-l.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Haack, Christian, und Clément Hurlin. „Resource Usage Protocols for Iterators.“ Journal of Object Technology 8, Nr. 4 (2009): 55. http://dx.doi.org/10.5381/jot.2009.8.4.a3.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Coyle, Christopher, und Peter Crogono. „Building abstract iterators using continuations“. ACM SIGPLAN Notices 26, Nr. 2 (02.01.1991): 17–24. http://dx.doi.org/10.1145/122179.122181.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rayside, Derek, Vajihollah Montaghami, Francesca Leung, Albert Yuen, Kevin Xu und Daniel Jackson. „Synthesizing iterators from abstraction functions“. ACM SIGPLAN Notices 48, Nr. 3 (10.04.2013): 31–40. http://dx.doi.org/10.1145/2480361.2371407.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Zhang, Wei, Per Larsen, Stefan Brunthaler und Michael Franz. „Accelerating iterators in optimizing AST interpreters“. ACM SIGPLAN Notices 49, Nr. 10 (31.12.2014): 727–43. http://dx.doi.org/10.1145/2714064.2660223.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bergstra, Jan A., und Alban Ponse. „Non-regular iterators in process algebra“. Theoretical Computer Science 269, Nr. 1-2 (Oktober 2001): 203–29. http://dx.doi.org/10.1016/s0304-3975(00)00413-8.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Iterators"

Shen, Jiasi. „RIFL : a language with filtered iterators“. Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/101587.

Der volle Inhalt der Quelle

Annotation:

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 143-146).
RIFL is a new programming language that enables developers to write only common-case code to robustly process structured inputs. RIFL eliminates the need to manually handle errors with a new control structure, filtered iterators. A filtered iterator treats inputs as collections of input units, iterates over the units, uses the program itself to filter out unanticipated units, and atomically updates program state for each unit. Filtered iterators can greatly simplify the development of robust programs. We formally define filtered iterators in RIFL. The semantics of filtered iterators ensure that each input unit affects program execution atomically. Our benchmarks show that using filtered iterators reduces an average of 41.7% lines of code, or 58.5% conditional clauses and 33.4% unconditional computation, from fully manual implementations.
by Jiasi Shen.
S.M.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Manilov, Stanislav Zapryanov. „Analysis and transformation of legacy code“. Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/29612.

Der volle Inhalt der Quelle

Annotation:

Hardware evolves faster than software. While a hardware system might need replacement every one to five years, the average lifespan of a software system is a decade, with some instances living up to several decades. Inevitably, code outlives the platform it was developed for and may become legacy: development of the software stops, but maintenance has to continue to keep up with the evolving ecosystem. No new features are added, but the software is still used to fulfil its original purpose. Even in the cases where it is still functional (which discourages its replacement), legacy code is inefficient, costly to maintain, and a risk to security. This thesis proposes methods to leverage the expertise put in the development of legacy code and to extend its useful lifespan, rather than to throw it away. A novel methodology is proposed, for automatically exploiting platform specific optimisations when retargeting a program to another platform. The key idea is to leverage the optimisation information embedded in vector processing intrinsic functions. The performance of the resulting code is shown to be close to the performance of manually retargeted programs, however with the human labour removed. Building on top of that, the question of discovering optimisation information when there are no hints in the form of intrinsics or annotations is investigated. This thesis postulates that such information can potentially be extracted from profiling the data flow during executions of the program. A context-aware data dependence profiling system is described, detailing previously overlooked aspects in related research. The system is shown to be essential in surpassing the information that can be inferred statically, in particular about loop iterators. Loop iterators are the controlling part of a loop. This thesis describes and evaluates a system for extracting the loop iterators in a program. It is found to significantly outperform previously known techniques and further increases the amount of information about the structure of a program that is available to a compiler. Combining this system with data dependence profiling improves its results even more. Loop iterator recognition enables other code modernising techniques, like source code rejuvenation and commutativity analysis. The former increases the use of idiomatic code and as a result increases the maintainability of the program. The latter can potentially drive parallelisation and thus dramatically improve runtime performance.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Denis, Xavier. „Deductive verification of Rust programs“. Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG101.

Der volle Inhalt der Quelle

Annotation:

Rust est un langage de programmation introduit en 2015, qui apporte au programmeur des éléments de sûreté concernant l'utilisation de la mémoire. Le but de cette thèse est le développement d'un outil de vérification déductive pour le langage Rust, en exploitant les spécificités de son système de types afin notamment de simplifier la gestion de l'aliasing mémoire. Une telle approche de vérification permet de s'assurer de l'absence d'erreurs à l'exécution des programmes considérés, ainsi que leur conformité vis-a-vis d'une spécification formelle du comportement fonctionnel attendu. Le fondement théorique de l'approche proposé dans cette thèse est d'utiliser une notion de prophétie qui permet d'interpréter les emprunts mutables du langage Rust en une valeur courante et une valeur future cet emprunt. L'assistant de preuve Coq a été utilisé pour formaliser cet encodage prophétique et prouver la correction de la génération d'obligation de preuves associée. Par ailleurs l'approche a été mise en œuvre dans une implémentation d'un logiciel de vérification pour Rust qui automatise la génération des obligations de preuve et fait appel à des solveurs externes pour valider ces obligations. Afin de supporter les itérateurs de Rust, une extension a été développée pour manipuler les clôtures ainsi qu'une technique de vérification pour les itérateurs et combinateurs. L'implémentation a été évaluée expérimentalement sur des exemples d'algorithmes et structures de données pertinentes. Elle a été également validée par une étude de cas conséquente: la vérification d'un solveur de satisfiabilité modulo theories (SMT)
Rust is a programming language introduced in 2015, which provides the programmer with safety features regarding the use of memory. The goal of this thesis is the development of a deductive verification tool for the Rust language, by leveraging the specificities of its type system, in order to simplify memory aliasing management, among other things. Such a verification approach ensures the absence of errors during the execution of the considered programs, as well as their compliance with a formal specification of the expected functional behavior. The theoretical foundation of the approach proposed in this thesis is to use a notion of prophecy that interprets the mutable borrows in the Rust language as a current value and a future value of this borrow. The Coq proof assistant was used to formalize this prophetic encoding and prove the correctness of the associated proof obligation generation. Furthermore, the approach has been implemented in a verification software for Rust that automates the generation of proof obligations and relies on external solvers to validate these obligations. In order to support Rust iterators, an extension has been developed to manipulate closures, as well as a verification technique for iterators and combinators. The implementation has been experimentally evaluated on relevant algorithm and data structure examples. It has also been validated through a significant case study: the verification of a satisfiability modulo theories (SMT) solver

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Galbraith, Steven Douglas. „Iterations of elliptic curves“. Thesis, Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/28620.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lodin, Viktor, und Magnus Olovsson. „Prestanda- och beteendeanalys av parallella köer med iterator“. Thesis, Högskolan i Borås, Institutionen Handels- och IT-högskolan, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-17770.

Der volle Inhalt der Quelle

Annotation:

I modern utveckling av hårdvara ligger det stort fokus på att producera processorer med fler och fler kärnor. Därmed behöver även mjukvaran utvecklas för att på bästa sätt utnyttja all denna parallella potential. En stor del av detta är då att kunna dela data mellan flera parallella processer, vilket uppnås med hjälp av parallella samlingsdatatyper. En vanlig operation på samlingsdatatyper är att iterera denna. Studiens mål var att analysera prestanda och beteende hos ett flertal kända algoritmer för iteration av datasamlingen kö. Även hur olika förutsättningar kan påverka iteratorns prestanda har värderats. Några exempel på dessa förutsättningar är antalet arbetstrådar som arbetar mot kön, initial storlek hos kön samt olika pinning strategier. Initial storlek beskriver hur många element som befinner sig i kön vid experimentens start och pinning strategi beskriver vilken kärna varje tråd skall binda sig till. Vissa iterator algoritmer lämnar garantier för att det tillstånd som returneras är ett atomiskt snapshot av kön. Ett atomiskt snapshot är en ögonblicksbild av hur kön såg ut vid någon fast tidpunkt. På grund av detta har det även varit ett mål att mäta hur stor kostnaden är för att få denna garanti. Utöver detta har prestandan hos enqueue och dequeue operationerna för respektive kö testats för att få en helhetsblick över köns prestanda.För att mäta prestandan har ett benchmarkprogram implementerats. Detta benchmarkprogram förser ett gränssnitt för samtliga köer att implementera, och kan utefter detta gränssnitt testa prestandan hos kön. Programmet kör mikrobenchmarks som mäter prestandan hos varje enskild operation hos kön. Det sätt som kön pressas på under dessa benchmarks är inte realistiskt för hur kön kan tänkas användas i skarpt läge. Istället mäts prestandan vid högsta möjliga belastning. Detta görs för att enklast kunna jämföra prestandan mellan de olika köerna.I studien har prestandan hos fyra köer med iteratorer testats, experimenten är utförda i C# med .NET 4.5 i en Windows miljö. Den parallella kö som finns i .NET biblioteket var en av köerna som testades. Dels för att det är intressant att se hur väl Microsoft optimerat denna, men också för att få en utgångspunkt att jämföra med de andra testade köerna. Michael och Scotts kö har även den testats, med två stycken olika iteratorer tillagda. Dessa är Scan and Return och Double Collect. Även en parallell kö framtagen med hjälp av universella metoder för att konstruera paralllella dataobjekt från sekventiella, baserad på den immutable kö som finns i .NET biblioteket har testats. En immutable kö är en kö som inte kan modifieras efter initiering.Resultaten från utförda benchmarks visar att Michael och Scott kön med Scan and Return iteratorn är den snabbaste på iteration, med Double Collect iteratorn som tvåa. Snabbast enqueue och dequeue operationer hittas i .NET bibliotekets parallella kö. Kön som bygger på immutable visar sig vara långsammast vad gäller iteration i de flesta fall. Den är även långsammast vad gäller enqueue och dequeue operationerna i samtliga fall. Kostnaden för att få en garanti för ett atomiskt snaphot mäter vi i skillnaden mellan Scan and Return och Double Collect iteratorerna. Detta på grund av att dessa är de två snabbaste iteratorerna och Scan and Return inte lämnar garantin medan Double Collect gör det. Denna kostnad visar sig vara relativt stor, Scan and Return presterar upp emot tre gånger så snabbt som Double Collect.Med hjälp av resultaten från denna studie kan nu utvecklare göra väl informerade val vad gäller vilken kö med iterator algoritm de skall välja för att optimera sina system. Detta kanske är som viktigast vid utveckling av större system, men kan även vara användbart vid mindre.
Program: Systemarkitekturutbildningen

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Shlapunov, Alexander. „On Iterations of double layer potentials“. Universität Potsdam, 2000. http://opus.kobv.de/ubp/volltexte/2008/2568/.

Der volle Inhalt der Quelle

Annotation:

We prove the existence of Hp(D)-limit of iterations of double layer potentials constructed with the use of Hodge parametrix on a smooth compact manifold X, D being an open connected subset of X. This limit gives us an orthogonal projection from Sobolev space Hp(D) to a closed subspace of Hp(D)-solutions of an elliptic operator P of order p ≥ 1. Using this result we obtain formulae for Sobolev solutions to the equation Pu = f in D whenever these solutions exist. This representation involves the sum of a series whose terms are iterations of double layer potentials. Similar regularization is constructed also for a P-Neumann problem in D.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Schrader, U. „Convergence of Asynchronous Jacobi-Newton-Iterations“. Universitätsbibliothek Chemnitz, 1998. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199801324.

Der volle Inhalt der Quelle

Annotation:

Asynchronous iterations often converge under different conditions than their syn- chronous counterparts. In this paper we will study the global convergence of Jacobi- Newton-like methods for nonlinear equationsF x = 0. It is a known fact, that the synchronous algorithm converges monotonically, ifF is a convex M-function and the starting valuesx0 andy0 meet the conditionF x04 04F y0 . In the paper it will be shown, which modifications are necessary to guarantee a similar convergence behavior for an asynchronous computation.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Torshage, Axel. „Linear Functional Equations and Convergence of Iterates“. Thesis, Umeå universitet, Institutionen för matematik och matematisk statistik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-56450.

Der volle Inhalt der Quelle

Annotation:

The subject of this work is functional equations with direction towards linear functional equations. The .rst part describes function sets where iterates of the functions converge to a .xed point. In the second part the convergence property is used to provide solutions to linear functional equations by de.ning solutions as in.nite sums. Furthermore, this work contains some transforms to linear form, examples of functions that belong to di¤erent classes and corresponding linear functional equations. We use Mathematica to generate solutions and solve itera- tively equations.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

MONTAGNAC, MARC. „Controle dynamique d'algorithmes iteratifs de resolution de systemes lineaires“. Paris 6, 1999. http://www.theses.fr/1999PA066351.

Der volle Inhalt der Quelle

Annotation:

Cette these presente la resolution de systemes lineaires par des methodes de type krylov avec l'utilisation de l'arithmetique stochastique discrete. Cette arithmetique permet de prendre en compte la propagation des erreurs d'arrondi de calcul par une approche probabiliste et d'estimer la precision numerique des variables au sein d'un algorithme. Notre objectif est de rendre ces methodes plus robustes et efficaces a l'aide de strategies informatiques dynamiques tout en exercant une validation numerique des resultats. Pour les methodes de type lanczos, bicgstab et cgs, la convergence est souvent erratique et la presence de divisions par zero est problematique. Des methodes prevoyantes de traitement de ces situations appelees arrets apportent une solution a ce dernier phenomene. En arithmetique a virgule flottante, les criteres de detections des arrets ne sont pas adaptes du fait de leur nature a priori. Avec l'arithmetique stochastique discrete, ils sont choisis de maniere dynamique. Pour les grands systemes, ces situations sont rares et il est preferable de redemarrer l'algorithme lorsque les variables de la recurrence n'ont plus de chiffres significatifs. Pour les methodes avec de longues relations de recurrence de type gmres, la principale preoccupation est de trouver une frequence de redemarrage convenable pour assurer la convergence en un temps raisonnable et limiter le stockage en memoire. De nombreuses techniques a priori existent sans toutefois se reveler ideales. Nous proposons une strategie de redemarrage dynamique et etudions son interet suivant les differents schemas d'orthogonalisation. La qualite numerique est d'autant plus importante dans une approche parallele que le nombre d'operations effectuees est souvent plus eleve que sur des machines sequentielles. Nous expliquons donc la realisation de l'interface entre les librairies cadna et mpi qui nous permet de generaliser nos travaux sur des architectures paralleles mimd pour une programmation spmd.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Stumpo, Gordon. „Design Iterations Through Fusion of Additive and Subtractive Design“. Kent State University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=kent1461602511.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Bücher zum Thema "Iterators"

Iterature. Brooklyn: Ugly Duckling Presse, 2005.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ostashevsky, Eugene. Iterature. [s.l.]: Ugly Duckling Presse, 2004.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Robert, François. Discrete Iterations. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/978-3-642-61607-5.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Robert, François. Discrete iterations: Ametric study. Berlin: Springer-Verlag, 1986.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Babin, A. V. Iterations of differential operators. New York: Gordon and Breach Science Publishers, 1989.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Iterations of the diagonal. Toronto, ON: Shuffaloff, 1995.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Timothy, Druckrey, Stainback Charles 1952- und International Center of Photography, Hrsg. Iterations: The new image. New York City: International Center of Photography, 1993.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Leader, Jeffery J. Boundedness and asymptotics of the Generalized Theodorus Iteration. Monterey, Calif: Naval Postgraduate School, 1993.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Scandrett, Clyde. Comparison of several iterative techniques in the solution of symmetric banded equations on a two-pipe Cyber 205. Monterey, Calif: Naval Postgraduate School, 1988.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

United States. National Aeronautics and Space Administration., Hrsg. Spectrum transformation for divergent iterations. [Washington, DC]: National Aeronautics and Space Administration, 1991.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Buchteile zum Thema "Iterators"

Lischner, Ray. „Iterators“. In Exploring C++ 11, 315–24. Berkeley, CA: Apress, 2013. http://dx.doi.org/10.1007/978-1-4302-6194-0_44.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Robson, Robert. „Iterators“. In Using the STL, 24–46. New York, NY: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4684-0531-6_2.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Seamark, Philip, und Thomas Martens. „Iterators“. In Pro DAX with Power BI, 119–44. Berkeley, CA: Apress, 2019. http://dx.doi.org/10.1007/978-1-4842-4897-3_6.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Aspin, Adam. „Iterators“. In Pro DAX and Data Modeling in Power BI, 275–303. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-8995-2_12.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Robson, Robert. „Iterators“. In Using the STL, 29–62. New York, NY: Springer New York, 2000. http://dx.doi.org/10.1007/978-1-4612-1312-3_2.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lischner, Ray. „Using Iterators“. In Exploring C++20, 153–58. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-5961-0_23.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Milanesi, Carlo. „Using Iterators“. In Beginning Rust, 197–221. Berkeley, CA: Apress, 2018. http://dx.doi.org/10.1007/978-1-4842-3468-6_16.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pilgrim, Mark. „Advanced Iterators“. In Dive Into Python 3, 113–30. Berkeley, CA: Apress, 2009. http://dx.doi.org/10.1007/978-1-4302-2416-7_8.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Milanesi, Carlo. „Using Iterators“. In Beginning Rust, 217–42. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-7208-4_16.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lischner, Ray. „More About Iterators“. In Exploring C++20, 341–50. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-5961-0_46.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Iterators"

Liu, Jed, Aaron Kimball und Andrew C. Myers. „Interruptible iterators“. In Conference record of the 33rd ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1111037.1111063.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Filliâtre, Jean-Christophe. „Backtracking iterators“. In the 2006 workshop. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1159876.1159885.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Joyner, M., B. L. Chamberlain und S. J. Deitz. „Iterators in Chapel“. In Proceedings 20th IEEE International Parallel & Distributed Processing Symposium. IEEE, 2006. http://dx.doi.org/10.1109/ipdps.2006.1639499.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Castagna, Giuseppe, und Kim Nguyen. „Typed iterators for XML“. In Proceeding of the 13th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1411204.1411210.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rayside, Derek, Vajihollah Montaghami, Francesca Leung, Albert Yuen, Kevin Xu und Daniel Jackson. „Synthesizing iterators from abstraction functions“. In the 11th International Conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2371401.2371407.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Shen, Jiasi, und Martin Rinard. „Robust programs with filtered iterators“. In SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3136014.3136030.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Langr, Daniel, Ivan Šimeček und Tomáš Dytrych. „Block Iterators for Sparse Matrices“. In 2016 Federated Conference on Computer Science and Information Systems. IEEE, 2016. http://dx.doi.org/10.15439/2016f35.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Zhang, Wei, Per Larsen, Stefan Brunthaler und Michael Franz. „Accelerating iterators in optimizing AST interpreters“. In SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2660193.2660223.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Krishnaswami, Neelakantan R. „Reasoning about iterators with separation logic“. In the 2006 conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1181195.1181213.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Brock, Benjamin, Scott McMillan, Aydin Buluc, Timothy G. Mattson und Jose E. Moreira. „GraphBLAS: C++ Iterators for Sparse Matrices“. In 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, 2022. http://dx.doi.org/10.1109/ipdpsw55747.2022.00053.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Iterators"

Hahn, Kim, und Ja Young Hwang. Helical Iterations. Ames: Iowa State University, Digital Repository, September 2016. http://dx.doi.org/10.31274/itaa_proceedings-180814-1601.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Marchesini, Stefano. Phase retrieval by power iterations. Office of Scientific and Technical Information (OSTI), Oktober 2012. http://dx.doi.org/10.2172/1172721.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Yao, Jen-Chih. Fixed points by Ishikawa iterations. Office of Scientific and Technical Information (OSTI), Dezember 1989. http://dx.doi.org/10.2172/5213436.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Walker, Homer F. Anderson Acceleration for Fixed-Point Iterations. Office of Scientific and Technical Information (OSTI), August 2015. http://dx.doi.org/10.2172/1240289.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Younes, W., und D. Gogny. FRANCHFRI: the Finite-RANge Constrained Hartree-Fock Rapid Iterator. Office of Scientific and Technical Information (OSTI), Januar 2007. http://dx.doi.org/10.2172/902336.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Raftery, Adrian E., und Steven Lewis. How Many Iterations in the Gibbs Sampler? Fort Belvoir, VA: Defense Technical Information Center, September 1991. http://dx.doi.org/10.21236/ada640705.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Leader, Jeffery J. Power Iterations and the Dominant Eigenvalue Problem. Fort Belvoir, VA: Defense Technical Information Center, Dezember 1992. http://dx.doi.org/10.21236/ada261695.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Elman, Howard, und David Silvester. Fast Nonsymmetric Iterations and Preconditioning for Navier-Stokes Equations. Fort Belvoir, VA: Defense Technical Information Center, Juni 1994. http://dx.doi.org/10.21236/ada599710.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Sezer, Sefa A., und Ibrahim Çanak. Tauberian Remainder Theorems for Iterations of Methods of Weighted Means. "Prof. Marin Drinov" Publishing House of Bulgarian Academy of Sciences, Februar 2019. http://dx.doi.org/10.7546/crabs.2019.01.01.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Yao, Jen-Chih. On mean value iterations with application to variational inequality problems. Office of Scientific and Technical Information (OSTI), Dezember 1989. http://dx.doi.org/10.2172/5173143.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!