1,545 Hits in 9.4 sec

Controlling Concurrency in Mobile Computing Environments with Broadcast-Based Data Dissemination [chapter]

José Maria Monteiro, Ângelo Brayner
2005 Lecture Notes in Computer Science  
However, conventional serializability-based concurrency control protocols are unsuitable for synchronizing transactions in broadcast environments.  ...  A wireless broadcast environment is defined as a mobile computing environment in which data are delivered to mobile clients by means of a broadcast-based mechanism.  ...  The proposed protocol, called temporal serialization graph testing protocol (for short, TSGT), ensures that applications in broadcast environments have access to consistent and current data.  ... 
doi:10.1007/11549468_117 fatcat:i24kgxeacfhalijpwoc7drc3we

Capsule Reviews

2002 Computer journal  
In doing so, the paper describes an agent-based architecture as an alternative to the centralized approach of MIPS.  ...  The paper is an enjoyable read and has a thorough list of references. An extended temporal logic for CSCW. C. PAPADOPOU-LOS  ...  Concurrency control using timestamp ordering in broadcast environments. V. C. S. LEE, K.-W. LAM AND S. H. SON  ... 
doi:10.1093/comjnl/45.4.379 fatcat:zixoj3jpxrb2vhfrkfnqvnmyq4

Concurrency Control Using Timestamp Ordering in Broadcast Environments

V. C. S. Lee
2002 Computer journal  
The simulation results confirm that the proposed protocol could be an efficient and effective approach to transaction processing in real-time broadcast environments for meeting transaction deadlines.  ...  In this paper, we first propose a concurrency control protocol in wireless environments that is adapted from the optimistic concurrency control with forward validation protocol.  ...  CityU 1152/01E) and was supported in part by NSF grant EIA-9900895.  ... 
doi:10.1093/comjnl/45.4.410 fatcat:k5774ugzpbdufibxwpltr4xqfu

Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination [chapter]

Evaggelia Pitoura, Panos K. Chrysanthis, Krithi Ramamritham
2002 Lecture Notes in Computer Science  
In this paper, we develop a general theory of temporal and semantic coherency for an extended client/server architecture in which the server broadcasts items of interest to a large number of clients without  ...  Such architectures are part of an increasing number of emerging applications in wireless mobile computing systems; they also provide a scalable means to deliver information in web-based applications, for  ...  C3 Read Test R is C3 iff there is no path from any T f ∈ F ollow R to T in the serialization graph of server transactions.  ... 
doi:10.1007/3-540-36285-1_27 fatcat:jj2hflojvndpnavn7mfnokxqo4

Subframe multiplexing for FPGA manufacturing test configuration

Erik Chmelar
2004 Proceeding of the 2004 ACM/SIGDA 12th international symposium on Field programmable gate arrays - FPGA '04  
This paper presents a novel approach to scheduling communications among concurrent hardware processes mapped onto a "System on a Programmable Chip."  ...  The cost of FPGA manufacturing test is driven by the number of test configurations and the time required to configure an FPGA under test.  ...  Each buffer is associated with an autonomous reconfigurable controller where reconfiguration parameters are obtained statically from the dataflow graph.  ... 
doi:10.1145/968280.968315 dblp:conf/fpga/Chmelar04 fatcat:bkkwooxvszbvlfrg4b7h5svtvi

A Survey of Context Simulation for Testing Mobile Context-Aware Applications

Chu Luo, Jorge Goncalves, Eduardo Velloso, Vassilis Kostakos
2020 ACM Computing Surveys  
Equipped with an abundance of small-scale microelectromechanical sensors, modern mobile devices such as smartphones and smartwatches can now offer context-aware services to users in mobile environments  ...  While advances in mobile context-aware applications have made our everyday environments increasingly intelligent, these applications are prone to bugs that are highly difficult to reproduce and repair.  ...  Eduardo Velloso is the recipient of an Australian Research Council Discovery Early Career Award (Project Number: DE180100315).  ... 
doi:10.1145/3372788 fatcat:mpkgpye24jetbkep7hh2bkjf7y

Message from the Program Co-chairs

2010 2010 19th IEEE Asian Test Symposium  
HPI) in Potsdam.  ...  We also would like to thank Jan-Arne Sobania and Sabine Wagner for their assistance and support. Thank you for your active participation in the 4th MARC Symposium.  ...  ACKNOWLEDGMENT The authors would like to thank Intel Labs for providing access to the SCC, and for their reactivity in solving all problems that arose during the SCC exploitation.  ... 
doi:10.1109/ats.2010.6 fatcat:iadg4ce5pbernnmwnjzkj4tnba

On real-time databases: concurrency control and scheduling

P.S. Yu, Kun-Lung Wu, Kwei-Jay Lin, S.H. Son
1994 Proceedings of the IEEE  
The implications of using run policies to better utilize real-time scheduling in a database environment are examined.  ...  We then consider the integration of concurrency control with realtime requirements.  ...  For example, two-phase locking (2PL) schemes use locks, time stamp ordering (TSO) schemes use time stamps, and serialization graph testing (SGT) schemes use serialization graphs.  ... 
doi:10.1109/5.259432 fatcat:kqhlr4jefrhqfihhd2i7x6bcve

Fail-Safe Test Generation in Safety Critical Systems

Anneliese Andrews, Salwa Elakeili, Salah Boukhris
2014 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering  
Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using  ...  an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test  ...  The transformation consists in flattening the hierarchical and concurrent structure of states and removing broadcast communications, while keeping both control and data flow in the UML statediagrams.  ... 
doi:10.1109/hase.2014.16 dblp:conf/hase/AndrewsEB14 fatcat:vi5ho6nbpbh3rb6qeyolghdlcu

Scaling FMI-CS Based Multi-Simulation Beyond Thousand FMUs on Infiniband Cluster

Stephane Vialle, Jean-Philippe Tavella, Cherifa Dad, Remi Corniglion, Mathieu Caujolle, Vincent Reinbold
2017 Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017  
In recent years, co-simulation has become an increasingly industrial tool to simulate Cyber Physical Systems including multi-physics and control, like smart electric grids, since it allows to involve different  ...  modeling tools within the same temporal simulation.  ...  hyperthreading), and a linear increase when running more concurrent tasks serially processed by the node cores.  ... 
doi:10.3384/ecp17132673 dblp:conf/modelica/VialleTDCCR17 fatcat:ljrhdoeiivbrhcx64pb5x4nvgm

Compositional programming and testing of dynamic distributed systems

Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia
2018 Proceedings of the ACM on Programming Languages (PACMPL)  
In contrast to proof-based verification, systematic testing explores behaviors of the system in order to find violations of safety specifications [Guo et al. 2011; Killian et al. 2007b; Yang et al. 2009  ...  We empirically demonstrate that the abstraction-based compositional reasoning approach helps amplify the coverage during testing and scale it to real-world distributed systems.  ...  The work of the first and last authors was supported in part by the TerraSwarm Research Center, one of six centers supported by the STARnet phase of the Focus Center Research Program (FCRP) a Semiconductor  ... 
doi:10.1145/3276529 fatcat:ujlwtydfe5cmhjteygz2ujhhkq

Testing Real-Time Embedded Systems using Timed Automata based approaches

M. Saeed AbouTrab, Michael Brockway, Steve Counsell, Robert M. Hierons
2013 Journal of Systems and Software  
Real-time Embedded Systems (RTESs) have an increasing role in controlling society infrastructures that we use on a day-to-day basis.  ...  Second, PA is validated in comparison with four well-known timed testing approaches based on TA using Specification Mutation Analysis (SMA).  ...  Controller Area Network (CAN) To initialize a strong serial communication, the CAN protocol was established by German Automotive systems in the mid-1980s.  ... 
doi:10.1016/j.jss.2012.12.030 fatcat:udaob3g2xnaolmi7qivauwpkau

Specification and validation of control-intensive IC's in hopCP

V. Akella, G. Gopalakrishnan
1994 IEEE Transactions on Software Engineering  
Control intensive ICs pose a signi cant c hallenge to the users of formal methods in designing hardware.  ...  A feature of hopCP is that it supports communication via asynchronous ports in addition to synchronous message passing.  ...  Naive approaches to the detection of seriality can either lead to combinatorial explosion or can miss many opportunities to detect serial usage.  ... 
doi:10.1109/32.295890 fatcat:jx2r2i5hkves7fhqysfuub3x2q

A Causal Model for Analyzing Distributed Concurrency Control Algorithms

B. Bhargava, C.T. Hua
1983 IEEE Transactions on Software Engineering  
An event order based model for specifying and analyzing concurrency control algorithms for distributed database systems has been presented.  ...  An expanded notion of history that includes the database access events as well as synchronization events is used to study the correctness, degree of concurrency, and other aspects of the algorithms such  ...  A simple hypothetical concurrency control algorithm has been used to illustrate the approach. In [121, the majority consensus approach [25] has been analyzed as an example.  ... 
doi:10.1109/tse.1983.234783 fatcat:vbuz3ww22rfulmztguissusrr4

Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs

Luca Cassano
2014 2014 International Test Conference  
; and (iii) GABES: Genetic Algorithm Based Environment for SEU Testing in SRAM-FPGAs, a Genetic Algorithm-based Environment for the generation of an optimized set of test patterns for in-service testing  ...  The main feature of these tools is that they implement a model of SEUs affecting the configuration bits controlling the logic and routing resources of an FPGA device that has been demonstrated to be much  ...  of numbers b09 Serial-to-serial converter b10 Voting system b11 Scramble string with variable cipher b13 Interface to meteo sensors Table 8 . 3 . 83 Effects of SEUs in the routing elements  ... 
doi:10.1109/test.2014.7035366 dblp:conf/itc/Cassano14 fatcat:ykg7k6finnhwpk7j6zsbtlwfkq
« Previous Showing results 1 — 15 out of 1,545 results