Log in

Relevant bibliographies by topics / Multi-paradigm programming

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers

Academic literature on the topic 'Multi-paradigm programming'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Multi-paradigm programming.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Multi-paradigm programming"

1

Thaker, Nimit, and Abhilash Shukla. "Python as Multi Paradigm Programming Language." International Journal of Computer Applications 177, no. 31 (January 16, 2020): 38–42. http://dx.doi.org/10.5120/ijca2020919775.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Clark, K. L., and F. G. McCabe. "Go! – A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents." Annals of Mathematics and Artificial Intelligence 41, no. 2-4 (August 2004): 171–206. http://dx.doi.org/10.1023/b:amai.0000031195.87297.d9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ringström, Johan, Peter Fritzson, and Johan Fagerström. "PREDULA a multi-paradigm parallel programming and debugging environment." Microprocessing and Microprogramming 34, no. 1-5 (February 1992): 45–48. http://dx.doi.org/10.1016/0165-6074(92)90099-s.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Vranic, Valentino. "Multi-paradigm design with feature modeling." Computer Science and Information Systems 2, no. 1 (2005): 79–102. http://dx.doi.org/10.2298/csis0501079v.

Full text

Abstract:

In this article, a method for selecting paradigms, viewed as solution domain concepts, appropriate for given application domain concepts is proposed. In this method, denoted as multi-paradigm design with feature modeling, both application and solution domain are modeled using feature modeling. The selection of paradigms is performed in the process of feature modeling based transformational analysis as a paradigm instantiation over application domain concepts. The output of transformational analysis is a set of paradigm instances annotated with the information about the corresponding application domain concepts and features. According to these paradigm instances, the code skeleton is being designed. The approach is presented in conjunction with its specialization to AspectJ programming language. Transformational analysis performed according to the AspectJ paradigm model enables an early aspect identification.

APA, Harvard, Vancouver, ISO, and other styles

5

FUKAI, Yuji, Hiroaki KAWAI, and Masayuki KUDO. "Construction of Efficient Learning Sequence in Multi-paradigm Programming Language." Journal of JSEE 64, no. 1 (2016): 1_33–1_38. http://dx.doi.org/10.4307/jsee.64.1_33.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hapl, Lukas, and Hashim Habiballa. "The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education." Mathematics 9, no. 11 (May 31, 2021): 1255. http://dx.doi.org/10.3390/math9111255.

Full text

Abstract:

This article introduces the possible usage of the developed programming discourse that can be used to support training in the digital logic area. The discourse merges several programming paradigms into one solution. The intended learners are secondary school students focused on digital system programming. The main intent is to find out whether digital logic curriculum based on Digital Circuits Based Logical Programming (DCBLP) inheritance has positive impact on the students and the way they explore the digital logic itself. Students’ cognitive and affective areas are in the scope of this preliminary research and questionnaires and cognitive tests will help to support the research. Experimental and control groups were used to gather relevant records. To analyse and support the interpretation of the data gathered by questionnaires, the chi-square test (two-tailed) has been used. ANOVA has been used to evaluate data for the achievement test results. The preliminary research revealed there is a possibility of using developed programming discourse DCBLP in digital logic training. Students claim overall usefulness of the discourse in the training; the strong motivation power of the programming discourse itself has not been discovered. From the test we conclude that the performance of the students trained using new programming discourse is significantly better. It is possible to use more different programming paradigms, such as imperative and declarative, in one solution to support training in the area of digital logic. Such solutions can enhance the way the students deal with the programming languages and also supports interdisciplinary relationships.

APA, Harvard, Vancouver, ISO, and other styles

7

Brodsky, Yury I., and Leonid V. Kruglov. "Model-Oriented Programming as a Consequence of the Structural Theory of Multi-Сomponent Complex Systems." International Journal of Education and Information Technologies 15 (March 10, 2021): 1–12. http://dx.doi.org/10.46300/9109.2021.15.1.

Full text

Abstract:

The paper offers a new programming paradigm, which implements CAD methods in programming, The level of encapsulation in model-oriented programming is higher than in the object-oriented approach. The key features of the MO-programming are declarative style (no imperative programs), and focusing on the distributed and high-performance calculations. The method proposed is based on the structural theory of multi-component complex systems, and is applicable for a rather wide class of tasks including the elaboration of simulation models of such systems.

APA, Harvard, Vancouver, ISO, and other styles

8

ВЕЛИКОДНИЙ, С. С., and О. С. ТИМОФЄЄВА. "THE PARADIGM OF LINGUISTIC SUPPLY SUBMISSION BY GENERATIVE GRAMMAR ASSISTANCE." Transport development, no. 1(1) (September 27, 2017): 128–35. http://dx.doi.org/10.33082/td.2017.1-1.14.

Full text

Abstract:

The article describes the creation of a system's concepts that form the paradigm of reengineering information technologies. Linguistic support of information technology considers the construction of a software system using one or more mutually agreed programming languages. Each programming language is based on the rules of a particular grammar. The mathematical apparatus of generative grammars allows us to describe the process of translating a program system written in one programming language into another specific language. The created paradigm allows you to work with multi-level information technologies, the parts of which are written in different programming languages. The paradigm formed in the article, from the scientific point of view, is laid in the basis of the methodology of information technology reengineering, and from the practical point of view it will be necessary for system programmers working with multilanguage superstructures of software systems that evolve over time and are improved in the process of exploitation.

APA, Harvard, Vancouver, ISO, and other styles

9

Xinogalos, Stelios. "The quest for excellence in designing a multi-paradigm programming environment for novices." International Journal of Teaching and Case Studies 2, no. 1 (2009): 1. http://dx.doi.org/10.1504/ijtcs.2009.026295.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Cheang, Sin Man, Kwong Sak Leung, and Kin Hong Lee. "Genetic Parallel Programming: Design and Implementation." Evolutionary Computation 14, no. 2 (June 2006): 129–56. http://dx.doi.org/10.1162/evco.2006.14.2.129.

Full text

Abstract:

This paper presents a novel Genetic Parallel Programming (GPP) paradigm for evolving parallel programs running on a Multi-Arithmetic-Logic-Unit (Multi-ALU) Processor (MAP). The MAP is a Multiple Instruction-streams, Multiple Data-streams (MIMD), general-purpose register machine that can be implemented on modern Very Large-Scale Integrated Circuits (VLSIs) in order to evaluate genetic programs at high speed. For human programmers, writing parallel programs is more difficult than writing sequential programs. However, experimental results show that GPP evolves parallel programs with less computational effort than that of their sequential counterparts. It creates a new approach to evolving a feasible problem solution in parallel program form and then serializes it into a sequential programif required. The effectiveness and efficiency of GPP are investigated using a suite of 14 well-studied benchmark problems. Experimental results show that GPP speeds up evolution substantially.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Multi-paradigm programming"

1

Cranfield, E. C. "Supporting a multi-method software development paradigm." Thesis, University of Hertfordshire, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233093.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Vaudin, John. "A unified programming system for a multi-paradigm parallel architecture." Thesis, University of Warwick, 1991. http://wrap.warwick.ac.uk/108849/.

Full text

Abstract:

Real time image understanding and image generation require very large amounts of computing power. A possible way to meet these requirements is to make use of the power available from parallel computing systems. However parallel machines exhibit performance which is highly dependent on the algorithms being executed. Both image understanding and image generation involve the use of a wide variety of algorithms. A parallel machine suited to some of these algorithms may be unsuited to others. This thesis describes a novel heterogeneous parallel architecture optimised for image based applications. It achieves its performance by combining two different forms of parallel architecture, namely fine grain SIMD and course grain MIMD, into a single architecture. In this way it is possible to match the most appropriate computing resource to each algorithm in a given application. As important as the architecture itself is a method for programming it. This thesis describes a novel multi-paradigm programming language based on C++, which allows programs which make use of both control and data parallelism to be expressed in a single coherent framework, based on object oriented programming. To demonstrate the utility of both the architecture and the programming system, two applications, one from the field of image understanding the other image generation are examined. These applications combine some novel algorithms with other novel implementation approaches to provide the most effective mapping onto this architecture.

APA, Harvard, Vancouver, ISO, and other styles

3

Lee, Jeong-Ho. "A new computational model, OOGRS and its implementation." Thesis, University of East Anglia, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.368172.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Marzaduri, Luca. "WINDOWS 10 IoT SU RASPBERRY PI 2: MULTI-PARADIGM PROGRAMMING TRA JAVA E C#." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/10299/.

Full text

Abstract:

Questa tesi ha come obiettivo la sperimentazione del nuovo sistema operativo Windows 10 IoT Core su tecnologia Raspberry Pi 2, verificandone la compatibilita con alcuni sensori in commercio. Tale studio viene poi applicato in un contesto di Home Intelligence al fine di creare un agente per la gestione di luci LED, in prospettiva della sua integrazione nel sistema prototipale Home Manager.

APA, Harvard, Vancouver, ISO, and other styles

5

Protze, Joachim [Verfasser]. "Modular Techniques and Interfaces for Data Race Detection in Multi-Paradigm Parallel Programming / Joachim Protze." Berlin : epubli, 2021. http://d-nb.info/1239488076/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Dellaluce, Jason. "Enhancing symbolic AI ecosystems with Probabilistic Logic Programming: a Kotlin multi-platform case study." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23856/.

Full text

Abstract:

As Artificial Intelligence (AI) progressively conquers the software industry at a fast pace, the demand for more transparent and pervasive technologies increases accordingly. In this scenario, novel approaches to Logic Programming (LP) and symbolic AI have the potential to satisfy the requirements of modern software environments. However, traditional logic-based approaches often fail to match present-day planning and learning workflows, which natively deal with uncertainty. Accordingly, Probabilistic Logic Programming (PLP) is emerging as a modern research field that investigates the combination of LP with the probability theory. Although research efforts at the state of the art demonstrate encouraging results, they are usually either developed as proof of concepts or bound to specific platforms, often having inconvenient constraints. In this dissertation, we introduce an elastic and platform-agnostic approach to PLP aimed to surpass the usability and portability limitations of current proposals. We design our solution as an extension of the 2P-Kt symbolic AI ecosystem, thus endorsing the mission of the project and inheriting its multi-platform and multi-paradigm nature. Additionally, our proposal comprehends an object-oriented and pure-Kotlin library for manipulating Binary Decision Diagrams (BDDs), which are notoriously relevant in the context of probabilistic computation. As a Kotlin multi-platform architecture, our BDD module aims to surpass the usability constraints of existing packages, which typically rely on low level C/C++ bindings for performance reasons. Overall, our project explores novel directions towards more usable, portable, and accessible PLP technologies, which we expect to grow in popularity both in the research community and in the software industry over the next few years.

APA, Harvard, Vancouver, ISO, and other styles

7

Protze, Joachim [Verfasser], Matthias S. [Akademischer Betreuer] Müller, Jesper L. [Akademischer Betreuer] Träff, and Martin [Akademischer Betreuer] Schulz. "Modular techniques and interfaces for data race detection in multi-paradigm parallel programming / Joachim Protze ; Matthias S. Müller, Jesper L. Träff, Martin Schulz." Aachen : Universitätsbibliothek der RWTH Aachen, 2021. http://d-nb.info/1241683255/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Gonçalves, Junior Clenio Batista. "Representação multiparadigma de conhecimento musical utilizando programação lógica indutiva." Universidade Federal de São Carlos, 2017. https://repositorio.ufscar.br/handle/ufscar/9158.

Full text

Abstract:

Submitted by Milena Rubi ( ri.bso@ufscar.br) on 2017-10-17T14:08:43Z No. of bitstreams: 1 GONÇALVES_JUNIOR_Clenio_2017.pdf: 4502082 bytes, checksum: 36fad22cf5caad0d975a2df1fe5e7a55 (MD5)
Approved for entry into archive by Milena Rubi ( ri.bso@ufscar.br) on 2017-10-17T14:08:53Z (GMT) No. of bitstreams: 1 GONÇALVES_JUNIOR_Clenio_2017.pdf: 4502082 bytes, checksum: 36fad22cf5caad0d975a2df1fe5e7a55 (MD5)
Approved for entry into archive by Milena Rubi ( ri.bso@ufscar.br) on 2017-10-17T14:09:02Z (GMT) No. of bitstreams: 1 GONÇALVES_JUNIOR_Clenio_2017.pdf: 4502082 bytes, checksum: 36fad22cf5caad0d975a2df1fe5e7a55 (MD5)
Made available in DSpace on 2017-10-17T14:09:10Z (GMT). No. of bitstreams: 1 GONÇALVES_JUNIOR_Clenio_2017.pdf: 4502082 bytes, checksum: 36fad22cf5caad0d975a2df1fe5e7a55 (MD5) Previous issue date: 2017-02-06
Não recebi financiamento
Knowledge representation process is an essential matter regarding Computer Music systems. Methods have been applied in order to provide computers with the capability to generate conclusions based on experience in specialized domains. Inductive Logic Programming is a research field which combines concepts of Logic Programming and Machine Learning. Due to its declarative feature, both acquired and produced knowledge can be presented to not-expert users in a naturally understandable way. This work deals with Music Knowledge Representation from the perspective of multi- paradigm programming, using Inductive Logic Programming technique and including the development of the knowledge-based music system Fraseado. Finally, a method for the evaluation of algorithmic composition systems - the Expanded Turing Test - is presented.
O processo de representação de conhecimento em Computação Musical constitui um elemento essencial para o desenvolvimento de sistemas. Métodos têm sido aplicados visando fornecer ao computador a capacidade de inferir informações a partir da experiência e definições previamente estabelecidas. Neste sentido, a Programação Lógica Indutiva apresenta-se como um crescente campo de pesquisa que incorpora conceitos de Programação em Lógica e Aprendizado de Máquina. O presente trabalho aborda a Representação de Conhecimento Musical sob a ótica da programação multiparadigma, com uso da técnica de Programação Lógica Indutiva. Inclui o desenvolvimento do sistema musical baseado em conhecimento Fraseado. Por fim é apresentado um método para avaliação de sistemas de composição algorítmica - o Teste de Turing Expandido.

APA, Harvard, Vancouver, ISO, and other styles

9

Moreno, Moreno Flavio David. "Reconocimiento de gestos corporales, utilizando procesamiento digital de imágenes para activar sistema de alarma." Bachelor's thesis, Universidad Ricardo Palma, 2015. http://cybertesis.urp.edu.pe/handle/urp/1283.

Full text

Abstract:

La investigación realizada a los sistemas de seguridad electrónica de edificios, plantea como objetivo principal el reconocimiento de tres gestos de un lenguaje corporal del personal de vigilancia, y la consecuente activación de alarma en forma automática. Inicialmente se realizó una encuesta dirigida a las administraciones y personal de edificios, para saber cuales eran las ocurrencias que vulneraban la seguridad de un edificio multifamiliar, luego se observaron y analizaron las imágenes capturadas por una cámara de vigilancia ubicada en la recepción, identificando las ocurrencias más vulnerables y gestos asociados a dichos eventos; se seleccionaron tres gestos que en forma inconsciente realizaba el personal de vigilancia ante dichas situaciones. A determinados cuadros que comprenden estas imágenes se le aplicaron técnicas de procesamiento espacial, con ayuda de una iluminación artificial que era más intensa en la parte posterior del sujeto de análisis, consiguiéndose la definición de una silueta binarizada en el entorno Matlab, técnicas como selección del plano rojo, plano de bits más significativo, invertir imagen y transformaciones morfológicas tipo cerradura, definieron una silueta que ayudó a desarrollar un algoritmo matemático para generar una señal eléctrica en el puerto serial USB del ordenador, donde se conectó físicamente una plataforma de hardware Arduino que activa la alarma. La elección de esta plataforma se debió a que Matlab cuenta con un grupo de instrucciones para Arduino, con el objetivo de lograr una comunicación sincronizada entre ordenador e interface. Las técnicas utilizadas reconocieron 62,5% de los eventos descritos en las encuestas realizadas y que no son mencionadas en temas de investigación similar. Para lograr el objetivo fue necesario analizar un cuadro por segundo. The research poses as their main objective the three gestures recognition of a body language of surveillance personnel and the consequent activation of alarm automatically. It was initially carried out a survey of the administration and the offices of the buildings to know which were the occurrences that violate the security of a multi-family building, then were observed and analyzed images captured by a surveillance camera located in the reception, identifying the most vulnerable occurrences and gestures associated with these events; were selected three gestures that unconsciously performs surveillance personnel before such situations; to certain pictures that comprise these images were applied spatial processing techniques, with the help of an artificial lighting that was more intense in the back of the subject of analysis, getting the definition of a silhouette binarized in the Matlab environment, techniques such as plane selection red, more significant bit plane, to invest an image and convolution close type, defined a silhouette that allowed to develop a mathematical algorithm that generated an electrical signal in USB serial port of the computer, where it is physically connected a hardware platform Arduino that active the alarm.This platform choice is due to the fact that Matlab has a group of instructions for Arduino, achieving an orderly communication between computer and interface. The techniques used recognized 62.5 % of the events described in the surveys carried out and which aren’t mentioned in similar research topics. To achieve the objective was necessary to analyze a picture per second.

APA, Harvard, Vancouver, ISO, and other styles

10

Huang, Chao. "Supporting multi-paradigm parallel programming on an Adaptive Run-Time System /." 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3301150.

Full text

Abstract:

Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007.
Source: Dissertation Abstracts International, Volume: 69-02, Section: B, page: 1102. Adviser: Laxmikant Kale. Includes bibliographical references (leaves 141-149) Available on microfilm from Pro Quest Information and Learning.

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Multi-paradigm programming"

1

Vermeir, Dirk. Multi-Paradigm Programming using C++. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Vaudin, John. A unified programming system for a multi-paradigm parallel architecture. [s.l.]: typescript, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Multi-Paradigm Programming using C++. Springer, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Multi-Paradigm Programming using C++. London: Springer London, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Multi-paradigm programming"

1

Vermeir, Dirk. "Generic Programming Using the STL." In Multi-Paradigm Programming using C++, 137–82. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Escobar, Santiago. "Multi-paradigm Programming in Maude." In Rewriting Logic and Its Applications, 26–44. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99840-4_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Vermeir, Dirk. "Basic Concepts of C++." In Multi-Paradigm Programming using C++, 1–24. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Vermeir, Dirk. "Iostreams." In Multi-Paradigm Programming using C++, 217–39. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Vermeir, Dirk. "Introduction to Program Design." In Multi-Paradigm Programming using C++, 241–63. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Vermeir, Dirk. "Built-in Types." In Multi-Paradigm Programming using C++, 25–35. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Vermeir, Dirk. "Functions." In Multi-Paradigm Programming using C++, 37–50. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Vermeir, Dirk. "User-Defined Types." In Multi-Paradigm Programming using C++, 51–82. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Vermeir, Dirk. "Built-in Type Constructors." In Multi-Paradigm Programming using C++, 83–116. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Vermeir, Dirk. "User-Defined Type Constructors." In Multi-Paradigm Programming using C++, 117–36. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0311-0_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Multi-paradigm programming"

1

Petiton, S., M. Sato, N. Emad, C. Calvin, M. Tsuji, and M. Dandouna. "Multi level programming Paradigm for Extreme Computing." In SNA + MC 2013 - Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo, edited by D. Caruge, C. Calvin, C. M. Diop, F. Malvagi, and J. C. Trama. Les Ulis, France: EDP Sciences, 2014. http://dx.doi.org/10.1051/snamc/201404305.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Van Tendeloo, Yentl, Simon Van Mierlo, Bart Meyers, and Hans Vangheluwe. "Concrete syntax: a multi-paradigm modelling approach." 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.3136017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Rachel, F. M., and P. S. Cugnasca. "The multi-agent programming paradigm use for railway applications." In COMPRAIL 2008. Southampton, UK: WIT Press, 2008. http://dx.doi.org/10.2495/cr080621.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Aumayr, Dominik. "Debugging support for multi-paradigm concurrent programs." In SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3359061.3361074.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Marr, Stefan, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, and Hanspeter Mössenböck. "A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools." 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/3133841.3133842.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Žilinskas, Antanas. "On the arithmetic of infinity oriented implementation of the multi-objective P-algorithm." In International Workshop of "Stochastic Programming for Implementation and Advanced Applications". The Association of Lithuanian Serials, 2012. http://dx.doi.org/10.5200/stoprog.2012.24.

Full text

Abstract:

The single-objective P-algorithm is a global optimization algorithm based on a statistical mod- el of objective functions and the axiomatic theory of rational decisions. It has been proven quite suitable for optimization of black-box expensive functions. Recently the P-algorithm has been generalized to multi-objective optimization. In the present paper, the implementation of that algorithm is considered using the new computing paradigm of the arithmetic of infinity. A strong homogeneity of the multi-objective P-algorithm is proven, thus enabling rather a simple application of the algorithm to the problems involving infinities and infinitesimals.

APA, Harvard, Vancouver, ISO, and other styles

7

Huang, Chung-Ming, Chung-Wei Lin, Chia-Ching Yang, Chung-Heng Chang, and Hao-Hsiang Ku. "An SVC-MDC video coding scheme using the multi-core parallel programming paradigm for P2P video streaming." In 2009 IEEE/ACS International Conference on Computer Systems and Applications. IEEE, 2009. http://dx.doi.org/10.1109/aiccsa.2009.5069442.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Son, Tran Cao, Tiep Le, Patrick Kahl, and Anthony Leclerc. "On Computing World Views of Epistemic Logic Programs." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/176.

Full text

Abstract:

This paper presents a novel algorithm for computing world views of different semantics of epistemic logic programs (ELP) and two of its realization, called Ep-asp (for an older semantics) and Ep-asp^{se} (for the newest semantics), whose implementation builds on the theoretical advancement in the study of ELPs and takes advantage of the multi-shot computation paradigm of the answer set solver Clingo. The new algorithm differs from the majority of earlier algorithms in its strategy. Specifically, it computes one world view at a time and utilizes properties of world views to reduce its search space. It starts by computing an answer set and then determines whether or not a world view containing this answer set exists. In addition, it allows for the computation to focus on world views satisfying certain properties. The paper includes an experimental analysis of the performance of the two solvers comparing against a recently developed solver. It also contains an analysis of their performance in goal directed computing against a logic programming based conformant planning system, dlv-k. It concludes with some final remarks and discussion on the future work.

APA, Harvard, Vancouver, ISO, and other styles

9

Kuts, Vladimir, Tauno Otto, Yevhen Bondarenko, and Fei Yu. "Digital Twin: Collaborative Virtual Reality Environment for Multi-Purpose Industrial Applications." In ASME 2020 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/imece2020-23390.

Full text

Abstract:

Abstract Industrial Digital Twins (DT) is the precise virtual representation of the manufacturing environment and mainly consists of the system-level simulation, which combines both manufacturing processes and parametric models of the product. As being one of the pillars of the Industry 4.0 paradigm, DT-s are widely integrated into the existing factories, enhancing the concept of the virtual factories. View from the research perspective is that experiments on the Internet of Things, data acquisition, cybersecurity, telemetry synchronization with physical factories, etc. are being executed in those virtual simulations. Moreover, new ways of interactions and interface to oversee, interact and learn are being developed via the assistance of Virtual Reality (VR) and Augmented Reality (AR) technologies, which are already widely spread on the consumer market. However, already, VR is being used widely in existing commercial software packages and toolboxes to provide students, teachers, operators, engineers, production managers, and researchers with an immersive way of interacting with the factory while the manufacturing simulation is running. This gives a better understanding and more in-depth knowledge of the actual manufacturing processes, not being directly accessing those. However, the virtual presence mentioned above experience is limited to a single person. It does not enable additional functionalities for the simulations, which can be re-planning or even re-programming of the physical factory in an online connection by using VR or AR interfaces. The main aim of the related research paper is to enhance already existing fully synchronized with physical world DT-s with multi-user experience, enabling factory operators to work with and re-program the real machinery from remote locations in a more intuitive way instead thinking about final aim than about the process itself. Moreover, being developed using real-time platform Unity3D, this multiplayer solution gives opportunities for training and educational purposes and is connecting people from remote locations of the world. Use-cases exploits industrial robots placed in the Industrial Virtual and Augmented Reality Laboratory environment of Tallinn University of Technology and a mobile robot solution developed based on a collaboration between the University of Southern Denmark and a Danish company. Experiments are being performed on the connection between Estonia and Denmark while performing reprogramming tasks of the physical heavy industrial robots. Furthermore, the mobile robot solution is demonstrated in a virtual warehouse environment. Developed methods and environments together with the collected data will enable us to widen the use-cases with non-manufacturing scenarios, i.e., smart city and smart healthcare domains, for the creation of a set of new interfaces and multiplayer experiences.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!