Filters








121,489 Hits in 11.6 sec

Processes, Systems & Tests: Defining Contextual Equivalences [article]

Clément Aubert, Daniele Varacca
2021 arXiv   pre-print
ambients.Our distinction starts by subdividing the notion of process itself in three conceptually separated entities, that we call Processes, Systems and Tests.While the role of what can be observed and  ...  In this position paper, we would like to offer and defend a new template to study equivalences between programs – in the particular framework of process algebras for concurrent computation.We believe that  ...  In the literature of process algebra, the term 'process' is commonly used to denote these three layers, which may generate confusion.  ... 
arXiv:2007.08187v3 fatcat:gqyzeua2t5aj7f5kbaj6ma3eo4

Advanced load-testing techniques for a science archive

Mark Legassie, Lee Bennett, Susan Comeau, Suzanne Dodd, Roger J. Brissenden, David R. Silva
2008 Observatory Operations: Strategies, Processes, and Systems II  
Performance goals for data archive systems need to be established early in the design process to ensure stability and acceptable response throughput.  ...  Providing resources for load-test planning is critical, and this planning must include feasibility studies, tool analyses, and generation of an overall load-test strategy.  ...  The three most common types of load tests are stress tests, stability tests, and isolation tests. A stress test is designed to determine how heavy a load the system can handle.  ... 
doi:10.1117/12.788045 fatcat:vtricqt54jbs3puavoi4in4f3y

Development and testing of a dynamic absorber with corrugated piezoelectric spring for vibration control and energy harvesting applications

R.L. Harne
2013 Mechanical systems and signal processing  
The development and design of the device are presented and the results of realistic tests are provided to show both the potentials and the challenges encountered when attempting to superpose the goals  ...  The device utilizes a piezoelectric film spring and a distributed mass layer so as to be suitable for the attenuation of surface vibrations and to convert a portion of the absorbed energy into electric  ...  Acknowledgments The author would like to thank Blacksburg Transit (BT)-specifically Tim Witten, Aneil Samuel, Chris Stoynev and Ken Tucker-for the freedom and flexibility with which to conduct the tests  ... 
doi:10.1016/j.ymssp.2012.10.012 fatcat:astgwu4y3bbdrgslrzrpmshcsq

A tutorial introduction to research on analog and mixed-signal circuit testing

L.S. Milor
1998 IEEE transactions on circuits and systems - 2, Analog and digital signal processing  
Index Terms-Analog circuits, analog system fault diagnosis, analog system testing, built-in testing, integrated circuit testing, mixed analog-digital integrated circuits, testing.  ...  Analog blocks embedded in digital systems may not easily be separately testable.  ...  Kao, and the four reviewers for their helpful comments on this manuscript.  ... 
doi:10.1109/82.728852 fatcat:vfon3dk5cvhddpfutzx5dajsau

Distributed Database Integrated Transaction Processing Technology Research

2017 Journal of Web Systems and Applications  
of the distributed database system.  ...  In the existing enterprise network environment using YCSB as a benchmark test shows that the different keys under the method of response speed are the fastest.  ...  In a simplified approach, the server is composed by three main components: the hardware platform (including the disk subsystem), the operating system, and the transactional engine.  ... 
doi:10.23977/jwsa.2017.11003 fatcat:3kglghi6grbizdmp3konofnnxe

Storage and Processing System of Meter Data Based on Hadoop

Sai LIU, Jian GUO, Yuan FENG
2017 DEStech Transactions on Computer Science and Engineering  
After analyzed the result of System benchmark I/O test, and compared data storage and processing capabilities with the traditional solution, it is proved that the new system has the advantages of efficient  ...  When dealing with a large amount of meter data, this kind of system is difficult to expand, data processing is not in time and the efficiency of data retrieval is low, which led to the fault response cycle  ...  In China, the meter data storage and processing systems basically use the traditional solutions, which rely on the high configuration server provides powerful computing capabilities, disk arrays and the  ... 
doi:10.12783/dtcse/cmsam2017/16415 fatcat:vdqz3aj7cnazzcy6fsbwtkpmki

Concurrent Control Algorithm for Large-scale Remote Multi-user Information Management System

Dawei Zhao
2022 North atlantic university union: International Journal of Circuits, Systems and Signal Processing  
of the results, the delay of data link layer in multi-user information management system is carried out modeling; Combined with the queuing delay and accessing delay, the large-scale remote multi-user  ...  In this paper, a concurrency control algorithm for large-scale remote multi-user information management system is proposed.  ...  Three algorithms are used to test each other, and the information transmission efficiency of the three different methods is compared. The test results are shown in Fig.4.  ... 
doi:10.46300/9106.2022.16.7 fatcat:6sxb4nwbyrbjbnyoay4x3sku5q

The solo operating system: Processes, monitors, and classes

Per Brinch Hansen
1976 Software, Practice & Experience  
It explains the overall structure and details of the system in which concurrent processes communicate by means of a hierarchy of monitors and classes.  ...  Brinch Hansen, The Solo operating system: processes, monitors and classes. ABSTRACT DATA TYPES Each program layer consists of one or more abstract data types (monitors and classes).  ...  Acknowledgements The development of Concurrent Pascal and Solo has been supported by the National Science Foundation under grant number DCR74-17331.  ... 
doi:10.1002/spe.4380060204 fatcat:ghbutzoenzewpgpdjoitfqkniu

Software Development for Parallel and Multi-Core Processing [chapter]

Kenn R.
2012 Embedded Systems - High Performance Systems, Applications and Projects  
core processing to multi-core processing, the major issue is concurrency.  ...  Virtualization products can be found for both real-time and non-real time embedded systems. There are three main types of virtualization as shown in Figure 7 .  ...  InTech Europe Nowadays, embedded systems -computer systems that are embedded in various kinds of devices and play an important role of specific control functions, have permeated various scenes of industry  ... 
doi:10.5772/38261 fatcat:3zwgizqp3vgqfa2hn6gyxmuw44

Towards a Self-Adaptive Data Management System for Cloud Environments

Alexandra Carpen-Amarie
2011 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum  
To assess the impact of concurrent DoS attacks on the performance of the storage system, we performed three sets of experiments: • We evaluated the evolution in time of the average throughput of concurrent  ...  In [9] , we proposed a three-layered architecture on top of BlobSeer, which generates and analyses BlobSeer-specific data obtained by monitoring the activity of each of its actors.  ... 
doi:10.1109/ipdps.2011.381 dblp:conf/ipps/Carpen-Amarie11 fatcat:pvpcpx5ch5bljpca26b6lvx7zi

Process discovery method for distributed software systems with web interface

Anatolii Batyuk, Lviv Polytechnic National University, Volodymyr Voityshyn, Lviv Polytechnic National University
2019 Computer systems and network  
In turns, the server-side components belong either to the data layer or service layer. The data layer is accountable for storing event data in XES format and measuring process metrics.  ...  Building a process graph and communication with the client web application is the responsibility of the service layer.  ...  In comparison with the data layer, the service layer requires less computational resources since it does not need to process event data items and uses as the input process metrics measured on the data  ... 
doi:10.23939/sisn2019.01.070 fatcat:xlomqxjxfbgydp67lnsfjtfrsy

A TSK-type recurrent fuzzy network for dynamic systems processing by neural network and genetic algorithms

Chia-Feng Juang
2002 IEEE transactions on fuzzy systems  
The precondition parts of TRFN-G are also partitioned in a flexible way, and all free parameters are designed concurrently by genetic algorithm.  ...  To demonstrate the superior properties of TRFN, TRFN-S is applied to dynamic system identification and TRFN-G to dynamic system control.  ...  Detailed comparisons of the modeling accuracy and computation time of these networks are listed in Table I for both training and test data.  ... 
doi:10.1109/91.995118 fatcat:7f2xefwopjc7vgqrihcrfpobxq

Combining Object-Oriented Systems and Open Transaction Processing

P. Taylor, V. Cahill, M. Mock
1994 Computer journal  
This paper addresses a number of issues that arise in combining objectoriented distributed programming with open transaction processing.  ...  Much e ort has also been expended on developing open transaction processing systems which support distributed transactions involving multivendor database systems.  ...  In particular, the contributions related to the topics of the paper are acknowledged: Rolf Heinl, Reinhold Kr oger and Michael Wack a t G M D S e an Baker, Neville Harris, Gradimir Starovic and Brendan  ... 
doi:10.1093/comjnl/37.6.487 fatcat:mzamxlwuonhcthr7rbhnyb464q

Checking process-oriented operating system behaviour using CSP and refinement

Frederick R. M. Barnes, Carl G. Ritson
2009 Proceedings of the Fifth Workshop on Programming Languages and Operating Systems - PLOS '09  
Process orientation is an approach to concurrency that uses concepts of processes and message-passing communication, with whole systems constructed from layered and dynamically evolving networks of communicating  ...  The work described in this paper relates to the automatic model generation and verification of systems developed in processoriented languages.  ...  INTRODUCTION Process orientation is an approach to concurrency using processes and communication, with whole systems built from layered networks of communicating processes.  ... 
doi:10.1145/1745438.1745440 dblp:conf/sosp/BarnesR09 fatcat:5pa6wqrjw5gn3kfbrsg4nqwjze

Checking process-oriented operating system behaviour using CSP and refinement

Frederick R.M. Barnes, Carl G. Ritson
2010 ACM SIGOPS Operating Systems Review  
Process orientation is an approach to concurrency that uses concepts of processes and message-passing communication, with whole systems constructed from layered and dynamically evolving networks of communicating  ...  The work described in this paper relates to the automatic model generation and verification of systems developed in processoriented languages.  ...  INTRODUCTION Process orientation is an approach to concurrency using processes and communication, with whole systems built from layered networks of communicating processes.  ... 
doi:10.1145/1713254.1713265 fatcat:mg2ooulc5jc7do3bofoykux2y4
« Previous Showing results 1 — 15 out of 121,489 results