Log in

Relevant bibliographies by topics / Synchronous programming languages / Journal articles

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

Journal articles on the topic 'Synchronous programming languages'

Author: Grafiati

Published: 4 June 2021

Last updated: 15 February 2022

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

Select a source type:

Consult the top 48 journal articles for your research on the topic 'Synchronous programming languages.'

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

Newman, R. M. "The ClassiC programming language and design of synchronous concurrent object oriented languages." Journal of Systems Architecture 45, no. 5 (1998): 387–407. http://dx.doi.org/10.1016/s1383-7621(97)00089-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

LOULERGUE, F. "DISTRIBUTED EVALUATION OF FUNCTIONAL BSP PROGRAMS." Parallel Processing Letters 11, no. 04 (2001): 423–37. http://dx.doi.org/10.1142/s0129626401000701.

Full text

Abstract:

The BS λp-calculus is a calculus of functional bulk synchronous parallel (BSP) programs. It is the basis for the design of a bulk synchronous parallel ML language. For data-parallel languages, there are two points of view: the programming model where a program is seen as a sequence of operations on parallel vectors, and the execution model where the program is a parallel composition of programs run on each processor of the parallel machine. BSP algorithms are defined by data-parallel algorithms with explicit (physical) processes in order to allow their parallel execution time to be estimated.

APA, Harvard, Vancouver, ISO, and other styles

3

Schulz-Rosengarten, Alexander, Steven Smyth, and Michael Mendler. "Toward Object-oriented Modeling in SCCharts." ACM Transactions on Embedded Computing Systems 20, no. 4 (2021): 1–26. http://dx.doi.org/10.1145/3453482.

Full text

Abstract:

Object orientation is a powerful and widely used paradigm for abstraction and structuring in programming. Many languages are designed with this principle or support different degrees of object orientation. In synchronous languages, originally developed to design embedded reactive systems, there are only few object-oriented influences. However, especially in combination with a statechart notation, the modeling process can be improved by facilitating object orientation as we argue here. At the same time the graphical representation can be used to illustrate the object-oriented design of a system

APA, Harvard, Vancouver, ISO, and other styles

4

Ramesh, S., and Chandrashekhar M. Shetty. "Impossibility of Synchronization in the Presence of Preemption." Parallel Processing Letters 08, no. 01 (1998): 111–20. http://dx.doi.org/10.1142/s0129626498000134.

Full text

Abstract:

This paper is concerned with implementation of Communicating Reactive Processes(CRP), a new paradigm unifying capabilities of synchronous and asynchronous approaches to parallel programming. Synchronous languages like Esterel, Statecharts have features like instantaneous broadcasts, logical concurrency and determinism. Asynchronous languages, like ADA and CSP, allow physical concurrency and rendezvous communication mechanisms. CRP is designed for complex real-time process control applications requiring both forms of concurrency. CRP programs can be compiled into reactive nodes that communicate

APA, Harvard, Vancouver, ISO, and other styles

5

DONNELLY, KEVIN, and MATTHEW FLUET. "Transactional events." Journal of Functional Programming 18, no. 5-6 (2008): 649–706. http://dx.doi.org/10.1017/s0956796808006916.

Full text

Abstract:

AbstractConcurrent programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed transactional events, which combines first-class synchronous message passing events with all-or-nothing transactions. This combination enables simple solutions to interesting problems in concurrent programming. For example, guarded synchronous receive can be implemented as an abstract transactional event, whereas in other languages it requires a non-abstract, non-modular protocol. As another example, th

APA, Harvard, Vancouver, ISO, and other styles

6

Lohstroh, Marten, Christian Menard, Soroush Bateni, and Edward A. Lee. "Toward a Lingua Franca for Deterministic Concurrent Systems." ACM Transactions on Embedded Computing Systems 20, no. 4 (2021): 1–27. http://dx.doi.org/10.1145/3448128.

Full text

Abstract:

Many programming languages and programming frameworks focus on parallel and distributed computing. Several frameworks are based on actors, which provide a more disciplined model for concurrency than threads. The interactions between actors, however, if not constrained, admit nondeterminism. As a consequence, actor programs may exhibit unintended behaviors and are less amenable to rigorous testing. We show that nondeterminism can be handled in a number of ways, surveying dataflow dialects, process networks, synchronous-reactive models, and discrete-event models. These existing approaches, howev

APA, Harvard, Vancouver, ISO, and other styles

7

KOUZAPAS, DIMITRIOS, NOBUKO YOSHIDA, RAYMOND HU, and KOHEI HONDA. "On asynchronous eventful session semantics." Mathematical Structures in Computer Science 26, no. 2 (2014): 303–64. http://dx.doi.org/10.1017/s096012951400019x.

Full text

Abstract:

Event-driven programming is one of the major paradigms in concurrent and communication-based programming, where events are typically detected as the arrival of messages on asynchronous channels. Unfortunately, the flexibility and performance of traditional event-driven programming come at the cost of more complex programs: low-level APIs and the obfuscation of event-driven control flow make programs difficult to read, write and verify.This paper introduces a π-calculus with session types that modelsevent-driven session programming(called ESP) and studies its behavioural theory. The main charac

APA, Harvard, Vancouver, ISO, and other styles

8

Sirjani, Marjan, Edward A. Lee, and Ehsan Khamespanah. "Verification of Cyberphysical Systems." Mathematics 8, no. 7 (2020): 1068. http://dx.doi.org/10.3390/math8071068.

Full text

Abstract:

The value of verification of cyberphysical systems depends on the relationship between the state of the software and the state of the physical system. This relationship can be complex because of the real-time nature and different timelines of the physical plant, the sensors and actuators, and the software that is almost always concurrent and distributed. In this paper, we study different ways to construct a transition system model for the distributed and concurrent software components of a CPS. The purpose of the transition system model is to enable model checking, an established and widely us

APA, Harvard, Vancouver, ISO, and other styles

9

Halbwachs, N., P. Caspi, P. Raymond, and D. Pilaud. "The synchronous data flow programming language LUSTRE." Proceedings of the IEEE 79, no. 9 (1991): 1305–20. http://dx.doi.org/10.1109/5.97300.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Le Guernic, P., A. Benveniste, P. Bournai, and T. Gautier. "Synchronous Data Flow Programming with the Language SIGNAL." IFAC Proceedings Volumes 20, no. 2 (1987): 359–64. http://dx.doi.org/10.1016/s1474-6670(17)55987-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Berry, Gérard, and Georges Gonthier. "The Esterel synchronous programming language: design, semantics, implementation." Science of Computer Programming 19, no. 2 (1992): 87–152. http://dx.doi.org/10.1016/0167-6423(92)90005-v.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

PLAICE, JOHN A. "The LUSTRE Synchronous Dataflow Programming Language: Design and Semantics." Annals of the New York Academy of Sciences 661, no. 1 Frontiers of (1992): 118–51. http://dx.doi.org/10.1111/j.1749-6632.1992.tb26038.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

GAVA, FRÉDÉRIC. "A MODULAR IMPLEMENTATION OF DATA STRUCTURES IN BULK-SYNCHRONOUS PARALLEL ML." Parallel Processing Letters 18, no. 01 (2008): 39–53. http://dx.doi.org/10.1142/s0129626408003211.

Full text

Abstract:

A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterparts and many non-computer science researchers do not want to deal with parallel programming. In sequential programming environments, common data structures are often provided through reusable libraries to simplify the development of applications. A parallel representation of such data structures is thus a solution for writing parallel programs without suffering from disadvantages of all the features of a parallel langua

APA, Harvard, Vancouver, ISO, and other styles

14

GAVA, FRÉDÉRIC, and FRÉDÉRIC LOULERGUE. "A FUNCTIONAL LANGUAGE FOR DEPARTMENTAL METACOMPUTING." Parallel Processing Letters 15, no. 03 (2005): 289–304. http://dx.doi.org/10.1142/s0129626405002222.

Full text

Abstract:

We have designed a functional data-parallel language called BSML for programming bulk synchronous parallel (BSP) algorithms. Deadlocks and indeterminism are avoided and the execution time can be then estimated. For very large scale applications more than one parallel machine could be needed. One speaks about metacomputing. A major problem in programming application for such architectures is their hierarchical network structures: latency and bandwidth of the network between parallel nodes could be orders of magnitude worse than those inside a parallel node. Here we consider how to extend both t

APA, Harvard, Vancouver, ISO, and other styles

15

Stefani, Jean-Bernard, Laurent Hazard, and François Hørn. "Computational model for distributed multimedia applications based on a synchronous programming language." Computer Communications 15, no. 2 (1992): 114–28. http://dx.doi.org/10.1016/0140-3664(92)90131-w.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Benveniste, Albert, Paul Le Guernic, and Christian Jacquemot. "Synchronous programming with events and relations: the SIGNAL language and its semantics." Science of Computer Programming 16, no. 2 (1991): 103–49. http://dx.doi.org/10.1016/0167-6423(91)90001-e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Cui, Huan Yong, Na Tian, Rui Chuan Li, and Xiu Hua Men. "A Method of Parametric Design of Automobile Synchronizer Ring Based on UG Secondary Development Tools." Applied Mechanics and Materials 716-717 (December 2014): 635–38. http://dx.doi.org/10.4028/www.scientific.net/amm.716-717.635.

Full text

Abstract:

To realized the parametric design of automobile synchronizer ring spline tooth efficiently, a method is presented in this article, which is realized based on the UG secondary development tools. The user environment settings and the establishment of the menu file and the human-computer interaction window are introduced in detail. The programming language is written to realize the parametric design of the spline tooth of synchronous ring. Application result shows that the method simplifies the synchronous ring modeling process and improves the working efficiency.

APA, Harvard, Vancouver, ISO, and other styles

18

Lima, Guilherme F., Rodrigo C. M. Santos, Roberto Ierusalimschy, Edward H. Haeusler, and Francisco Sant’Anna. "A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu." Journal of Systems Architecture 97 (August 2019): 239–57. http://dx.doi.org/10.1016/j.sysarc.2019.01.014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Santos, Rodrigo C. M., Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, and Edward H. Haeusler. "A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu." ACM SIGPLAN Notices 53, no. 6 (2018): 1–18. http://dx.doi.org/10.1145/3299710.3211334.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Guo, Gai Zhi, Peng Ju Zhang, Zong Zuo Yu, Hai Long Wang, and Sen Ma. "The Design of the Calculator System Based on ARM7TDMI Kernel." Advanced Materials Research 433-440 (January 2012): 5564–67. http://dx.doi.org/10.4028/www.scientific.net/amr.433-440.5564.

Full text

Abstract:

A calculator design was created using S3C44B0X chip with ARM7TDMI as the kernel with a keypad connected to a ZLG7289A intelligent control chip through SIO synchronous serial ports as well as a LED port. The system design used hybrid programming with C language and ARM assembly language to accomplish basic calculations with LED digital display. The structured frame design makes it convenient to expand the functions of S3C44B0X, and has broad practical importance for developing uses for the built-in system both in software and hardware.

APA, Harvard, Vancouver, ISO, and other styles

21

Ratel, Christophe, Nicolas Halbwachs, and Pascal Raymond. "Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE." ACM SIGSOFT Software Engineering Notes 16, no. 5 (1991): 112–19. http://dx.doi.org/10.1145/123041.123062.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Cao, Rong Min, Hui Xing Zhou, and Rong Hua Ma. "Experiment Platform Design cSPACE-Based for a Permanent Magnet Linear Synchronous Motor Driven Inverted Pendulum." Applied Mechanics and Materials 84-85 (August 2011): 452–56. http://dx.doi.org/10.4028/www.scientific.net/amm.84-85.452.

Full text

Abstract:

Permanent magnet linear synchronous motor (PMLSM) driven inverted pendulum is a new member of present similar devices, various unexpected disturbances such as lag effect of a belt attached to a cart and errors caused by a rotary encoder while detecting the position of a cart can be eliminated or reduced to a small range.In this paper, ironless permanent magnet synchronous linear motor driven inverted pendulum experiment platform is developed. The plant is hardware in the loop real time simulation control development system (Hardware-in-Loop, HIL)based on TMS320F2812DSP and MATLAB, it can use s

APA, Harvard, Vancouver, ISO, and other styles

23

POGGI, AGOSTINO, and PAOLA TURCI. "AN AGENT BASED LANGUAGE FOR THE DEVELOPMENT OF DISTRIBUTED SOFTWARE SYSTEMS." International Journal on Artificial Intelligence Tools 05, no. 03 (1996): 347–66. http://dx.doi.org/10.1142/s0218213096000237.

Full text

Abstract:

This paper presents a concurrent object-oriented language, called CUBL, that seems be suitable for the development and maintenance of multi-agent systems. This language is based on objects, called c_units, that act in parallel and communicate with each other through synchronous and asynchronous message passing, and allows the distribution of a program, that is, of its objects on a network of UNIX workstations. This language has been enriched with an agent architecture that offers some of more important features for agent-oriented programming and some advantages as regards the other implemented

APA, Harvard, Vancouver, ISO, and other styles

24

Halbwachs, N., F. Lagnier, and C. Ratel. "Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE." IEEE Transactions on Software Engineering 18, no. 9 (1992): 785–93. http://dx.doi.org/10.1109/32.159839.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

PARIS, NICOLAS. "POMPC: A C LANGUAGE FOR DATA PARALLELISM." International Journal of Modern Physics C 04, no. 01 (1993): 85–96. http://dx.doi.org/10.1142/s0129183193000094.

Full text

Abstract:

POMPC is a parallel language dedicated to the programming of Massively Parallel Computers according to a synchronous Data Parallel model. It is an extension of the ANSI C language and follows its philosophy. Parallelism is explicitly handled by the definition of collections of parallel variables and the definition of communication primitives. A methodology is presented in order to easily port the language on different target architectures. Virtualization is introduced to handle simultaneously several collections of different sizes and shapes. Virtualization management is a key point of the com

APA, Harvard, Vancouver, ISO, and other styles

26

Sumina, Damir, Neven Bulić, and Mato Mišković. "Application of a DSP-Based Control System in a Course in Synchronous Machines and Excitation Systems." International Journal of Electrical Engineering & Education 49, no. 3 (2012): 334–48. http://dx.doi.org/10.7227/ijeee.49.3.12.

Full text

Abstract:

The paper presents educational tools for students of an undergraduate course in synchronous generators and excitation systems. Laboratory exercises are based on the work with a laboratory model which consists of a digital control system and a synchronous generator connected to the power network. The code development is supported by two software tools where the code can be developed in the C or C++ programming language or in a graphical environment. In the Electrical Machines Laboratory, the presented laboratory model allows students to develop the code for excitation control, to learn how a co

APA, Harvard, Vancouver, ISO, and other styles

27

Thi Nhung, Doan, and Bui Van Ngoc. "Bioinformatic approaches for analysis of coral-associated bacteria using R programming language." Vietnam Journal of Biotechnology 18, no. 4 (2021): 733–43. http://dx.doi.org/10.15625/1811-4989/18/4/15320.

Full text

Abstract:

Recent advances in metagenomics and bioinformatics allow the robust analysis of the composition and abundance of microbial communities, functional genes, and their metabolic pathways. So far, there has been a variety of computational/statistical tools or software for analyzing microbiome, the common problems that occurred in its implementation are, however, the lack of synchronization and compatibility of output/input data formats between such software. To overcome these challenges, in this study context, we aim to apply the DADA2 pipeline (written in R programming language) instead of using a

APA, Harvard, Vancouver, ISO, and other styles

28

Lazzarini, Victor, Damián Keller, and Marcelo Soares Pimenta. "Prototyping of Ubiquitous Music Ecosystems." Journal of Cases on Information Technology 17, no. 4 (2015): 73–85. http://dx.doi.org/10.4018/jcit.2015100105.

Full text

Abstract:

This paper focuses on the prototyping stage of the design cycle of ubiquitous music ecosystems. The authors present three case studies of prototype deployments for creative musical activities. The first case exemplifies a ubimus system for synchronous musical interaction using a hybrid Java-JavaScript development platform, mow3s-ecolab. The second case study makes use of the HTML5 Web Audio library to implement a loop-based sequencer. The third prototype—a sine-wave oscillator—provides an example of using the Chromium open-source sand-boxing technology Portable Native Client (PNaCl) platform f

APA, Harvard, Vancouver, ISO, and other styles

29

Ma, Cong Gan, Shu Guang Zuo, Rong He, and Lv Chang He. "Radial Electromagnetic Force Wave Analysis of Permanent Magnet Synchronous Motor for Electric Vehicle." Advanced Materials Research 211-212 (February 2011): 948–52. http://dx.doi.org/10.4028/www.scientific.net/amr.211-212.948.

Full text

Abstract:

In this paper, Radial Electromagnetic Force Wave, which causes the magnetic noise of the permanent magnet synchronous motor used in the electric vehicles of the Shanghai Expo, is studied by programming with ANSYS Parametric Design Language (APDL). The magnetic properties such as magnetic induction, magnetic field, magnetic flux density between the stator and the rotor are researched at no load and three-phase voltage load. Then all of the data is combined with Maxwell’s equations to calculate the space distribution and time distribution of radial electromagnetic force wave. Finally, it is made

APA, Harvard, Vancouver, ISO, and other styles

30

Yan, Shi, Yading Liu, and Wei Sun. "Angle Measurement Research Based on Virtual Instrument Technology." Applied Mechanics and Materials 303-306 (February 2013): 807–10. http://dx.doi.org/10.4028/www.scientific.net/amm.303-306.807.

Full text

Abstract:

Based on the virtual instrument technology, a structural health monitoring (SHM) system was developed for angle measurement with a platform of graphical programming language (the LabVIEW software) and embedded acquisition system (CompactRIO). This system can realize the real-time synchronous monitoring for the structure’s inclination, and the LabVIEW software was used to compile the program of epistatic machine, which can achieve the system program’s visualization interface aesthetics, and redevelop the program function expansion. Through the experimental verification, the developed system is

APA, Harvard, Vancouver, ISO, and other styles

31

Rath, Kamlesh, Venkatesh Choppella, and Steven D. Johnson. "Decomposition of Sequential Behavior Using Interface Specification and Complementation." VLSI Design 3, no. 3-4 (1995): 347–58. http://dx.doi.org/10.1155/1995/74543.

Full text

Abstract:

Decomposition of system behavior along functional boundaries into interacting sequential components is a key step in top-down system design. In this paper, we present sequential decomposition, a method for factoring sequential components from a system specification based on interface specifications of the components. The resulting components can be independently synthesized, or realized using off-the-shelf components. We introduce interface specification language (ISL), based on finite-state machine semantics, to specify the input/output behavior of synchronous sub-systems. A component is fact

APA, Harvard, Vancouver, ISO, and other styles

32

Bdewi, Mustafa Y., Ahmed M. Mohammed, and Mohammed M. Ezzaldean. "Design and Performance Analysis of Permanent Magnet Synchronous Motor for Electric Vehicles Application." Engineering and Technology Journal 39, no. 3A (2021): 394–406. http://dx.doi.org/10.30684/etj.v39i3a.1765.

Full text

Abstract:

In electrical vehicle applications, power density plays a significant role in improving machine performance. The main objective of this paper is to design and analyze the performance of in-wheel outer rotor permanent magnet synchronous motor (PMSM) used in electric vehicles based on a previously designed model. The key challenge is to achieve the best machine performance regarding the highest torque density and lowest torque ripple. This work also aims at reducing the machine cost by using permanent magnet (PM) material, which has less energy density than the PM used in the previously designed

APA, Harvard, Vancouver, ISO, and other styles

33

GAVA, FRÉDÉRIC. "FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS." Parallel Processing Letters 13, no. 03 (2003): 365–76. http://dx.doi.org/10.1142/s0129626403001343.

Full text

Abstract:

The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a wide range of architectures. It is based on an extension of the ML language by parallel operations on a parallel data structure called parallel vector, which is given by intention. We present a new approach to certifying BSML programs in the context of type theory. Given a specification and a program, an incomplete proof of the specification (of which algorithmic contents corresponds to the given program) is built in the type theory, in whi

APA, Harvard, Vancouver, ISO, and other styles

34

Lv, Qi Bing, Ke Li Tan, Xi Zhang, Jian Chen, and Guo Qing Liu. "Acoustic Information Acquisition and Time Domain Analysis on Alternating Current Rail Flash Butt Welding." Applied Mechanics and Materials 239-240 (December 2012): 16–20. http://dx.doi.org/10.4028/www.scientific.net/amm.239-240.16.

Full text

Abstract:

Based on the mobile rail flash butt welding machine UN5-150ZB, the synchronous data acquisition hardware system was designed to collect welding current, welding voltage and flash acoustic signal in welding process, and the software platform with the functions of signal collecting, waveform display and data operation was developed by higher-level programming language LabVIEW. After the welding current, welding voltage and flash acoustic signal in welding process had been collected, the mean, variance and mean square value of flash acoustic signal in time-domain were analyzed. Through comparison

APA, Harvard, Vancouver, ISO, and other styles

35

Kutz, D. F., N. Marzocchi, P. Fattori, S. Cavalcanti, and C. Galletti. "Real-Time Supervisor System Based on Trinary Logic to Control Experiments With Behaving Animals and Humans." Journal of Neurophysiology 93, no. 6 (2005): 3674–86. http://dx.doi.org/10.1152/jn.01292.2004.

Full text

Abstract:

A new method is presented based on trinary logic able to check the state of different control variables and synchronously record the physiological and behavioral data of behaving animals and humans. The basic information structure of the method is a time interval of defined maximum duration, called time slice, during which the supervisor system periodically checks the status of a specific subset of input channels. An experimental condition is a sequence of time slices subsequently executed according to the final status of the previous time slice. The proposed method implements in its data stru

APA, Harvard, Vancouver, ISO, and other styles

36

Gerth, Rob, and W. P. De Roever. "Proving Monitors Revisited: A First Step Towards Verifying Object Oriented Systems1." Fundamenta Informaticae 9, no. 4 (1986): 371–99. http://dx.doi.org/10.3233/fi-1986-9402.

Full text

Abstract:

An axiomatic characterization of monitors, based on assumption-commitment style reasoning, is given that is sound and (relatively) complete. This characterization is based on the fundamental notions of cooperation and interference, but does not use them as second order notions. The cooperation test was originally conceived to capture the proof theoretical analogue of distributed message passing between disjoint processes, as opposed to the interference freedom test, being the proof theoretical analogue of concurrency based on interference by jointly shared variables. Since then, the cooperatio

APA, Harvard, Vancouver, ISO, and other styles

37

Cheng, Chan Boon, and Asral Bahari Jambek. "SOC integration for video processing application." Bulletin of Electrical Engineering and Informatics 8, no. 1 (2019): 223–30. http://dx.doi.org/10.11591/eei.v8i1.1396.

Full text

Abstract:

Video processing is an additional system that can improve the functionality of video surveillance. Integration of a simple video processing system into a complete camera system with a field-programmable gate array (FPGA) is an important step for research, to further improve the tracking process. This paper presents the integration of greyscale conversion into a complete camera system using Nios II software build tools for Eclipse. The camera system architecture is designed using the Nios II soft-core embedded processor from Altera. The proposed greyscale conversion system is designed using the

APA, Harvard, Vancouver, ISO, and other styles

38

Ежова, Н. А., and Л. Б. Соколинский. "Scalability evaluation of iterative algorithms for supercomputer simulation of physical processes." Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), no. 4 (December 18, 2018): 416–30. http://dx.doi.org/10.26089/nummet.v19r437.

Full text

Abstract:

Статья посвящена разработке методики исследования масштабируемости ресурсоемких итерационных алгоритмов, применяемых в моделировании сложных физических процессов на суперкомпьютерных системах. В основе предлагаемой методики лежит модель параллельных вычислений BSF (Bulk Synchronous Farm), позволяющая на ранней стадии разработки итерационного алгоритма определить границу его масштабируемости. Модель BSF предполагает представление алгоритма в виде операций над списками с использованием функций высшего порядка. При этом рассматривается два класса представлений: BSF-M (Map BSF) и BSF-MR (Map-Reduc

APA, Harvard, Vancouver, ISO, and other styles

39

Budde, Reinhard, Axel Poigné, and Karl-Heinz Sylla. "Synchrone Programmierung - Sprachen (Teil 2) (Synchronous Programming - Languages (Part 2))." at - Automatisierungstechnik 50, no. 7/2002 (2002). http://dx.doi.org/10.1524/auto.2002.50.7.a13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

PEREZ, IVAN, and ALWYN E. GOODLOE. "Fault-tolerant functional reactive programming (extended version)." Journal of Functional Programming 30 (2020). http://dx.doi.org/10.1017/s0956796820000118.

Full text

Abstract:

Abstract Highly critical application domains, like medicine and aerospace, require the use of strict design, implementation, and validation techniques. Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems. Causal stream functions and functional reactive programming (FRP) capture the essence of those languages in a way that is both elegant and robust. To guarantee that critical systems can operate under high stress over long periods of time, these applications require clear specifications of possible faults and hazards,

APA, Harvard, Vancouver, ISO, and other styles

41

Smith, Dylan Gregory, and George Wells. "Interprocess Communication with Java in a Microsoft Windows Environment." South African Computer Journal 29, no. 3 (2017). http://dx.doi.org/10.18489/sacj.v29i3.500.

Full text

Abstract:

The Java programming language provides a comprehensive set of multithreading programming techniques but currently lacks interprocess communication (IPC) facilities, other than slow socket-based communication mechanisms (which are intended primarily for distributed systems, not interprocess communication on a multicore or multiprocessor system). This is problematic due to the ubiquity of modern multicore processors, and the widespread use of Java as a programming language throughout the software development industry. This work aimed to address this problem by utilising Microsoft Windows’ native

APA, Harvard, Vancouver, ISO, and other styles

42

"Esterel on hardware." Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences 339, no. 1652 (1992): 87–104. http://dx.doi.org/10.1098/rsta.1992.0027.

Full text

Abstract:

Esterel is a synchronous concurrent programming language for reactive systems (controllers, protocols, man—machine interfaces, etc.). Esterel has an efficient software implementation based on a well-defined mathematical semantics. I present a new hardware implementation of the pure synchronization subset of the language. Each program generates a specific circuit that responds to any input in one clock cycle. The circuit is shown to be semantically equivalent to the source program. The hardware translation is effectively implemented and used on the programmable active memory Perle0 developed by

APA, Harvard, Vancouver, ISO, and other styles

43

Arjona, M. A., M. Cisneros Gonzalez, and C. Hernandez. "Development of a Synchronous-Generator Experimental Bench for." Journal of Applied Research and Technology 9, no. 02 (2011). http://dx.doi.org/10.22201/icat.16656423.2011.9.02.438.

Full text

Abstract:

This paper presents the development of an experimental bench for performing time-domain tests on synchronousmachines at standstill. The test bench allows the collection of experimental data which can then be used in theparameter estimation of mathematical models of synchronous motors and generators. The system development isbased on the LabVIEW programming language. It effortlessly allows the calibration of voltage and current sensors, thed-q magnetic axis positioning of the synchronous generator, and the spectral analysis from the collected data. In addition, the testing environment includes

APA, Harvard, Vancouver, ISO, and other styles

44

Çakıroğlu, Ünal. "Analyzing the effect of learning styles and study habits of distance learners on learning performances: A case of an introductory programming course." International Review of Research in Open and Distributed Learning 15, no. 4 (2014). http://dx.doi.org/10.19173/irrodl.v15i4.1840.

Full text

Abstract:

<p>This study examined the relationships among learning styles, study habits, and learning performances in an online programming language course. Sixty-two sophomore students who enrolled in an online introductory programming course participated in the study. Kolb’s Learning Style Inventory (LSI) was used to measure the students’ learning styles. Another inventory developed by the researcher was used to determine learners’ study habits. An achievement test was used to put forward their learning performances. As a result, significant relationships between learning styles, study habits, an

APA, Harvard, Vancouver, ISO, and other styles

45

Bello, RO, MA Ogunrinde, and BO Bello. "Model Implementation Of Text And Video Chats With Python Ide Software." Journal of Computer Science and Its Application 27, no. 1 (2020). http://dx.doi.org/10.4314/jcsia.v27i1.7.

Full text

Abstract:

Chats are bound to be an efficient way of disseminating synchronous and asynchronous information through textual messages or video communication among various people over a network. An Integrated Development Environment (IDE), is a text editor that allows developers and engineers to enhance the different features of writing executable software. Using IDEs, the programmer’s productivity is enhanced by consolidating common activities involved in writing computer programs into a single application. These activities include source code editing, auto-completing, syntax highlighting, building execut

APA, Harvard, Vancouver, ISO, and other styles

46

Pratama, I. Gede Ngurah Wira, I. G. N. Anom Cahyadi Putra, and Aulia Iefan Datya. "SISTEM INFORMASI MANAJEMEN PRAKTEK KERJA LAPANGAN BERBASIS WEBSITE ( STUDI KASUS PROGRAM STUDI SISTEM INFORMASI UNIVERSITAS DHYANA PURA BALI )." Jurnal Teknologi Informasi dan Komputer 3, no. 1 (2017). http://dx.doi.org/10.36002/jutik.v3i1.236.

Full text

Abstract:

ABSTRACT<br />Practical work is one of the systematic and synchronous implementation of the campus education<br />program with the skills acquistion program obtanied through direct work activities in the<br />workforce to achieve a certain level of expertise. The process of registration and reporting the<br />implementation of practical work in the information systems studi program is still done manually.<br />Based on this the authors make a practical work information system management based on the<br />study program of the unversity information system Dhya

APA, Harvard, Vancouver, ISO, and other styles

47

Woodward, Kath. "Tuning In: Diasporas at the BBC World Service." M/C Journal 14, no. 2 (2010). http://dx.doi.org/10.5204/mcj.320.

Full text

Abstract:

Diaspora This article looks at diaspora through the transformations of an established public service broadcaster, the BBC World Service, by considering some of the findings of the AHRC-funded Tuning In: Contact Zones at the BBC World Service, which is part of the Diasporas, Migration and Identities program. Tuning In has six themes, each of which focuses upon the role of the BBC WS: The Politics of Translation, Diasporic Nationhood, Religious Transnationalism, Sport across Diasporas, Migrating Music and Drama for Development. The World Service, which was until 2011 funded by the Foreign Office

APA, Harvard, Vancouver, ISO, and other styles

48

Nunes, Mark, and Cassandra Ozog. "Your (Internet) Connection Is Unstable." M/C Journal 24, no. 3 (2021). http://dx.doi.org/10.5204/mcj.2813.

Full text

Abstract:

It has been fifteen months since the World Health Organisation declared the COVID-19 outbreak a global pandemic and the first lockdowns went into effect, dramatically changing the social landscape for millions of individuals worldwide. Overnight, it seemed, Zoom became the default platform for video conferencing, rapidly morphing from brand name to eponymous generic—a verb and a place and mode of being all at once. This nearly ubiquitous transition to remote work and remote play was both unprecedented and entirely anticipated. While teleworking, digital commerce, online learning, and social ne

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!