21,480 Hits in 2.6 sec

Passive Testing with Asynchronous Communications [chapter]

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2013 Lecture Notes in Computer Science  
In this paper we study a formal passive testing framework for systems where there is an asynchronous communications channel between the tester and the system.  ...  Our solution checks properties against traces in polynomial time, with a low need for storage. Therefore, our proposal is very suitable for real-time passive testing.  ...  This paper is the first step towards a complete theory of formal passive testing of systems with asynchronous communication.  ... 
doi:10.1007/978-3-642-38592-6_8 fatcat:gc545z56gne7ref5esbyc4pgfu

Passive testing with asynchronous communications and timestamps

Mercedes G. Merayo, Robert M. Hierons, M. Núñez
2017 Distributed computing  
We develop a formal passive testing framework for software systems where parties communicate asynchronously.  ...  Therefore, our proposal is suitable for real-time passive testing.  ...  We also discuss different alternatives to perform passive testing in systems with asynchronous communications and advance our solution.  ... 
doi:10.1007/s00446-017-0308-0 fatcat:yvlp4ynxgzgfhp62lo5a7xhvdi

HTTP Communications: A Case Study of Online Captures with PTTAC

Azahara CAMACHO, Mercedes G. MERAYO, Manuel NÚÑEZ
2016 DEStech Transactions on Environment Energy and Earth Science  
For this experiment we have used the Passive Testing Tool for Asynchronous Communications (PTTAC).  ...  This tool automatizes a formal framework to perform passive testing for systems where there is an asynchronous communications channel between the tester and the system under test.  ...  It is based on the formal passive testing framework for systems in which there is an asynchronous communications channel between the tester and the system [8] .  ... 
doi:10.12783/dteees/seeie2016/4537 fatcat:xr4uaa4irrfmljqluvcgcssxy4

Reducing Communication in Distributed Asynchronous Iterative Methods

Jordi Wolfson-Pou, Edmond Chow
2016 Procedia Computer Science  
Since each relaxation is associated with communication, communication cost can also be reduced.  ...  the row with the maximum residual norm.  ...  We wish to acknowledge Jeff Hammond for his advice on passive onesided MPI.  ... 
doi:10.1016/j.procs.2016.05.501 fatcat:z4y3jzhccvgf5oh56sw4e4a6g4

Clockless IC design using handshake technology

Ad Peeters
2006 Proceedings of the 2006 international symposium on Physical design - ISPD '06  
Handshakes are between active and passive partner Communication is by means of alternating request (from active to passive) and acknowledge (from passive to active) signals Request and acknowledge may  ...  Data in Data out Reset Control signals Datapath Handshake signals Design Flow Correctness and Optimization Control "Asynchronous" with Muller-C elements Data in Data out Reset  ... 
doi:10.1145/1123008.1123045 dblp:conf/ispd/Peeters06 fatcat:6kj3wktb4rggbklefgz7u25k4i

Detection of anomalies in software architecture with connectors

Michael E. Shin, Yan Xu, Fernando Paniagua, Jung Hoon An
2006 Science of Computer Programming  
Each component is designed with tasks (concurrent or active objects), connectors between tasks, and passive objects accessed by tasks.  ...  Anomalies in the software architecture are detected twofold by each Component Monitor, which supervises objects in a component, and by a System Monitor, which monitors message communications between components  ...  Elevator component and its asynchronous (sender) connector. connector to communicate with the Scheduler component.  ... 
doi:10.1016/j.scico.2005.11.002 fatcat:kpmgtc7c7zemzfuxemjnrh5zbq

Asynchronous progress design for a MPI-based PGAS one-sided communication system [article]

Huan Zhou, Jose Gracia
2016 arXiv   pre-print
In this paper we extend previous work on an MPI-based, locality-aware remote-memory-access model with a asynchronous progress-engine for non-blocking communication operations.  ...  Our benchmarks shows, that our asynchronous progression scheme can overlap computation and communication efficiently and lead to substantially shorter communication cost in real applications.  ...  ACKNOWLEDGMENT This work has been supported by the European Community through the project Polca (FP7 programme under grant agreement number 610686) and Mont Blanc 3 (H2020 programme under grant agreement  ... 
arXiv:1609.08574v1 fatcat:5zkwjjvzojcjrlxapapbnvwvdy

MongoDB Database as Storage for GPON Frames

Martin Holik, Tomas Horvath, Vaclav Oujezsky, Petr Munster, Adrian Tomasov, Sobeslav Valach
2020 Sensors  
In order to achieve the best possible results and minimal loss of transmitted frames, a series of tests were performed.  ...  telecommunication section (ITU-T) G.984 gigabit-capable passive optical network GPON recommendation.  ...  Prerequisites Our test scenario was designed with regard to the requirements for capturing traffic from passive optical networks.  ... 
doi:10.3390/s20216208 pmid:33143350 fatcat:isgin5vsr5g7xfzgoft2xiizea


David Spiceland, Charlene P. Hawkins
2019 Online Learning  
Among the many differences between asynchronous interactions and traditional classroom communication, the most critical differences involve those that may affect a student's ability to learn.  ...  The study yields results consistent with previous research related to learning outcomes along several measures, particularly with regard to students' positive attitudes about their learning in an online  ...  In contrast with the passive learner who sits in a classroom and receives information from a lecturer or discussion group (that is, in oral communication), the active learner must aggressively seek and  ... 
doi:10.24059/olj.v6i1.1873 fatcat:okpwz4h5w5exbjta3bbgbqnv7a

Timing Models and Local Stopping Criteria for Asynchronous Iterative Algorithms

Kostas Blathras, Daniel B. Szyld, Yuan Shi
1999 Journal of Parallel and Distributed Computing  
Asynchronous iterative algorithms can reduce much of the data dependencies associated with synchronization barriers.  ...  Specifically, a time complexity-based analysis method is used to understand the inherent interdependencies between computing and communication overheads for the parallel asynchronous algorithm.  ...  The Synergy system uses passive objects for parallel program communication and synchronization. A passive object is a coarse-grain data structure with a set of predefined operators.  ... 
doi:10.1006/jpdc.1999.1549 fatcat:rtl2kqp6cjcv7gfj3smxpj52se

GALS Test Chip on 130nm Process

David S. Bormann
2006 Electronical Notes in Theoretical Computer Science  
We present a Globally Asynchronous Locally Synchronous test chip fabricated on a 130nm silicon process.  ...  The original Asynchronous Wrapper building blocks were used to construct a configurable data pipeline that can be tuned to emulate the operation of many different types of algorithms.  ...  The pipeline of this design is implemented with passive input ports and active output ports. Initially, the modules are inactive while passively waiting for input data to arrive.  ... 
doi:10.1016/j.entcs.2005.05.034 fatcat:usfrq77jenbuxi7f5skslqj6m4

Asynchronous Techniques for System-on-Chip Design

A.J. Martin, M. Nystrom
2006 Proceedings of the IEEE  
The paper discusses asynchronous handshake protocols for communication and the notion of validity/neutrality tests, and completion tree.  ...  This paper introduces the main design principles, methods, and building blocks for asynchronous VLSI systems, with an emphasis on communication and synchronization.  ...  Section IV introduces the most common asynchronous communication protocols and the notion of validity/neutrality tests.  ... 
doi:10.1109/jproc.2006.875789 fatcat:fthud3y6n5bvpfut5jl5iodkoq

A Vertical Federated Learning Framework for Horizontally Partitioned Labels [article]

Wensheng Xia, Ying Li, Lan Zhang, Zhonghai Wu, Xiaoyong Yuan
2021 arXiv   pre-print
The new optimization objective can further mitigate the straggler problem comparing with only using the asynchronous aggregation mechanism during training.  ...  Some parties with limited computational and communication resources will become the stragglers and slow down the convergence of training.  ...  Figure 2 : 2 The test loss vs. wall-clock time curve to demonstrate the efficiency of asynchronous aggregation mechanism. Each point denotes an epoch's result.  ... 
arXiv:2106.10056v1 fatcat:vnthxobjrfa65o7hmnpoz5sb44

Asynchronous One-Level and Two-Level Domain Decomposition Solvers [article]

Christian Glusa, Paritosh Ramanan, Erik G. Boman, Edmond Chow, Sivasankaran Rajamanickam
2020 arXiv   pre-print
We explore the use of asynchronous communication based on one-sided MPI primitives in a multitude of domain decomposition solvers.  ...  In particular, global communication patterns such as inner products become increasingly limiting at scale.  ...  This leads to minimum disturbance to the remote process and achieving a truly passive, one-sided communication scheme.  ... 
arXiv:1808.08172v2 fatcat:liototsijnh3xd46gcncvwnx3e

Thought consciousness and source monitoring depend on robotically-controlled sensorimotor conflicts and illusory states

Andrea Serino, Polona Pozeg, Fosco Bernasconi, Marco Solcà, Masayuki Hara, Pierre Progin, Giedre Stripeikyte, Herberto Dhanis, Roy Salomon, Hannes Bleuler, Giulio Rognini, Olaf Blanke
2020 iScience  
Across several experiments, conflicting sensorimotor stimulation reduced the distinction between self- and other-generated thoughts and was, moreover, associated with the experimentally generated feeling  ...  Nathan Faivre and Jevita Potheegadoo for input on the manuscript, Elisa Ciaramelli for her important input on the SGE paradigm, and all members of the Blanke laboratory for discussions and other help with  ...  We next tested whether this effect, that jointly depends on sensorimotor stimulation (asynchronous-synchronous difference) and source monitoring (active-passive difference), is also associated with the  ... 
doi:10.1016/j.isci.2020.101955 pmid:33458614 pmcid:PMC7797520 fatcat:grumkc77ljczpj3i2nqvnsmnnq
« Previous Showing results 1 — 15 out of 21,480 results