Log in

Relevant bibliographies by topics / Hardware related programming / Journal articles

To see the other types of publications on this topic, follow the link: Hardware related programming.

Journal articles on the topic 'Hardware related programming'

Author: Grafiati

Published: 28 July 2024

Last updated: 31 July 2025

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Hardware related 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Tsyrulnyk, Serhii. "SOFTWARE AND HARDWARE SYSTEM «ARDUINO LEARNER KIT»." OPEN EDUCATIONAL E-ENVIRONMENT OF MODERN UNIVERSITY, no. 10 (2021): 231–40. http://dx.doi.org/10.28925/2414-0325.2021.1019.

Full text

Abstract:

The difference between programming embedded systems from the classical one is that in addition to knowledge of the theory of algorithms, programming languages, it is necessary to know the hardware of the object, its physical or electrical properties. Programming for embedded systems is considered a separate area. Embedded-developer is engaged in the development, maintenance, testing of software and hardware. The article considers issues related to the peculiarities of practical training and the formation of professional skills in programming embedded-systems by students studying in the field o

APA, Harvard, Vancouver, ISO, and other styles

2

Lee, Chyi Shyong, Juing Huei Su, Hsin Hsiung Huang, and Sin Mao Fu. "Line Maze Robot Training Course for the Senior High School Students." Applied Mechanics and Materials 278-280 (January 2013): 2156–59. http://dx.doi.org/10.4028/www.scientific.net/amm.278-280.2156.

Full text

Abstract:

A line maze robot training course, which contains the hardware circuit implementation, firmware programming skills and the shortest path algorithm, is presented in this paper. The training course is used for vocation senior high school teachers and students. The major topic for students is to develop the proper firmware programming to achieve the better performance and students are encouraged to pass the small contest in the end of the workshop. The low-cost educational platform is easily by the economically disadvantaged students. Students, who join the workshop can learn the basic C language

APA, Harvard, Vancouver, ISO, and other styles

3

Obeidat, Raghad, and Hussein Alzoubi. "Why Are Hardware Description Languages Important for Hardware Design Courses?" International Journal of Information and Communication Technology Education 17, no. 2 (2021): 1–16. http://dx.doi.org/10.4018/ijicte.2021040101.

Full text

Abstract:

Curricula in computer engineering, computer science, and other related fields include several courses about hardware design. Examples of these courses are digital logic design, computer architecture, microprocessors, computer interfacing, hardware design, embedded systems, switching theorem, and others. In order for the students to realize the concepts taught in such courses, practical track should be reinforced along with the theoretical track. Many universities offer to their students labs in which they can practice hardware design. However, students need more than that: they need tools that

APA, Harvard, Vancouver, ISO, and other styles

4

Sun, Xue Jing. "Simulating Design of Central Air Conditioning Control System in Office Buildings Based on PLC." Applied Mechanics and Materials 525 (February 2014): 621–24. http://dx.doi.org/10.4028/www.scientific.net/amm.525.621.

Full text

Abstract:

In this paper, based on the Siemens S7-200 programmable controller in the central air conditioning control system, hardware and software of the central air-conditioning control system is designed. In hardware design PLC controller is used as controlling core to control temperature and humidity of the entire process. In the software design, control programming and multi-loop control of temperature, humidity PID algorithm are completed by using PLC programming software STEP7 because of its characteristics that it is easy to read and easy to achieve complete control. Lastly, Related parameter is

APA, Harvard, Vancouver, ISO, and other styles

5

Langdon, W. B. "Conference on Genetic Programming (GP-97)." Robotica 16, no. 1 (1998): 117–18. http://dx.doi.org/10.1017/s0263574798210204.

Full text

Abstract:

The Second International Conference in Genetic Programming (GP-97), like the first, was held on the beautiful Stanford University campus in California under the chairmanship of John Koza. More than 350 people from all over the world gathered together for four days to see presentations, posters, tutorials and trade presentations on a range of topics. In addition to GP and related topics in Genetic Algorithms (GAs) and classifier systems, the up and coming fields of evolvable hardware (EHW) and biocomputing (also called DNA computing) were also represented.

APA, Harvard, Vancouver, ISO, and other styles

6

Antero, Unai, Francisco Blanco, Jon Oñativia, Damien Sallé, and Basilio Sierra. "Harnessing the Power of Large Language Models for Automated Code Generation and Verification." Robotics 13, no. 9 (2024): 137. http://dx.doi.org/10.3390/robotics13090137.

Full text

Abstract:

The cost landscape in advanced technology systems is shifting dramatically. Traditionally, hardware costs took the spotlight, but now, programming and debugging complexities are gaining prominence. This paper explores this shift and its implications, focusing on reducing the cost of programming complex robot behaviors, using the latest innovations from the Generative AI field, such as large language models (LLMs). We leverage finite state machines (FSMs) and LLMs to streamline robot programming while ensuring functionality. The paper addresses LLM challenges related to content quality, emphasi

APA, Harvard, Vancouver, ISO, and other styles

7

Alshahrani, Saeed, Waleed Al Shehri, Jameel Almalki, Ahmed M. Alghamdi, and Abdullah M. Alammari. "Accelerating Spark-Based Applications with MPI and OpenACC." Complexity 2021 (July 21, 2021): 1–17. http://dx.doi.org/10.1155/2021/9943289.

Full text

Abstract:

The amount of data produced in scientific and commercial fields is growing dramatically. Correspondingly, big data technologies, such as Hadoop and Spark, have emerged to tackle the challenges of collecting, processing, and storing such large-scale data. Unfortunately, big data applications usually have performance issues and do not fully exploit a hardware infrastructure. One reason is that applications are developed using high-level programming languages that do not provide low-level system control in terms of performance of highly parallel programming models like message passing interface (

APA, Harvard, Vancouver, ISO, and other styles

8

Anistyasari, Yeni, Ekohariadi, and Ari Kurniawan. "Exploring Computational Thinking to Improve Energy-Efficient Programming Skills." MATEC Web of Conferences 197 (2018): 15011. http://dx.doi.org/10.1051/matecconf/201819715011.

Full text

Abstract:

The increasing of ICT utilization brought the increasing of energy consumption which causes global emission. In fact, ICT utilization produces two percent of global emission of CO2. Most studies focus on reducing global emission of CO2 through energy-efficient software and hardware utilizations. However, how to improve energy-efficient programming skills for students has not been investigated well. To address this issue, this work proposes exploring computational thinking which is a teaching learning model adopted computer works. Computational thinking is applied in Fundamental programming sub

APA, Harvard, Vancouver, ISO, and other styles

9

GÚTIERREZ, JEFFERSON, NICOLAS CALDERON, and JOSE FRANCO. "E-BOT PLATAFORMA ROBÓTICA DE APOYO EN LA ENSEÑANZA DE ALGORITMOS Y PROGRAMACIÓN." Revista Ingeniería, Matemáticas y Ciencias de la Información 8, no. 16 (2021): 65–76. http://dx.doi.org/10.21017/rimci.2021.v8.n16.a103.

Full text

Abstract:

This article presents the design and construction of a mobile robot (E-BOT) both in the hardware and in the software part, which works as a support tool for teaching processes and allows to consolidate learning in related topics. a Programming having as its scope repetitive structures, this through a series of previously constructed learning elements. E-BOT has a series of actuators (Led, oled, servomotor, motors) and sensors (ultrasound and reflective light) which are controlled by means of Arduino that allow an easy interaction of EBOT with the real world. Additionally, the construction of a

APA, Harvard, Vancouver, ISO, and other styles

10

Liu, Ying, and Honglin Wu. "Application of Visual Knowledge Graph in Assembly Language Programming Teaching." International Journal of Education and Humanities 3, no. 1 (2022): 1–3. http://dx.doi.org/10.54097/ijeh.v3i1.395.

Full text

Abstract:

Assembly Language Programming is a compulsory course for information related majors in colleges and universities. It plays a basic role in cultivating students' professional ability. Based on the teaching experience accumulated by the authors' teaching team for many years, visual knowledge graph is used for teaching application, the fragmented knowledge points are correlated, and the knowledge system has been formed. Through the knowledge points network of the course, the teaching advantages are better brought into play, which not only promotes the students' mastery of Assembly Language Progra

APA, Harvard, Vancouver, ISO, and other styles

11

Yan, Ziqi. "The application of Verilog in the development of casual games." Applied and Computational Engineering 76, no. 1 (2024): 245–49. http://dx.doi.org/10.54254/2755-2721/76/20240600.

Full text

Abstract:

Verilog is a hardware description language (HDL) that is widely used in digital circuit design and simulation. Its development is closely related to computer science and electrical engineering. Verilog gained popularity in the early 1980s as digital circuit designs became increasingly complex, requiring more efficient circuit design and verification tools. At the same time, rapid advances in computer hardware also stimulated the demand for digital circuit design languages. Furthermore, the popularity and adoption of Verilog highlight the growing necessity for digitisation, automation, and inte

APA, Harvard, Vancouver, ISO, and other styles

12

Brandejský, Tomáš, and Vít Fábera. "COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT." Acta Polytechnica CTU Proceedings 11 (August 28, 2017): 1. http://dx.doi.org/10.14311/app.2017.11.0001.

Full text

Abstract:

Presented contribution is dedicated to discussion of two different approaches into increase of programming language safety. They are language subset and extension of original safety mechanisms. As examples we used MISRA C/C++ subset and SPARK language builded on the base of ADA language. In the last chapters we discuss novel approaches based on application of programmable hardware which is described in VHDL language, which is also modification of ADA language. Especially SPARK and VHDL languages represents novel approaches to safe system development which are now discussed in relation to new R

APA, Harvard, Vancouver, ISO, and other styles

13

Pułka, Andrzej, and Adam Milik. "Measurement Aspects of Genome Pattern Investigations - Hardware Implementation." Metrology and Measurement Systems 19, no. 1 (2012): 49–62. http://dx.doi.org/10.2478/v10178-012-0004-0.

Full text

Abstract:

Measurement Aspects of Genome Pattern Investigations - Hardware Implementation The work presented in the paper concerns a very important problem of searching for string alignments. The authors show that the problem of a genome pattern alignment could be interpreted and defined as a measuring task, where the distance between two (or more) patterns is investigated. The problem originates from modern computation biology. Hardware-based implementations have been driving out software solutions in the field recently. The complex programmable devices have become very commonly applied. The paper intro

APA, Harvard, Vancouver, ISO, and other styles

14

Lazoryk, V. V., and V. M. Chernov. "Using cloud technologies to check and record programming tasks." CTE Workshop Proceedings 1 (March 21, 2013): 150–51. http://dx.doi.org/10.55056/cte.179.

Full text

Abstract:

The rapid development of hardware and software and the bandwidth of telecommunications networks has provided extraordinary opportunities in the use of cloud technology in many areas of life, especially in education. For example, there are many Internet resources that offer peculiar web-based software development environments (IDEs). Such IDEs allow storing the source codes of programs, debugging them, compiling and executing them.Intensification of the learning process stimulates the search for new approaches to teaching disciplines, creating new and using ready-made software to support the le

APA, Harvard, Vancouver, ISO, and other styles

15

Hartmann, Christian J., Sabine Fliegen, Stefan J. Groiss, Lars Wojtecki, and Alfons Schnitzler. "An update on best practice of deep brain stimulation in Parkinson’s disease." Therapeutic Advances in Neurological Disorders 12 (January 2019): 175628641983809. http://dx.doi.org/10.1177/1756286419838096.

Full text

Abstract:

During the last 30 years, deep brain stimulation (DBS) has evolved into the clinical standard of care as a highly effective treatment for advanced Parkinson’s disease. Careful patient selection, an individualized anatomical target localization and meticulous evaluation of stimulation parameters for chronic DBS are crucial requirements to achieve optimal results. Current hardware-related advances allow for a more focused, individualized stimulation and hence may help to achieve optimal clinical results. However, current advances also increase the degrees of freedom for DBS programming and there

APA, Harvard, Vancouver, ISO, and other styles

16

Brandes, Thomas, Helmut Schwamborn, Michael Gerndt, et al. "Monitoring cache behavior on parallel SMP architectures and related programming tools." Future Generation Computer Systems 21, no. 8 (2005): 1298–311. http://dx.doi.org/10.1016/j.future.2004.09.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Kotarski, Denis, Marko Pranjić, Ayham Alharbat, Petar Piljek, and Toni Bjažić. "Multirotor UAV—A Multidisciplinary Platform for Teaching Mechatronics Engineering." Sensors 25, no. 4 (2025): 1007. https://doi.org/10.3390/s25041007.

Full text

Abstract:

This paper provides a comprehensive guide for educators on how multirotor UAV platforms can be utilized to achieve various learning outcomes in undergraduate mechatronics education. This study is based on a PX4 ecosystem combined with the MATLAB Simulink programming environment, covering both hardware and software aspects to support engineering education. The paper explains (i) which learning outcomes can be obtained, (ii) how mathematical models can be derived and implemented in simulation software, (iii) which hardware components are essential, their approximate costs, and possible upgrades

APA, Harvard, Vancouver, ISO, and other styles

18

Kazem, Zaharaa Mohammed, Ayat Hamid Taleb, Murtdha falah Abd Al-Hassan, et al. "STUDY OF PREFRONTAL OXYGENATION DURING EMOTIONAL THINKING USING FUNCTIONAL NEAR-INFRARED SPECTROSCOPY (FNIRS)." European Journal of Medical Genetics and Clinical Biology 1, no. 4 (2024): 1–11. http://dx.doi.org/10.61796/jmgcb.v1i4.385.

Full text

Abstract:

Introduction: This section provides an overview of the project and introduces the topic. It should include the background, objectives, and scope of the research. Literature Review: This section reviews relevant literature related to the topic to provide a better understanding of the existing research and technology available. It should include sources such as books, academic journals, and online articles. Methodology: This section outlines the methodology used to design and develop the project, including the hardware and software components, programming languages and tools used, and testing pr

APA, Harvard, Vancouver, ISO, and other styles

19

Duguleana, Mihai, and Florin Grigore Barbuceanu. "Designing of Virtual Reality Environments for Mobile Robots Programming." Solid State Phenomena 166-167 (September 2010): 185–90. http://dx.doi.org/10.4028/www.scientific.net/ssp.166-167.185.

Full text

Abstract:

In this paper are presented some of the main issues in designing and developing of mobile robots in virtual environments that can be used for completing various tasks. Due to high complexity of robotic systems, real experiments are demanding unsatisfying timeframes and high financial resources. Other problems scientists encounter in real tests are the difficulty of concurrent use, space restrictions or hardware malfunctions. Several related studies are treating these issues by proposing the usage of virtual reality (VR) as a solution for reducing costs and decreasing development time. We are f

APA, Harvard, Vancouver, ISO, and other styles

20

Goudarzi, Maziar, Shaahin Hessabi, and Alan Mycroft. "Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs." JUCS - Journal of Universal Computer Science 10, no. (9) (2004): 1123–55. https://doi.org/10.3217/jucs-010-09-1123.

Full text

Abstract:

We present an embedded_system design flow, discuss its details, and demonstrate its advantages. We adopt the object_oriented methodology for the system_level model because software dominates hardware in embedded systems and the object_oriented methodology is already established for software design and reuse. As the building_block of system implementation, we synthesise application_specific processors that are reusable, through programming, for several related applications. This addresses the high cost and risk of manufacturing specialised hardware tailored to only a single application. Both th

APA, Harvard, Vancouver, ISO, and other styles

21

GALLAGHER, JOHN, and MICHAEL GELFOND. "Introduction to the 27th International Conference on Logic Programming Special Issue." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 429–32. http://dx.doi.org/10.1017/s1471068411000342.

Full text

Abstract:

Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP)—the 27th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotoni

APA, Harvard, Vancouver, ISO, and other styles

22

DYLUS, SANDRA, JAN CHRISTIANSEN, and FINN TEEGEN. "Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism." Theory and Practice of Logic Programming 20, no. 1 (2019): 147–75. http://dx.doi.org/10.1017/s1471068419000085.

Full text

Abstract:

AbstractThis paper presentsPFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming. In fact, the paradigms of functional logic and probabilistic programming are closely connected. That is, language characteristics from one area exist in the other and vice versa. For example, the concepts of non-deterministic choice and call-time choice as known from functional logic programming are related to and coincide wit

APA, Harvard, Vancouver, ISO, and other styles

23

Eden, Amnon H., and Raymond Turner. "Problems in the ontology of computer programs." Applied Ontology: An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling 2, no. 1 (2007): 13–36. https://doi.org/10.3233/apo-2007-026.

Full text

Abstract:

As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into a meaningful taxonomy? (2) To what ontology are computer programs committed? (3) What explains the proliferation of programming languages and how do they come about? Taking the complementary perspectives software engineering and mathematical logic, we take inventory of programs and related objects and conclude that the notions of abstraction and concretization take a central role in this investigation.

APA, Harvard, Vancouver, ISO, and other styles

24

Herbuś, Krzysztof, Piotr Ociepka, and Aleksander Gwiazda. "Conception of the Integration of the Virtual Robot Model with the Control System." Advanced Materials Research 1036 (October 2014): 732–36. http://dx.doi.org/10.4028/www.scientific.net/amr.1036.732.

Full text

Abstract:

The paper presents the conception of integration of a robot virtual model with its virtual control system. The system of connections between the virtual world and the control system of a virtual model, proposed in the work, should let for developing the technical approach allowing teaching the manual programming of robots. In the paper attempted to define particular subsystems included in the proposed system for teaching programming of robots. In the work it have been distinguished problems that should be solved in order to properly create the proposed virtual system, and namely problems relat

APA, Harvard, Vancouver, ISO, and other styles

25

Arianyan, Ehsan, Niloofar Gholipour, Davood Maleki, Neda Ghorbani, Abdolah Sepahvand, and Pejman Goudarzi. "A Systematic Review and Classification of HPC-Related Emerging Computing Technologies." Electronics 14, no. 12 (2025): 2476. https://doi.org/10.3390/electronics14122476.

Full text

Abstract:

In recent decades, access to powerful computational resources has brought about a major transformation in science, with supercomputers drawing significant attention from academia, industry, and governments. Among these resources, high-performance computing (HPC) has emerged as one of the most critical processing infrastructures, providing a suitable platform for evaluating and implementing novel technologies. In this context, the development of emerging computing technologies has opened up new horizons in information processing and the delivery of computing services. In this regard, this paper

APA, Harvard, Vancouver, ISO, and other styles

26

Girard, Simon R., Vincent Legault, Guy Bois, and Jean-François Boland. "Avionics Graphics Hardware Performance Prediction with Machine Learning." Scientific Programming 2019 (June 3, 2019): 1–15. http://dx.doi.org/10.1155/2019/9195845.

Full text

Abstract:

Within the strongly regulated avionic engineering field, conventional graphical desktop hardware and software application programming interface (API) cannot be used because they do not conform to the avionic certification standards. We observe the need for better avionic graphical hardware, but system engineers lack system design tools related to graphical hardware. The endorsement of an optimal hardware architecture by estimating the performance of a graphical software, when a stable rendering engine does not yet exist, represents a major challenge. As proven by previous hardware emulation to

APA, Harvard, Vancouver, ISO, and other styles

27

Gamboa, Cristian Enrique, Carlos William Sánchez, and Jhon Edward Ordoñez. "Control remoto de herramientas de Hardware libre con Node.js y Firmata." Revista Lumen Gentium 1, no. 2 (2017): 92–100. http://dx.doi.org/10.52525/lg.v1n2a8.

Full text

Abstract:

Uno de los principales retos en la elaboración de proyectos de carácter informático, específicamente en el área de Internet de las Cosas (IoT, por sus siglas en inglés), es la integración de software y hardware, debido a la barrera de la integración latente en dicha labor, junto a los posibles temores por la incursión en estas tendencias. En ese orden, se han creado iniciativas que permiten una ágil interacción entre los componentes tipo lógico, y los de tipo físico. Una de estas iniciativas, es la plataforma de hardware Arduino, la cual es de gran utilidad en desarrollos de automatización y m

APA, Harvard, Vancouver, ISO, and other styles

28

Marquez, Jack, Oscar H. Mondragon, and Juan D. Gonzalez. "An Intelligent Approach to Resource Allocation on Heterogeneous Cloud Infrastructures." Applied Sciences 11, no. 21 (2021): 9940. http://dx.doi.org/10.3390/app11219940.

Full text

Abstract:

Cloud computing systems are rapidly evolving toward multicloud architectures supported on heterogeneous hardware. Cloud service providers are widely offering different types of storage infrastructures and multi-NUMA architecture servers. Existing cloud resource allocation solutions do not comprehensively consider this heterogeneous infrastructure. In this study, we present a novel approach comprised of a hierarchical framework based on genetic programming to solve problems related to data placement and virtual machine allocation for analytics applications running on heterogeneous hardware with

APA, Harvard, Vancouver, ISO, and other styles

29

Secugal, Kenrick Agustin, Jason Sermeno, and Nelly Mistio. "Integrated Student Affairs and Services Information System." Journal of Innovative Technology Convergence 2, no. 2 (2020): 53–62. http://dx.doi.org/10.69478/jitc2020v2n2a06.

Full text

Abstract:

Information Technology (IT) is now the backbone of today’s modern world. It mostly converts conventional processes into electronic function wherein it gives more advantage, efficiency, and saves time. Normally, one of the Information Technology product is an Information System (IS). It supports a business function that uses advanced technology comprised of hardware, software, people, network, and data. As one of the information technologist practitioners, the proponents aimed to deliver an Information System to aid the target client. The conduct of the study was approved last August 2017 which

APA, Harvard, Vancouver, ISO, and other styles

30

Aktaruzzaman, Mohammed, Muhammad Joynal Abedin, MD Rakibul Islam, and Abdur Rakib Nayeem. "How network science application works on global supply chain management: A study on medical equipment during Covid-19 pandemic." Journal of Social Sciences Advancement 1, no. 01 (2020): 08–15. http://dx.doi.org/10.52223/jssa20-010102-02.

Full text

Abstract:

The COVID-19 pandemic has featured the delicacy of the around the world entwined supply chains. Our essential inspiration is to direct a huge scope study utilizing mined information related with multi-level and multi-layer investigation of the worldwide store network of the clinical hardware. We analyse the information structure utilizing network science investigation instruments. This work might be a harbinger for future exploration zeroed in on select levels and layers of arranged production network information. The flow research uncovers a few beforehand obscure examples of the worldwide in

APA, Harvard, Vancouver, ISO, and other styles

31

Ubbiali, Stefano, Christian Kühnlein, Christoph Schär, et al. "Exploring a high-level programming model for the NWP domain using ECMWF microphysics schemes." Geoscientific Model Development 18, no. 2 (2025): 529–46. https://doi.org/10.5194/gmd-18-529-2025.

Full text

Abstract:

Abstract. We explore the domain-specific Python library GT4Py (GridTools for Python) for implementing a representative physical parametrization scheme and the related tangent-linear and adjoint algorithms from the Integrated Forecasting System (IFS) of ECMWF. GT4Py encodes stencil operators in an abstract and hardware-agnostic fashion, thus enabling more concise, readable, and maintainable scientific applications. The library achieves high performance by translating the application into targeted low-level coding implementations. Here, the main goal is to study the correctness and performance p

APA, Harvard, Vancouver, ISO, and other styles

32

Wu, Yiwei, Bao Liang Wang, Shiqing Wan, and Limei Luo. "Programmable Controller Based Piercing Machine System Design." Bulletin of Science and Practice, no. 6 (June 15, 2023): 363–72. http://dx.doi.org/10.33619/2414-2948/91/43.

Full text

Abstract:

The former mainly consists of solenoid valve actuators, sensors, programmable controllers, etc. The core of the hardware design is PLC and related wiring design; the latter is mainly through Protherm V14 to complete the programming, based on the overall architecture of the system to complete the ladder design of subroutines, program flow analysis is the software design is the focus of the final successful design of the electrical control system of the piercing machine. After system debugging and testing, the system has successfully achieved the expected goal and can meet the user's control req

APA, Harvard, Vancouver, ISO, and other styles

33

SNEYERS, JON, PETER VAN WEERT, TOM SCHRIJVERS, and LESLIE DE KONINCK. "As time goes by: Constraint Handling Rules." Theory and Practice of Logic Programming 10, no. 1 (2009): 1–47. http://dx.doi.org/10.1017/s1471068409990123.

Full text

Abstract:

AbstractConstraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. Constraint Handling Rules related research has surged during the decade following the previous survey by Frühwirth (J. Logic Programming, Special Issue on Constraint Logic Programming, 1998, vol. 37, nos. 1–3, pp. 95–138). Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, fr

APA, Harvard, Vancouver, ISO, and other styles

34

HERMENEGILDO, MANUEL, and TORSTEN SCHAUB. "Introduction to the 26th international conference on logic programming special issue." Theory and Practice of Logic Programming 10, no. 4-6 (2010): 361–64. http://dx.doi.org/10.1017/s1471068410000153.

Full text

Abstract:

The Logic Programming (LP) community, through the Association for Logic Programming (ALP) and its Executive Committee, decided to introduce for 2010 important changes in the way the main yearly results in LP and related areas are published. Whereas such results have appeared to date in standalone volumes of proceedings of the yearly International Conferences on Logic Programming (ICLP), and this method—fully in the tradition of Computer Science (CS)—has served the community well, it was felt that an effort needed to be made to achieve a higher level of compatibility with the publishing mechani

APA, Harvard, Vancouver, ISO, and other styles

35

Liu, Xin, Guojing Shi, Changbo Yang, Enyong Xu, and Yanmei Meng. "Co-Optimization of Speed Planning and Energy Management for Plug-In Hybrid Electric Trucks Passing Through Traffic Light Intersections." Energies 17, no. 23 (2024): 6022. https://doi.org/10.3390/en17236022.

Full text

Abstract:

To tackle the energy-saving optimization issue of plug-in hybrid electric trucks traversing multiple traffic light intersections continuously, this paper presents a double-layer energy management strategy that utilizes the dynamic programming–twin delayed deep deterministic policy gradient (DP-TD3) algorithm to synergistically optimize the speed planning and energy management of plug-in hybrid electric trucks, thereby enhancing the vehicle’s passability through traffic light intersections and fuel economy. In the upper layer, the dynamic programming (DP) algorithm is employed to create a speed

APA, Harvard, Vancouver, ISO, and other styles

36

Shirokova, Olga Aleksandrovna, Tatyana Yuryevna Gainutdinova, and Marina Yuryevna Denisova. "Effectiveness of Integrated Learning in Mathematics and Information Technology." Russian Digital Libraries Journal 24, no. 3 (2021): 531–47. http://dx.doi.org/10.26907/1562-5419-2021-24-3-531-547.

Full text

Abstract:

The article proposes a methodology related to the use of integrated project tasks in teaching mathematics, based on the practical application of the acquired knowledge in mathematical disciplines in conjunction with computer modeling and programming. Examples of specific integrated project tasks are presented.

APA, Harvard, Vancouver, ISO, and other styles

37

BISCHOF, HOLGER, SERGEI GORLATCH, and ROMAN LESHCHINSKIY. "DatTeL: A DATA-PARALLEL C++ TEMPLATE LIBRARY." Parallel Processing Letters 13, no. 03 (2003): 461–72. http://dx.doi.org/10.1142/s0129626403001422.

Full text

Abstract:

The concept of C++ templates, realized in the Standard Template Library (STL), allows development of generic programs suitable for various concrete data structures. Our aim in this paper is to provide an opportunity for efficient execution of STL programs on parallel machines. We present DatTeL – a data-parallel library, which allows simple, efficient programming for various parallel architectures while staying within the paradigm of classical C++ template programming. We describe the principles of our approach and explain our design decisions and their implementation in the library. The prese

APA, Harvard, Vancouver, ISO, and other styles

38

Yaikhom, Gagarine. "MESSAGE PASSING WITHOUT MEMORY COPY." Parallel Processing Letters 18, no. 01 (2008): 87–100. http://dx.doi.org/10.1142/s0129626408003247.

Full text

Abstract:

We consider here reduction of send latencies for send-and-forget type communications, where senders do not reuse data that have already been sent. We introduce a commit based message sending approach, and describe the corresponding application programming interfaces. These interfaces allow applications to take advantage of message buffering, such as overlapping of computations and communications, while avoiding performance degradation due to intermediate memory copy. The approach works by allowing applications to safely access the implementation buffer through the provided interfaces. Experime

APA, Harvard, Vancouver, ISO, and other styles

39

Abouzahir, Mohamed, Rachid Latif, Mustapha Ramzi, and Mohammed Sbihi. "OpenCL and OpenGL Implementation of Simultaneous Localization and Mapping Algorithm using High-End GPU." ITM Web of Conferences 46 (2022): 04001. http://dx.doi.org/10.1051/itmconf/20224604001.

Full text

Abstract:

Simultaneous Localization And Mapping (SLAM) algorithms are being used in many robotic applications and autonomous navigation systems. The FastSLAM2.0 addresses an issue of the SLAM problem and allows a robot to navigate in an unknown environment. Several works have presented many algorithmic optimizations to reduce the computational complexity of such algorithm. In this paper, a GPGPU (general-purpose computing on graphics processing units) is exploited to achieve a parallel implementation of the FastSLAM2.0. The GPGPU acceleration is done using two different implementations for parallel prog

APA, Harvard, Vancouver, ISO, and other styles

40

Elanda, Anggi, and Robby Lintang Buana. "Analisis Manajemen Risiko Infrastruktur Dengan Metode NIST (National Institute of Standards and Technology) SP 800-30 (Studi Kasus : STMIK Rosma)." Elkom : Jurnal Elektronika dan Komputer 14, no. 1 (2021): 141–51. http://dx.doi.org/10.51903/elkom.v14i1.387.

Full text

Abstract:

Infrastructure is an important thing in an organization/company that is used to support activities carried out within the organization. Infrastructure that includes STMIK Rosma, including hardware, software, data, and information, and human resources that support information systems. Hardware resources include PCs that are used for clients with application program software. Windows 10 professional 32 and 64 bit as the operating system. While the software on the server uses Linux OS and PHP programming language. Data and information include infrastructure data, device data, server data and data

APA, Harvard, Vancouver, ISO, and other styles

41

Iakymchuk, Roman, Maria Barreda Vayá, Stef Graillat, José I. Aliaga, and Enrique S. Quintana-Ortí. "Reproducibility of parallel preconditioned conjugate gradient in hybrid programming environments." International Journal of High Performance Computing Applications 34, no. 5 (2020): 502–18. http://dx.doi.org/10.1177/1094342020932650.

Full text

Abstract:

The Preconditioned Conjugate Gradient method is often employed for the solution of linear systems of equations arising in numerical simulations of physical phenomena. While being widely used, the solver is also known for its lack of accuracy while computing the residual. In this article, we propose two algorithmic solutions that originate from the ExBLAS project to enhance the accuracy of the solver as well as to ensure its reproducibility in a hybrid MPI + OpenMP tasks programming environment. One is based on ExBLAS and preserves every bit of information until the final rounding, while the ot

APA, Harvard, Vancouver, ISO, and other styles

42

Garefalakis, Manos, Zacharias Kamarianakis, and Spyros Panagiotakis. "Towards a Supervised Remote Laboratory Platform for Teaching Microcontroller Programming." Information 15, no. 4 (2024): 209. http://dx.doi.org/10.3390/info15040209.

Full text

Abstract:

As it concerns remote laboratories (RLs) for teaching microcontroller programming, the related literature reveals several common characteristics and a common architecture. Our search of the literature was constrained to papers published in the period of 2020–2023 specifically on remote laboratories related to the subject of teaching microcontroller programming of the Arduino family. The objective of this search is to present, on the one hand, the extent to which the RL platform from the Hellenic Mediterranean University (HMU-RLP) for Arduino microcontroller programming conforms to this common

APA, Harvard, Vancouver, ISO, and other styles

43

Long, Guang Li. "Design of GPS Based on Single Chip Microcomputer." Advanced Materials Research 403-408 (November 2011): 2192–95. http://dx.doi.org/10.4028/www.scientific.net/amr.403-408.2192.

Full text

Abstract:

In order to go on a journey conveniently, the STC89C52 SCM is used, one kind of GPS user terminal is designed, it including GM-89 GPS module, communications and transformation connection, control processing electric circuit, display circuit, RS232 exterior serial communication connection and so on. The related hardware welding on the PCB, the software programming After-Burning writes in the SCM, inserts the TFT colored tablet (or 12864 liquid crystals) and outside sets at the type GPS antenna. On the electricity, demonstrated the longitude, latitude, time and altitude above sea level and so on

APA, Harvard, Vancouver, ISO, and other styles

44

FLUET, MATTHEW, MIKE RAINEY, JOHN REPPY, and ADAM SHAW. "Implicitly threaded parallelism in Manticore." Journal of Functional Programming 20, no. 5-6 (2010): 537–76. http://dx.doi.org/10.1017/s0956796810000201.

Full text

Abstract:

AbstractThe increasing availability of commodity multicore processors is making parallel computing ever more widespread. In order to exploit its potential, programmers need languages that make the benefits of parallelism accessible and understandable. Previous parallel languages have traditionally been intended for large-scale scientific computing, and they tend not to be well suited to programming the applications one typically finds on a desktop system. Thus, we need new parallel-language designs that address a broader spectrum of applications. The Manticore project is our effort to address

APA, Harvard, Vancouver, ISO, and other styles

45

Nurbekova, Gulmira Fazylgalamovna, Gulmira Zhumagaliyevna Yerlanova, Zhandos Yensebekuly Zulpykhar, and Saniya Aslbekovna Nariman. "PRACTICAL BASICS OF TRAINING UNDERGRADUATES IN BIG DATA(PROCESSING BIG DATA IN CHUNKS USING THE R PROGRAMMING LANGUAGE)." 3i intellect idea innovation - интеллект идея инновация 2, no. 2 (2025): 187–97. https://doi.org/10.52269/rwep2522187.

Full text

Abstract:

The article considers the training of specialists in big data, increasing the knowledge of students in higher educational institutions based on the processing, storage and analysis of big data in the R programming environment. The presented results are part of a research project aimed at a comprehensive study and integration of knowledge related to hardware-software systems and programming languages. Special attention is given to familiarizing students with R language packages and data storage formats. It is demonstrated that data can be stored in two different formats—.rds and .csv—each offer

APA, Harvard, Vancouver, ISO, and other styles

46

LISI, FRANCESCA A. "Inductive Logic Programming in Databases: From Datalog to." Theory and Practice of Logic Programming 10, no. 3 (2010): 331–59. http://dx.doi.org/10.1017/s1471068410000116.

Full text

Abstract:

AbstractIn this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e., the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through a better understanding of Knowledge Representation (KR) aspects related to databases. In particular, we investigate this issue from the ILP perspective by considering two database problems, (i) the definition of views and (ii) the definition of constraints, for a database whose schema is represented also by means of an ontology. Both c

APA, Harvard, Vancouver, ISO, and other styles

47

Fan, Yu-Cheng, Chih-Kang Lin, Shih-Ying Chou, Chun-Hung Wang, Shu-Hsien Wu, and Hung-Kuan Liu. "Engineering Change Orders Design Using Multiple Variables Linear Programming for VLSI Design." VLSI Design 2014 (August 24, 2014): 1–5. http://dx.doi.org/10.1155/2014/698041.

Full text

Abstract:

An engineering change orders design using multiple variable linear programming for VLSI design is presented in this paper. This approach addresses the main issues of resource between spare cells and target cells. We adopt linear programming technique to plan and balance the spare cells and target cells to meet the new specification according to logic transformation. The proposed method solves the related problem of resource for ECO problems and provides a well solution. The scheme shows new concept to manage the spare cells to meet possible target cells for ECO research.

APA, Harvard, Vancouver, ISO, and other styles

48

Gebser, Martin, Tomi Janhunen, and Jussi Rintanen. "Declarative encodings of acyclicity properties." Journal of Logic and Computation 30, no. 4 (2015): 923–52. http://dx.doi.org/10.1093/logcom/exv063.

Full text

Abstract:

Abstract Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this article, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic and linear programming. We study the compactne

APA, Harvard, Vancouver, ISO, and other styles

49

NAISH, LEE, and HARALD SØNDERGAARD. "Truth versus information in logic programming." Theory and Practice of Logic Programming 14, no. 6 (2013): 803–40. http://dx.doi.org/10.1017/s1471068413000069.

Full text

Abstract:

AbstractThe semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by Fitting (Fitting, M. 1985. A Kripke–Kleene semantics for logic programs. Journal of Logic Programming 2, 4, 295–312) and Kunen (Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4, 4, 289–308) are closely related to what is computed by a logic program, the third tru

APA, Harvard, Vancouver, ISO, and other styles

50

LIERLER, YULIYA, and MIROSLAW TRUSZCZYNSKI. "Transition systems for model generators—A unifying approach." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 629–46. http://dx.doi.org/10.1017/s1471068411000214.

Full text

Abstract:

AbstractA fundamental task for propositional logic is to compute models of propositional formulas. Programs developed for this task are called satisfiability solvers. We show that transition systems introduced by Nieuwenhuis, Oliveras, and Tinelli to model and analyze satisfiability solvers can be adapted for solvers developed for two other propositional formalisms: logic programming under the answer-set semantics, and the logic PC(ID). We show that in each case the task of computing models can be seen as “satisfiability modulo answer-set programming,” where the goal is to find a model of a th

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!