Detecting atomic sequences of predicates in distributed computations
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Local states in distributed computations: a few relations and formulas
ACM SIGOPS Operating Systems Review
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Protocols for Integrity Constraint Checking in FederatedDatabases
Distributed and Parallel Databases
Communication complexity of group key distribution
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
ACM Transactions on Computer Systems (TOCS)
The Journal of Supercomputing
Finding Consistent Global Checkpoints in a Distributed Computation
IEEE Transactions on Parallel and Distributed Systems
Supporting System-Level Testing of Applications by Active Real-Time Database Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Debugging in a Distributed World: Observation and Control
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
On the Minimal Characterization of the Rollback-Dependency Trackability Property
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Predicate Control for Active Debugging of Distributed Programs
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing
Implementing a replicated service with group communication
Journal of Systems Architecture: the EUROMICRO Journal
Detecting global predicates in distributed systems with clocks
Distributed Computing
Detection of global predicates: techniques and their limitations
Distributed Computing
Efficient detection of a class of stable properties
Distributed Computing
Efficient dependency tracking for relevant events in shared-memory systems
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Vector time and causality among abstract events in distributed computations
Distributed Computing
Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Safety and consistency in policy-based authorization systems
Proceedings of the 13th ACM conference on Computer and communications security
Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees
Proceedings of the 12th ACM symposium on Access control models and technologies
Events in an RPC based distributed system
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Testing Dynamic Adaptation in Distributed Systems
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Tree clocks: an efficient and entirely dynamic logical time system
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Automated Rule-Based Diagnosis through a Distributed Monitor System
IEEE Transactions on Dependable and Secure Computing
SENSTRAC: scalable querying of sensor networks from mobile platforms using tracking-style queries
International Journal of Sensor Networks
Efficient dependency tracking for relevant events in concurrent systems
Distributed Computing
Predictive Typestate Checking of Multithreaded Java Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Global predicate detection in distributed systems with small faults
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Designing execution control in programs with global application states monitoring
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Strongly consistent global states detection using relative clock errors
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Detecting Locally Distributed Predicates
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Detecting errors in multithreaded programs by generalized predictive analysis of executions
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Engineering reconfigurable distributed software systems: issues arising for pervasive computing
Rigorous Development of Complex Fault-Tolerant Systems
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Automated systematic testing of open distributed programs
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Global asynchronous parallel program control for multicore processors
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume Part I
A parallel genetic algorithm based on global program state monitoring
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I
| Hi-index | 0.00 |