Filters








40,279 Hits in 3.7 sec

Specifying Stateful Asynchronous Properties for Distributed Programs [chapter]

Tzu-Chun Chen, Kohei Honda
2012 Lecture Notes in Computer Science  
To understand the interaction behaviours for design, implementation, maintenance and other purposes To identify effective specification methods for programs and applications so that trusted parties (e.g  ...  The Challenges in Distributed Computing To maintain the systems's safe and reliable.  ... 
doi:10.1007/978-3-642-32940-1_16 fatcat:xjvnbnuhpjbqpbyra5qbis37yy

SMEDL: Combining Synchronous and Asynchronous Monitoring [chapter]

Teng Zhang, Peter Gebhard, Oleg Sokolsky
2016 Lecture Notes in Computer Science  
In this paper, we explore a hybrid approach, where low-level properties are checked synchronously, while higherlevel ones are checked asynchronously.  ...  We present a tool for constructing and deploying monitors based on an architecture specification. Monitor logic and patterns of communication between monitors are specified in a language SMEDL.  ...  However, the proposed tool, DIANA, only supports the asynchronous monitoring for distributed program with a fixed architecture.  ... 
doi:10.1007/978-3-319-46982-9_32 fatcat:cfjlmvd6hrfereztzhiciyv6we

Signal/Collect: Graph Algorithms for the (Semantic) Web [chapter]

Philip Stutz, Abraham Bernstein, William Cohen
2010 Lecture Notes in Computer Science  
This paper presents the Signal/Collect programming model for synchronous and asynchronous graph algorithms.  ...  Some use MapReduce -a good solution for many problems.  ...  Acknowledgemement We would like to thank Stefan Schurgast for using early prototypes of the framework and providing valuable feedback on its usage.  ... 
doi:10.1007/978-3-642-17746-0_48 fatcat:vn2fxu34xfc3vn4ybcpvbcdyly

MIDDLEWARE INFRASTRUCTURE FOR PREDICATE DETECTION IN ASYNCHRONOUS ENVIRONMENT

NAGMA FATIMA, SHIPRA SRIVASTAVA, SONAL SHARMA
2015 International journal of computer and communication technology  
However, existing context-aware middleware does not provide sufficient support for detection of contextual properties in asynchronous environments.  ...  To this end, we present the Middleware Infrastructure for Predicate detection in Asynchronous environments (MIPA), which supports context awareness based on logical time.  ...  Testing and monitoring distributed programs running on a distributed system involve the basic task of detecting whether a predicate holds during the execution.  ... 
doi:10.47893/ijcct.2015.1323 fatcat:d4a6wxqwi5cuzlvfcmlaecc2cm

A Survey of Runtime Monitoring Instrumentation Techniques

Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017 Electronic Proceedings in Theoretical Computer Science  
This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checking whether the property was satisfied or not.  ...  compare and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous  ...  program state.  ... 
doi:10.4204/eptcs.254.2 fatcat:537v3lxagjbn7h6gcjxdccpecm

Productivity and performance through components: the ASCI Sweep3D application

Young Yoon, James C. Browne, Mathew Crocker, Samit Jain, Nasim Mahmood
2007 Concurrency and Computation  
This paper is a case study of the effectiveness of component-oriented development for enhancing both productivity and performance for parallel programs.  ...  We identify and explain some of the benefits of component-oriented development for high-performance parallel systems.  ...  This research was also supported in part by NSF grant number ACI-0305644, 'Montage: An Integrated End-to-End Design and Development Framework for Wireless Networks'.  ... 
doi:10.1002/cpe.1149 fatcat:6wtn3h63avhqzb6y7scvn5rgyu

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments

Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
2016 IEEE transactions on computers  
Under the guidance of the PD-CA framework, we design and implement the Middleware Infrastructure for Predicate detection in Asynchronous environments (MIPA).  ...  Predicate detection is a well studied technique dedicated to detecting global predicates over asynchronous computations and can be employed to achieve context-awareness of the asynchronous environment.  ...  ACKNOWLEDGMENTS This work is supported by the National 973 Program of China (2015CB352202), the National Science Foundation of China (61272047, 91318301, 61321491), and the program A for Outstanding PhD  ... 
doi:10.1109/tc.2015.2424879 fatcat:uswq36vylnfqvjizt4wezx4kja

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments [article]

Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
2013 arXiv   pre-print
To enable context-awareness for such applications, we are challenged by the intrinsic asynchrony among the context collecting devices.  ...  Under the guidance of the PD-CA framework, we present the design and implementation of the MIPA middleware, which shields the applications from the burden of processing the asynchronous contexts.  ...  among these asynchronous contexts, and then detects the specified contextual property.  ... 
arXiv:1310.3623v1 fatcat:u2l3j4wzl5eetfdqr7k5ww7dkq

Oolong

Christopher Mitchell, Russell Power, Jinyang Li
2012 Proceedings of the Asia-Pacific Workshop on Systems - APSYS '12  
We present Oolong, a distributed programming framework designed for sparse asynchronous applications such as distributed web crawling, shortest paths, and connected components.  ...  Oolong stores program state in distributed in-memory key-value tables on which user-defined triggers may be set. Triggers can be activated whenever a key-value pair is modified.  ...  Oolong stores program state in distributed in-memory tables [14] and allows such event-driven program structure to be expressed naturally in terms of triggers, user-specified code blocks that can be  ... 
doi:10.1145/2349896.2349907 dblp:conf/apsys/MitchellPL12 fatcat:shwmcyyyirgu3pk2ikxy3dcdj4

WORK DONE ON MIDDLEWARE INFRASTRUCTURE FOR PREDICATE DETECTION

NAGMA FATIMA, SONAL SHARMA, SHIPRA SRIVASTAVA
2017 International journal of computer and communication technology  
However, existing context-aware middleware does not provide sufficient support for detection of contextual properties in asynchronous environments.  ...  To this end, we present the Middleware Infrastructure for Predicate detection in Asynchronous environments (MIPA), which supports context awareness based on logical time.  ...  Testing and monitoring distributed programs running on a distributed system involve the basic task of detecting whether a predicate holds during the execution.  ... 
doi:10.47893/ijcct.2017.1403 fatcat:yyqk3qguh5gv3h34nswagbs77a

BRACE: An assertion framework for debugging cyber-physical systems

Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim
2012 2012 34th International Conference on Software Engineering (ICSE)  
Developing cyber-physical systems (CPS) is challenging because correctness depends on both logical and physical states, which are collectively difficult to observe.  ...  To address this, we propose BRACE, a framework that simplifies the process by enabling developers to correlate cyber (i.e., logical) and physical properties of the system via assertions.  ...  For example, CPS assertions can span logical and physical variables and nodes, and specify both spatial and temporal properties.  ... 
doi:10.1109/icse.2012.6227084 dblp:conf/icse/BoosFJK12 fatcat:odd4aqvfwvdlbeqcqla643jq2y

Fundamentals of fault-tolerant distributed computing in asynchronous environments

Felix C. Gärtner
1999 ACM Computing Surveys  
The underlying system model is the close-to-reality asynchronous message-passing model of distributed computing.  ...  Fault tolerance in distributed computing is a wide area with a significant body of literature that is vastly diverse in methodology and terminology.  ...  A specific property p is said to hold for a distributed program if the set of sequences defined by the program is contained in p.  ... 
doi:10.1145/311531.311532 fatcat:jetckaxzdfchvkxpn6u67wahcy

Patterns for real-world-aware and real-time solutions

F. N. Parr, L. Yusuf
2008 IBM Systems Journal  
It may also specify expected endpoint properties.  ...  On each invocation of the controller, a current set of input state values is available for the program logic to read; a current set of output state values is available for the program logic to update.  ... 
doi:10.1147/sj.472.0335 fatcat:2qladp73qzdzlbs4nlynrfl2xu

Synchronous Estelle: Just Another Synchronous Language?

Miguel Riesco, Javier Tuya
2004 Electronical Notes in Theoretical Computer Science  
Synchronous Estelle is a new language designed to specify distributed reactive systems.  ...  We will show its syntactic and semantic features, the way to obtain executable programs according to a specification, and some hints to perform the validation of the programs written in this language.  ...  The GALS (Globally Asynchronous Locally Synchronous) systems [11] were designed to specify a reactive distributed system like a set of Finite State Machines, working in a synchronous mode.  ... 
doi:10.1016/j.entcs.2003.05.003 fatcat:75a4hg6jnfcipolyanrpzply3q

Automated Verification of Asynchronous Communicating Systems with TLA+

Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2015 Electronic Communications of the EASST  
We propose a framework that takes into account the variety of asynchronous communication models and compatibility properties.  ...  Verifying the compatibility of communicating peers is a crucial issue in critical distributed systems.  ...  These calculi are mainly used to model mobility, distribution, firewalls and security properties. But they are not fitted to our concerns for two reasons.  ... 
doi:10.14279/tuj.eceasst.72.1019 dblp:journals/eceasst/ChevrouHQ15 fatcat:iemda2upjng6riq5e7jo4lq7f4
« Previous Showing results 1 — 15 out of 40,279 results