Search results for "global state"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Yao-Xue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi	An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness
2	Onyeka Ezenwoye, Bin Tang	Monitoring Decentralized Interacting Services with a Global State Choreography Model.	ICWS	2010	DBLP DOI BibTeX RDF	Adaptive Service Composition, WSCDL, Global State Monitor
2	Christopher Auer, Patrick Wüchner, Hermann de Meer	The Degree of Global-State Awareness in Self-Organizing Systems.	IWSOS	2009	DBLP DOI BibTeX RDF	Sensor networks, Information theory, System design, Mathematical modeling, Self-organizing systems, Quantitative evaluation
2	Mila E. Majster-Cederbaum, Christoph Minnameier	Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems.	RP	2009	DBLP DOI BibTeX RDF
2	Rajeev Goré, Florian Widmann	Sound Global State Caching for ALC with Inverse Roles.	TABLEAUX	2009	DBLP DOI BibTeX RDF
2	Nico Janssens, Eddy Truyen, Frans Sanen, Wouter Joosen	Adding dynamic reconfiguration support to JBoss AOP.	MAI	2007	DBLP DOI BibTeX RDF	aspect-oriented middleware, dynamic distributed aspect weaving, dynamic reconfiguration of distributed systems, global state consistency, structural integrity
2	S. Keshav	Efficient and decentralized computation of approximate global state.	Computer Communication Review	2006	DBLP DOI BibTeX RDF	Internet
2	Chen Jing, Cui Guo Hua, Hong Liang	A Secure Global State Routing for Mobile Ad Hoc Networks.	PWC	2006	DBLP DOI BibTeX RDF	Network Security, Routing Protocol, Ad Hoc
2	Punit Chandra, Ajay D. Kshemkalyani	Analysis of Interval-Based Global State Detection.	ICDCIT	2005	DBLP DOI BibTeX RDF
2	Punit Chandra, Ajay D. Kshemkalyani	Global State Detection Based on Peer-to-Peer Interactions.	EUC	2005	DBLP DOI BibTeX RDF
2	Ramesh Chandra, Ryan M. Lefever, Kaustubh R. Joshi, Michel Cukier, William H. Sanders	A Global-State-Triggered Fault Injector for Distributed System Evaluation.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF
2	Feng Yang, Shouyi Zhan, Fouxiang Shen	Maintaining and Self-recovering Global State in a Super-peer Overlay for Service Discovery.	GCC	2004	DBLP DOI BibTeX RDF
2	Michel Cukier, Ramesh Chandra, David Henke, Jessica Pistole, William H. Sanders	Fault Injection based on a Partial View of the Global State of a Distributed System. (PDF / PS)	SRDS	1999	DBLP DOI BibTeX RDF
2	Katsuya Tanaka, Makoto Takizawa	Distributed checkpointing based on influential messages. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	influential messages, massage passing, object faults, protocols, protocols, distributed processing, message passing, remote procedure calls, remote procedure call, consistent global state, distributed checkpointing
2	Eric A. Brewer, Paul Gauthier, Armando Fox, Angela Schuett	Software Techniques for Improving MPP Bulk-Transfer Performance. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF	software techniques, bulk-transfer performance, traffic interleaving, Thinking Machines CM-5, one-on-one communication, MIT Alewife machine, token-passing scheme, distributed dynamic scheduling, irregular traffic patterns, traffic massaging, near-permutations, performance evaluation, parallel machines, processor scheduling, software performance evaluation, telecommunication traffic, preprocessing, barriers, network congestion, algorithm performance, Intel Paragon, static scheduling, massively parallel processor, global state
2	Keith Marzullo, Gil Neiger	Detection of Global State Predicates.	WDAG	1991	DBLP DOI BibTeX RDF
2	Tony T. Lee, Ming-Yee Lai	A Relational Algebraic Approach to Protocol Verification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES
1	Abdullah Omar Hamadeh, Guy-Bart Stan, Rodolphe Sepulchre, Jorge M. Goncalves	Global State Synchronization in Networks of Cyclic Feedback Systems.	IEEE Trans. Automat. Contr.	2012	DBLP DOI BibTeX RDF
1	Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart	Global State Estimates for Distributed Systems.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	Bart Vermeulen, Kees Goossens	Obtaining consistent global state dumps to interactively debug systems on chip with multiple clocks.	HLDVT	2010	DBLP DOI BibTeX RDF
1	Steffen Keul	Static Versioning of Global State for Race Condition Detection.	Ada-Europe	2010	DBLP DOI BibTeX RDF
1	Dehui Liu, Gang Yin, Feng Chen, Huaimin Wang, Peng Zou	Towards Global State Identification of Nodes in DHT Based Systems.	PDP	2010	DBLP DOI BibTeX RDF	Global View, Active Item, DHT, Gossip
1	Ajay D. Kshemkalyani	Fast and Message-Efficient Global Snapshot Algorithms for Large-Scale Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	distributed snapshot, cluster, Distributed system, message passing, hypercube, checkpoint, supercomputer, overlay, global state
1	Shlomi Dolev, Juan A. Garay, Niv Gilboa, Vladimir Kolesnikov	Brief announcement: swarming secrets.	PODC	2010	DBLP DOI BibTeX RDF	strongly oblivious tm, swarm, multi-party computation
1	Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh	Verifying linearizability with hindsight.	PODC	2010	DBLP DOI BibTeX RDF	hindsight, linearizability, wait-freedom, optimistic concurrency
1	Chandima Dedduwa Pathiranage, Keigo Watanabe, Kiyotaka Izumi	T-S fuzzy model adopted SLAM algorithm with linear programming based data association for mobile robots.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Pseudolinear model, Fuzzy Kalman filtering, Data association, T-S fuzzy model, Simultaneous localization and mapping
1	Riccardo Marino, Cristiano Maria Verrelli	A global state feedback output regulating control for uncertain systems in strict feedback form.	Systems & Control Letters	2009	DBLP DOI BibTeX RDF
1	David C. Moore, Albert S. Huang, Matthew Walter, Edwin Olson, Luke Fletcher, John J. Leonard, Seth J. Teller	Simultaneous local and global state estimation for robotic navigation.	ICRA	2009	DBLP DOI BibTeX RDF
1	Lung-Pin Chen, Meng-Yuan Ho, Jhen-You Hong	Identifying Useless States in Non-FIFO Distributed Computations by Using Pseudo Timestamps.	ISPAN	2009	DBLP DOI BibTeX RDF	Distributed program, Timestamp, Distributed debugging, Global state, Global predicate
1	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
1	Yehuda Afek, Nir Shavit, Moran Tzafrir	Interrupting Snapshots and the JavaTM^{\mbox{\tiny TM}} Size() Method.	DISC	2009	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot, global state
1	Elizabeth Whitaker Lynch, George F. Riley	Hardware Supported Time Synchronization in Multi-core Architectures.	PADS	2009	DBLP DOI BibTeX RDF	multi-core synchronization
1	Jan Wloka, Manu Sridharan, Frank Tip	Refactoring for reentrancy.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	reentrant code, program transformation, refactoring
1	Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Ran Wolff, Kanishka Bhaduri, Hillol Kargupta	A Generic Local Algorithm for Mining Data Streams in Large Distributed Systems.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
1	Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv	Abstract Transformers for Thread Correlation Analysis.	APLAS	2009	DBLP DOI BibTeX RDF
1	Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening	Symbolic Counter Abstraction for Concurrent Software.	CAV	2009	DBLP DOI BibTeX RDF
1	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
1	Rafik Makhloufi, Grégory Bonnet, Guillaume Doyen, Dominique Gaïti	Decentralized Aggregation Protocols in Peer-to-Peer Networks: A Survey.	MACE	2009	DBLP DOI BibTeX RDF	aggregation protocols, Peer-to-Peer decentralized monitoring, tree-based protocols, gossip-based protocols
1	Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda	Brief Announcement: Consistent Fixed Points and Negative Gain.	SSS	2009	DBLP DOI BibTeX RDF
1	Mooly Sagiv	Thread-Modular Shape Analysis.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Paul Blain Levy	Global State Considered Helpful.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Progressiveness, Shared object, Opacity, Atomic operation, Consistent global state
1	Eddy Truyen, Nico Janssens, Frans Sanen, Wouter Joosen	Support for distributed adaptations in aspect-oriented middleware.	AOSD	2008	DBLP DOI BibTeX RDF	DyRes, JBoss AOP, Spring AOP, distributed aspects, run-time aspect weaving, dynamic reconfiguration
1	Tianhao He, Maria Hybinette	A Comparison of Interest Manager Mechanisms for Agent-Based Simulations Using a Time Warp Executive.	PADS	2008	DBLP DOI BibTeX RDF
1	Adam J. Lee, Marianne Winslett	Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	distributed proving, consistency, credentials, trust negotiation
1	Ch. D. V. Subba Rao, M. M. Naidu	A new, efficient coordinated checkpointing protocol combined with selective sender-based message logging.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Christoph Reich, Kris Bubendorfer, Rajkumar Buyya	An Autonomic Peer-to-Peer Architecture for Hosting Stateful Web Services.	CCGRID	2008	DBLP DOI BibTeX RDF	Web services, p2p, deployment, autonomic
1	Stéphanie Delaune, Steve Kremer, Graham Steel	Formal Analysis of PKCS#11.	CSF	2008	DBLP DOI BibTeX RDF	PKCS11, Key management, Security API
1	Vitaly Ablavsky, Ashwin Thangali, Stan Sclaroff	Layered graphical models for tracking partially-occluded objects.	CVPR	2008	DBLP DOI BibTeX RDF
1	Mohammad Masud Hasan, Jason P. Jue	Clustering Large Optical Networks for Distributed and Dynamic Multicast.	ICC	2008	DBLP DOI BibTeX RDF
1	Guomin Zhang, Na Wang, Ming Chen, Xiaofeng Qiu	Modal Policy Management Framework for Management of Distributed Systems.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Cong Liu, Sanjeev Baskiyar	Scheduling Mixed Tasks with Deadlines in Grids Using Bin Packing.	ICPADS	2008	DBLP DOI BibTeX RDF
1	Shoudong Huang, Zhan Wang, Gamini Dissanayake	Exact state and covariance sub-matrix recovery for submap based sparse EIF SLAM algorithm.	ICRA	2008	DBLP DOI BibTeX RDF
1	Janusz Borkowski, Marek Tudruj	Tuning the Efficiency of Parallel Adaptive Integration with Synchronizers.	PDP	2008	DBLP DOI BibTeX RDF	load balancing, global states, adaptive integration
1	Ming Zhong, Kai Shen, Joel I. Seiferas	The Convergence-Guaranteed Random Walk and Its Applications in Peer-to-Peer Networks.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Distributed systems, Distributed applications, Distributed networks
1	Georgios Ch. Sirakoulis	Automatic Design of FPGA Processor for the Backtracking of DNA Sequences Evolution Using Cellular Automata and Genetic Algorithms.	ACRI	2008	DBLP DOI BibTeX RDF
1	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
1	Lawrence Cabac, Till Dörges, Heiko Rölke	A Monitoring Toolset for Paose.	Petri Nets	2008	DBLP DOI BibTeX RDF	Paose, multi-agent systems, testing, monitoring, debugging, analysis, inspection, Renew, reference nets
1	Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis	Distributed Semantics and Implementation for Systems with Interaction and Priority.	FORTE	2008	DBLP DOI BibTeX RDF
1	Ali Nasrat Haidar, Ali E. Abdallah	Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.	ISoLA	2008	DBLP DOI BibTeX RDF	Weaving Security into Functional Models, Z Promotion, Authentication, Authorization, Security Requirements, Z specification
1	Thomas Sauerwald, Dirk Sudholt	Self-stabilizing Cuts in Synchronous Networks.	SIROCCO	2008	DBLP DOI BibTeX RDF
1	Marek Tudruj, Damian Kopanski, Janusz Borkowski	Dynamic Control of Grid Workflows through Activities Global State Monitoring.	PPAM	2007	DBLP DOI BibTeX RDF
1	Ajay D. Kshemkalyani, Bin Wu	Detecting Arbitrary Stable Properties Using Efficient Snapshots.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	stable predicate, stable property, distributed snapshot, Distributed system, global state
1	Yu-Tong He, Issam Al-Azzoni, Douglas G. Down	MARO - MinDrift affinity routing for resource management in heterogeneous computing systems.	CASCON	2007	DBLP DOI BibTeX RDF
1	James Broberg, Rajkumar Buyya	A multi-commodity flow approach to maximising utility in linked market-based grids.	MGC	2007	DBLP DOI BibTeX RDF
1	Wei Dong, Ji Wang, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
1	Yusuke Iwase, Reiji Suzuki, Takaya Arita	Evolutionary search for cellular automata that exhibit self-organizing properties induced by external perturbations.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	David Breitgand, Rami Cohen, Amir Nahir, Danny Raz	Using the Right Amount of Monitoring in Adaptive Load Sharing.	ICAC	2007	DBLP DOI BibTeX RDF
1	Partha Sarathi Mandal, Krishnendu Mukhopadhyaya	Checkpointing Using Mobile Agents in Distributed Systems.	ICCTA	2007	DBLP DOI BibTeX RDF
1	Weiying Chen, Ryuji Fujiki, Daisaku Arita, Rin-ichiro Taniguchi	Real-time 3D Hand Shape Estimation based on Image Feature Analysis and Inverse Kinematics.	ICIAP	2007	DBLP DOI BibTeX RDF
1	Saqib Raza, Danjue Li, Chen-Nee Chuah, Gene Cheung	Cooperative Peer-to-Peer Repair for Wireless Multimedia Broadcast.	ICME	2007	DBLP DOI BibTeX RDF
1	Hyo Cheol Ahn, Hee Yong Youn, Kyu Yeong Jeon, Kyu Seol Lee	Dynamic Load Balancing for Large-scale Distributed System with Intelligent Fuzzy Controller.	IRI	2007	DBLP DOI BibTeX RDF
1	Janusz Borkowski, Marek Tudruj	Dual Communication Network in Program Control Based on Global Application State Monitoring.	ISPDC	2007	DBLP DOI BibTeX RDF
1	Joel C. Wu, Scott A. Brandt	Providing Quality of Service Support in Object-Based File System.	MSST	2007	DBLP DOI BibTeX RDF
1	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Global predicate monitoring applied for control of parallel irregular computations.	PDP	2007	DBLP DOI BibTeX RDF
1	Neeraj Mittal, Alper Sen, Vijay K. Garg	Solving Computation Slicing Using Predicate Detection.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	program trace analysis, computation slicing, testing and debugging, predicate detection
1	Kenji Masui, Youki Kadobayashi	A Role-Based Peer-to-Peer Approach to Application-Oriented Measurement Platforms.	AINTEC	2007	DBLP DOI BibTeX RDF	network measurement platform, peer-to-peer network
1	Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama	Building Verifiable Sensing Applications Through Temporal Logic Specification.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF
1	Pradip K. Srimani	Self-stabilizing Distributed Algorithms for Networks.	ISPA	2007	DBLP DOI BibTeX RDF
1	Villy Bæk Iversen, S. N. Stepanov	Derivatives of Blocking Probabilities for Multi-service Loss Systems and Their Applications.	NEW2AN	2007	DBLP DOI BibTeX RDF	multi-service loss networks, approximate evaluation, blocking probabilities, Derivatives
1	Vinodkrishnan Kulathumani, Anish Arora	Distance Sensitive Snapshots in Wireless Sensor Networks.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Manfred Reichert, Thomas Bauer	Supporting Ad-Hoc Changes in Distributed Workflow Management Systems.	OTM Conferences	2007	DBLP DOI BibTeX RDF
1	Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier	A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Danny Dolev, Ezra N. Hoch	On Self-stabilizing Synchronous Actions Despite Byzantine Attacks.	DISC	2007	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Ted Herman	Parallel composition for time-to-fault adaptive stabilization.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Adaptive stabilization, Self-stabilization, Automatic recovery
1	Jun Wang, Di Zheng, Huaimin Wang, Quanyuan Wu	Fuzzy Logic Based Replica Management Infrastructure for Balanced Resource Allocation and Efficient Overload Control of the Complex Service-Oriented Applications.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Load Balancing, Middleware, Fuzzy Logic, Adaptive Resource Allocation, WebService
1	Anirban Majumdar, Clark D. Thomborson	Manufacturing opaque predicates in distributed systems for code obfuscation.	ACSC	2006	DBLP DOI BibTeX RDF	distributed predicate detection, mobile code protection, opaque predicates, software protection, distributed systems security, code obfuscation
1	Adam J. Lee, Marianne Winslett	Safety and consistency in policy-based authorization systems.	ACM Conference on Computer and Communications Security	2006	DBLP DOI BibTeX RDF	distributed proving, consistency, credentials, trust negotiation
1	Saad H. Alabbad, Michael E. Woodward	Localized Credit Based QoS Routing : Performance Evaluation Using.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF
1	Nadir Karam, Frederic Chausse, Romuald Aufrère, Roland Chapuis	Localization of a Group of Communicating Vehicles by State Exchange.	IROS	2006	DBLP DOI BibTeX RDF
1	Ryuichi Ueda, Tamio Arai, Kojiro Matsushita	Creation and Compression of Global Control Policy for Swinging up Control of the Acrobot.	IROS	2006	DBLP DOI BibTeX RDF
1	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Parallel Irregular Computations Control Based on Global Predicate Monitoring.	PARELEC	2006	DBLP DOI BibTeX RDF
1	Adrian Kosowski, Lukasz Kuszner	Energy Optimisation in Resilient Self-Stabilizing Processes.	PARELEC	2006	DBLP DOI BibTeX RDF	distributed algorithms, self-stabilization, asynchronous system, polynomial-time complexity
1	YoungMin Kwon, Gul Agha	Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Xiaohui Gu, Klara Nahrstedt	On Composing Stream Applications in Peer-to-Peer Environments.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	quality-of-service, Peer-to-peer, resource management, service composition, stream processing
1	Ricardo Marcelín-Jiménez, Sergio Rajsbaum, Brett Stevens	Cyclic Storage for Fault-Tolerant Distributed Executions.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	storage/repositories, network repositories/data mining/backup, fault-tolerance, distributed systems, distributed applications, checkpoint/restart, Load balancing and task assignment
1	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Yi-Kai Liu	Consistency of Local Density Matrices Is QMA-Complete.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
1	Frédéric Lang	Refined Interfaces for Compositional Verification.	FORTE	2006	DBLP DOI BibTeX RDF