Filters








245,858 Hits in 3.3 sec

An overview of Concurrency Control Techniques in Distributed Database

Rajdeep Singh Solanki
2018 International Journal for Research in Applied Science and Engineering Technology  
However, there is some complexity when attempting to manage and control distributed database systems. Concurrency control is an integral part of a database system.  ...  Both types of database share the same problems of access control and transaction management, such as user concurrent access control and deadlock detection and resolution. A.  ...  The aggressive form of TO-based concurrency control is basic timestamp ordering (BTO).  ... 
doi:10.22214/ijraset.2018.1194 fatcat:l73rfpnexrfedaewu5coooiepi

Optimal Power Control and Rate Adaptation for Ultra-Reliable M2M Control Applications [article]

Bakhtiyar Farayev, Yalcin Sadi, Sinem Coleri Ergen
2015 arXiv   pre-print
The main challenge of ultra-reliable machine-to-machine (M2M) control applications is to meet the stringent timing and reliability requirements of control systems, despite the adverse properties of wireless  ...  In this paper, we formulate the power control and rate adaptation problem with the objective of minimizing the time required for the concurrent transmission of a set of sensor nodes while satisfying their  ...  The wireless communication between sensor nodes and controllers in ultra-reliable M2M control applications reduces the cost of their installation, maintenance and upgrade, together with the complexity  ... 
arXiv:1509.06840v1 fatcat:5aauoeeocvaolj6wzes4kbdzty

A Simplex Architecture for Intelligent and Safe Unmanned Aerial Vehicles

Prasanth Vivekanandan, Gonzalo Garcia, Heechul Yun, Shawn Keshmiri
2016 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)  
• Safety challenges of intelligent UAVs -Software: increasing complexity, concurrency and timing non-determinism -Hardware: increasing reliability issues.  ...  gyro noise Safety Challenges: Software • Increasing complexity -E.g., Linux: > 15M SLOC • Concurrency -Multithreading is hard • Race condition.  ...  Nonlinear Aircraft and Guidance Model G: Shifted to the origin Model:  ... 
doi:10.1109/rtcsa.2016.17 dblp:conf/rtcsa/VivekanandanGYK16 fatcat:q5mhlzqiifadhhalosithnl3sq

Foreword Advances in Distributed Computing Systems

S.F. Lundstrom, E.E. Swartzlander
1985 IEEE Transactions on Software Engineering  
, and the work of the independent reviewers who contributed helpful advice in the selection, improvement, and clarification process.  ...  ACKNOWLEDGMENT We would like to acknowledge the many authors who submitted papers and abstracts from which these papers were selected, the work of the authors selected in updating and improving their papers  ...  Topkis examines the time complexity and communication complexity of several distributed procedures for concurrent broadcast in his paper "Concurrent Broadcast for Information Dissemination."  ... 
doi:10.1109/tse.1985.231856 fatcat:qskmurxyofarhjzlyqxbxnivam

The reliability and validity of the Complex Task Performance Assessment: A performance-based assessment of executive function

Timothy J. Wolf, Abigail Dahl, Colleen Auen, Meghan Doherty
2015 Neuropsychological Rehabilitation  
The objective of this study was to evaluate the inter-rater reliability, test-retest reliability, concurrent validity, and discriminant validity of the Complex Task Performance Assessment (CTPA): An ecologically-valid  ...  The intra-class correlation coefficient (ICC) for inter-rater reliability for the total score on the CTPA was 0.991. The ICCs for all of the sub scores of the CTPA were also high (0.889-0.977).  ...  The content is solely the responsibility of the authors and does not necessarily represent the official views of the National Institutes of Health.  ... 
doi:10.1080/09602011.2015.1037771 pmid:25939359 pmcid:PMC4635076 fatcat:uuevm2c3gfepbppafbaux5z5qm

On developing and verifying design abstractions for reliable concurrent programming in Ada

A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev
2001 ACM SIGAda Ada Letters  
Much of the complexity of these applications stems from the interactions between the tasks.  ...  The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.  ...  For some years now we have been exploring the use of the Ada programming language as a vehicle for implementing reliable concurrent systems [24] .  ... 
doi:10.1145/374369.374381 fatcat:btow5bnsm5e4jlrpe6omeoyyfq

On developing and verifying design abstractions for reliable concurrent programming in Ada

A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev
2001 Proceedings of the 10th international workshop on Real-time Ada workshop - IRTAW '00  
Much of the complexity of these applications stems from the interactions between the tasks.  ...  The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.  ...  For some years now we have been exploring the use of the Ada programming language as a vehicle for implementing reliable concurrent systems [24] .  ... 
doi:10.1145/374370.374381 fatcat:df2md6sklfdudfeikxo3zl3x4e

Exploiting time and frequency diversity in IEEE 802.15.4 industrial networks for enhanced reliability and throughput

Kristina Kunert, Magnus Jonsson, Elisabeth Uhlemann
2010 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)  
The architectures were evaluated in terms of reliability, utilization, delay, complexity, scalability and energy efficiency.  ...  We investigate the performance of the proposed architectures in terms of reliability, predictability, bandwidth utilization, delay, scalability, hardware cost, software complexity and energy efficiency  ... 
doi:10.1109/etfa.2010.5641347 dblp:conf/etfa/KunertJU10 fatcat:62enrms5nrgu3il7k44l5ptkeq

Panel Summaries

2011 IEEE Design & Test of Computers  
The wrong balance or mix of factors (such as power islands, voltage, frequency, and so on) being controlled could result in the loss of performance, power, and reliability.  ...  For example, what controls should be available to the monitor's self-adaption and tuning? What about supply voltage, frequency, adaptive body bias, or control of power islands?  ... 
doi:10.1109/mdt.2011.64 fatcat:qmg3pm2g5nbevbcj75m26zd44e

Extend Dynamic Fault Tree Algorithm Based on Stochastic Petri Net and Micro-Satellite On-Board Computer Case Analysis

Yu Nan, Li Jun-zhou
2015 Open Automation and Control Systems Journal  
We use stochastic Petri net for the extended DFT analysis and improved its analytic reliability using the micro-satellite on-board computer.  ...  This is an open access article licensed under the terms of the (https://creativecommons.org/licenses/by/4.0/legalcode), which permits unrestricted, non-commercial use, distribution and reproduction in  ...  Professor Dugan at the Virginia University is recognized for his work on reliability analysis of the space station, as well as air traffic control and other complex systems.  ... 
doi:10.2174/1874444301507011051 fatcat:6jybvqfwarf4rolvrjrtei24ke

Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior

Richard Linger, Mark Pleszkoch, Luanne Burns, Alan Hevner, Gwendolyn Walton
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development.  ...  technology, and a discussion of a CERT STAR*Lab first application of FX technology to compute the behavior of code expressed in the Intel assembly language instruction set.  ...  The problem of cost is closely related to complexity.  ... 
doi:10.1109/hicss.2007.403 dblp:conf/hicss/LingerPBHW07 fatcat:pjwfun5wufbrbf4xwgbtslkpwm

On the Reliability and Concurrent Unicast Transmission Node Control of 5G NR-V2X Networks [article]

Ke Li, Li Li, Wenpeng Wu, Xueyan Tang, Pingzhi Fan
2021 arXiv   pre-print
On this basis, according to the macroscopic configuration of the system, a method to control the number of concurrent transmission nodes is proposed, including the communication range, message packet size  ...  In this paper, the link reliability of unicast concurrent transmission in mode 1 (centralized mode) of 5G New Radio based V2X (NR-V2X) is analyzed.  ...  Thus, concurrent transmission nodes control over the V2V network can be used as enhancement means to guarantee link reliability from the perspective of system.  ... 
arXiv:2103.14218v2 fatcat:x4iylbbv4bgzrkirmrtxzzv2xy

Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA)

Alessandro Ricci, Éric Platon, Fuyuki Ishikawa, Danny Weyns
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
• Model of concurrency in MAS: How can the agent abstraction contribute to improve current practice in managing concurrency in complex distributed systems? APSLA attracted twenty-five submissions.  ...  The application of such analysis method appears to improve the reliability of the evaluations of AOSE methodologies, and may help in the selection of a specific methodology with a specific level of 50  ...  • Model of concurrency in MAS: How can the agent abstraction contribute to improve current practice in managing concurrency in complex distributed systems? APSLA attracted twenty-five submissions.  ... 
doi:10.1145/1363686.1363702 dblp:conf/sac/RicciPIW08 fatcat:nrdmqub7mnazvnswhk6txl3e3y

BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach

Jun Yan, Zhongjie Li, Yuan Yuan, Wei Sun, Jian Zhang
2006 Proceedings - International Symposium on Software Reliability Engineering  
Some techniques are proposed to reduce the number of combined concurrent test paths.  ...  BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis.  ...  [11] defined a structural complexity called Cyclomatic Complexity for sequential programs based on the control flow graph (CFG).  ... 
doi:10.1109/issre.2006.16 dblp:conf/issre/YanLYSZ06 fatcat:f2p4o4osfrdo5jdfzh6z7un6ia

Cyber Physical Systems: Design Challenges

Edward A. Lee
2008 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)  
There are considerable challenges, particularly because the physical components of such systems introduce safety and reliability requirements qualitatively different from those in generalpurpose computing  ...  Embedded computers and networks monitor and control the physical processes, usually with feedback loops where physical processes affect computations and vice versa.  ...  They have come to count on highly reliable cars, where in fact the use of computer controller has dramatically improved both the reliability and efficiency of the cars.  ... 
doi:10.1109/isorc.2008.25 dblp:conf/isorc/Lee08a fatcat:ev24ahbzuzawno3iqelrf5aybe
« Previous Showing results 1 — 15 out of 245,858 results