Search results for "Local computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Rodrigue Ossamy	A Simple Randomized k-Local Election Algorithm for Local Computations.	WEA	2005	DBLP DOI BibTeX RDF	election in graphs, distributed algorithms, randomized algorithms, Local computations
3	Mohamed Mosbah, Rodrigue Ossamy	Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing.	ENC	2004	DBLP DOI BibTeX RDF	distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection
3	Anne Bottreau, Yves Métivier	The Kronecker Product and Local Computations in Graphs.	CAAP	1996	DBLP DOI BibTeX RDF	Cut-edge, Cut-vertex, k-covering, Local computations on graphs, The Kronecker product, Planar, Subgraph, Minor
2	Bilel Derbel, Mohamed Mosbah, Stefan Gruner	Mobile Agents Implementing Local Computations in Graphs.	ICGT	2008	DBLP DOI BibTeX RDF	Relabeling systems, Distributed algorithms, Mobile agents
2	Jérémie Chalopin	Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem.	SOFSEM	2005	DBLP DOI BibTeX RDF
2	Brahim Hamid, Mohamed Mosbah	A Formal Model for Fault-Tolerance in Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems
2	Emmanuel Godard, Yves Métivier, Anca Muscholl	Characterizations of Classes of Graphs Recognizable by Local Computations.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
2	Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Afif Sellami	Synchronizers for Local Computations.	ICGT	2004	DBLP DOI BibTeX RDF
2	Mohamed Mosbah, Rodrigue Ossamy	A Programming Language for Local Computations in Graphs: Computational Completeness.	ENC	2004	DBLP DOI BibTeX RDF
2	Igor Litovsky, Yves Métivier, Wieslaw Zielonka	The Power and the Limitations of Local Computations on Graphs.	WG	1992	DBLP DOI BibTeX RDF
1	Radim Jirousek	Belief Networks and Local Computations.	NL-MUA	2011	DBLP DOI BibTeX RDF
1	Mohamed Tounsi, Mohamed Mosbah, Dominique Méry	Proving Distributed Algorithms by Combining Reﬁnement and Local Computations.	ECEASST	2010	DBLP BibTeX RDF
1	Antoni W. Mazurkiewicz	Local Computations on Triangular Graphs.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Emmanuel Godard, Yves Métivier, Gerard Tel	Termination Detection of Local Computations	CoRR	2010	DBLP BibTeX RDF
1	Tony McLoughlin, Robert S. Laramee, Eugene Zhang	Easy integral surfaces: a fast, quad-based stream and path surface algorithm.	CGI	2009	DBLP DOI BibTeX RDF
1	Carlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli	Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization.	IPSN	2009	DBLP DOI BibTeX RDF
1	Emmanuelle Lebhar, Zvi Lotker	Unit disk graph and physical interference model: Putting pieces together.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Jens Oehlerking, Oliver E. Theel	Decompositional Construction of Lyapunov Functions for Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Werner M. Seiler	A combinatorial approach to involution and delta-regularity I: involutive bases in polynomial algebras of solvable type.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
1	Chi Zhang, Yanchao Zhang, Yuguang Fang	Localized algorithms for coverage boundary detection in wireless sensor networks.	Wireless Networks	2009	DBLP DOI BibTeX RDF	Connected coverage, Wireless sensor networks (WSNs), Computational geometry, Localized algorithm
1	Serge Abiteboul, Luc Segoufin, Victor Vianu	Static analysis of active XML systems.	PODS	2008	DBLP DOI BibTeX RDF	active xml, automatic verification, temporal properties
1	Jon Feldman, S. Muthukrishnan, Anastasios Sidiropoulos, Clifford Stein, Zoya Svitkina	On distributing symmetric streaming computations.	SODA	2008	DBLP DOI BibTeX RDF
1	Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel	Electing a leader in the local computation model using mobile agents.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Angelia Nedic, Alexander Olshevsky, Asuman E. Ozdaglar, John N. Tsitsiklis	Distributed subgradient methods and quantization effects.	CDC	2008	DBLP DOI BibTeX RDF
1	Mounir Kechid, Jean Frédéric Myoupo	A Coarse Grain Multicomputer Algorithm Solving the Optimal Binary Search Tree Problem.	ITNG	2008	DBLP DOI BibTeX RDF	Parallel algorithm, Dynamic programming, BSP, CGM
1	Usman A. Khan, José M. F. Moura	Distributing the Kalman Filter for Large-Scale Systems.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
1	Salem Benferhat, Salma Smaoui	On the Use of Possibilistic Bases for Local Computations in Product-Based Possibilistic Networks.	Canadian Conference on AI	2007	DBLP DOI BibTeX RDF	Possibilistic networks, inference, possibilistic logic
1	Parry Husbands, Katherine A. Yelick	Multi-threading and one-sided communication in parallel LU factorization.	SC	2007	DBLP DOI BibTeX RDF	multithreading, latency tolerance, dense linear algebra
1	Matthew Bolitho, Michael M. Kazhdan, Randal C. Burns, Hugues Hoppe	Multilevel streaming for out-of-core surface reconstruction.	Symposium on Geometry Processing	2007	DBLP DOI BibTeX RDF
1	Thomas Holenstein	Parallel repetition: simplifications and the no-signaling case.	STOC	2007	DBLP DOI BibTeX RDF	probabilistically checkable proofs, parallel repetition
1	Wendeson da Silva Oliveira, Ângela Vilhena Dias	Interactive Left Ventricular Segmentation in Cardiac Images.	ICCV	2007	DBLP DOI BibTeX RDF
1	Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney	Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Yi Yang, Xinran Wang, Sencun Zhu, Guohong Cao	Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks.	SRDS	2007	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Elisavet Konstantinou, Vasiliki Liagkou, Paul G. Spirakis	Agent-based Distributed Group Key Establishment in Wireless Sensor Networks.	WOWMOM	2007	DBLP DOI BibTeX RDF
1	Flaminia L. Luccio	Intruder Capture in Sierpinski Graphs.	FUN	2007	DBLP DOI BibTeX RDF	intruder capture, Sierpi?ski graphs, Mobile agents
1	Euripides Markou, Andrzej Pelc	Efficient Exploration of Faulty Trees.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
1	Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka	Local Computations in Graphs: The Case of Cellular Edge Local Computations.	Fundam. Inform.	2006	DBLP BibTeX RDF
1	Demetrios Zeinalipour-Yazti, Song Lin, Dimitrios Gunopulos	Distributed spatio-temporal similarity search.	CIKM	2006	DBLP DOI BibTeX RDF	spatio-temporal similarity search, top-K query processing
1	Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff	Veracity radius: capturing the locality of distributed computations.	PODC	2006	DBLP DOI BibTeX RDF	locality, aggregation
1	Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou	Session Types for Object-Oriented Languages.	ECOOP	2006	DBLP DOI BibTeX RDF
1	H. Van Dyke Parunak, Richard Rohwer, Theodore C. Belding, Sven Brueckner	Dynamic Decentralized Any-Time Hierarchical Clustering.	ESOA	2006	DBLP DOI BibTeX RDF
1	Bilel Derbel	Efficient Distributed Handshake Using Mobile Agents.	ICDCN	2006	DBLP DOI BibTeX RDF	mobile agent model, message passing model, matching, random walk, handshake
1	Arnaud Casteigts, Serge Chaumette	Dynamicity Aware Graph Relabeling Systems and the Constraint Based Synchronization: A Unifying Approach to Deal with Dynamic Networks.	WASA	2006	DBLP DOI BibTeX RDF
1	Jérémie Chalopin, Daniël Paulusma	Graph Labelings Derived from Models in Distributed Computing.	WG	2006	DBLP DOI BibTeX RDF
1	Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka	Local Computation in Graphs: The Case of Cellular Edge Local Computations.	Bulletin of the EATCS	2005	DBLP BibTeX RDF
1	Jérémie Chalopin, Yves Métivier	A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs.	MFCS	2005	DBLP DOI BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	An Implementation of a Failure Detector for Local Computations in Graphs.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	Visualization of Self-Stabilizing Distributed Algorithms.	IV	2005	DBLP DOI BibTeX RDF
1	Luc Brun, Walter G. Kropatsch	Inside and Outside Within Combinatorial Pyramids.	GbRPR	2005	DBLP DOI BibTeX RDF
1	Joël Chavas, Demian Battaglia, Andres Cicuttin, Riccardo Zecchina	Construction and VHDL Implementation of a Fully Local Network with Good Reconstruction Properties of the Inputs.	IWINAC	2005	DBLP DOI BibTeX RDF
1	Pekka Orponen, Satu Elisa Schaeffer	Local Clustering of Large Graphs by Approximate Fiedler Vectors.	WEA	2005	DBLP DOI BibTeX RDF
1	Mikhail J. Atallah, Jiangtao Li	Secure outsourcing of sequence comparisons .	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Secure outsourcing, Privacy, Edit distance, Secure multiparty computation, Sequence comparison
1	Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka	Election, Naming and Cellular Edge Local Computations.	ICGT	2004	DBLP DOI BibTeX RDF
1	Jérémie Chalopin, Yves Métivier	Election and Local Computations on Edges.	FoSSaCS	2004	DBLP DOI BibTeX RDF
1	Laurent Granvilliers, Mina Ouabiba	Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.	AISC	2004	DBLP DOI BibTeX RDF	redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm
1	Sándor P. Fekete, Alexander Kröller, Dennis Pfisterer, Stefan Fischer, Carsten Buschmann	Neighborhood-Based Topology Recognition in Sensor Networks.	ALGOSENSORS	2004	DBLP DOI BibTeX RDF
1	Xing Cai	Improving the Performance of Large-Scale Unstructured PDE Applications.	PARA	2004	DBLP DOI BibTeX RDF
1	Mikhail J. Atallah, Jiangtao Li	Secure Outsourcing of Sequence Comparisons.	Privacy Enhancing Technologies	2004	DBLP DOI BibTeX RDF
1	Zhenying Liu, Lei Huang, Barbara M. Chapman, Tien-Hsiung Weng	Efficient Implementation of OpenMP for Clusters with Implicit Data Distribution.	WOMPAT	2004	DBLP DOI BibTeX RDF
1	Xiao Han, Chenyang Xu, Jerry L. Prince	A Topology Preserving Level Set Method for Geometric Deformable Models.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Geometric deformable model, active contours, level set method, digital topology, topology preservation, simple points, topological constraint
1	Konstantin Berlin, Jun Huan, Mary Jacob, Garima Kochhar, Jan Prins, William Pugh, P. Sadayappan, Jaime Spacco, Chau-Wen Tseng	Evaluating the Impact of Programming Language Features on the Performance of Parallel Applications on Cluster Architectures.	LCPC	2003	DBLP DOI BibTeX RDF
1	Joakim Lindblad, Ingela Nyström	Surface Area Estimation of Digitized 3D Objects Using Local Computations.	DGCI	2002	DBLP DOI BibTeX RDF	accuracy, shape analysis, rotation invariance, marching cubes, isoperimetric inequality
1	Mieczyslaw A. Klopotek	Well-Structured Program Graphs and the Issue of Local Computations.	Intelligent Information Systems	2002	DBLP BibTeX RDF
1	Christof Fetzer, Michel Raynal	Approximate Real-Time Clocks for Scheduled Events. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Approximate time, real-time consistency, adaptation, real-time, leader election, virtual time
1	Emmanuel Godard, Yves Métivier	A Characterization of Families of Graphs in Which Election Is Possible.	FoSSaCS	2002	DBLP DOI BibTeX RDF
1	Emmanuel Godard, Yves Métivier	A Characterization of Classes of GraphsRecognizable by Local Computations with Initial Knowledge.	SIROCCO	2001	DBLP BibTeX RDF
1	Rong Yang, Steve Gregory	Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search.	LPAR	2001	DBLP DOI BibTeX RDF
1	Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser	Dynamic Scheduling for Soft Real-Time Distributed Object Systems.	ISORC	2000	DBLP DOI BibTeX RDF
1	Masha Sosonkina	Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments.	PARA	2000	DBLP DOI BibTeX RDF
1	T. A. Daggett, Ian R. Greenshields, Gehan Weerasinghe	Asynchronous, Parallel Pseudo-Gibbs Classification of the VF Dataset.	CBMS	1999	DBLP DOI BibTeX RDF
1	Sung-Ryul Kim, Kunsoo Park	Fully-Scalable Fault-Tolerant Simulations for BSP and CGM. (PDF / PS)	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
1	Harald J. Ehold, Wilfried N. Gansterer, Dieter F. Kvasnicka, Christoph W. Ueberhuber	HPF and Numerical Libraries.	ACPC	1999	DBLP DOI BibTeX RDF
1	Yuh-Jzer Joung	Localizability of Fairness Constraints and Their Distributed Implementations.	CONCUR	1999	DBLP DOI BibTeX RDF
1	Emmanuel Godard, Yves Métivier, Anca Muscholl	The Power of Local Computations in Graphs with Initial Knowledge.	TAGT	1998	DBLP DOI BibTeX RDF
1	Kwun Han, Sumit Ghosh	A comparative analysis of virtual versus physical process-migration strategies for distributed modeling and simulation of mobile computing networks.	Wireless Networks	1998	DBLP DOI BibTeX RDF
1	Yves Métivier, Anca Muscholl, Pierre-André Wacrenier	About the local detection of termination of local computations in graphs.	SIROCCO	1997	DBLP BibTeX RDF
1	Johannes Gehrke, C. Greg Plaxton, Rajmohan Rajaraman	Rapid Convergence of a Local Load Balancing Algorithm for Asynchronous Rings.	WDAG	1997	DBLP DOI BibTeX RDF
1	Yann Le Guyadec, Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot	A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract).	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
1	Igor Litovsky, Yves Métivier, Wieslaw Zielonka	On the Recognition of Families of Graphs with Local Computations	Inf. Comput.	1995	DBLP DOI BibTeX RDF
1	Igor Litovsky, Yves Métivier, Eric Sopena	Checking global graph properties by means of local computations: the majority problem.	Electr. Notes Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
1	Alain J. Mayer, Moni Naor, Larry J. Stockmeyer	Local Computations on Static and Dynamic Graphs (Preliminary Version).	ISTCS	1995	DBLP BibTeX RDF
1	Bruno Courcelle, Yves Métivier	Coverings and Minors: Application to Local Computations in Graphs.	Eur. J. Comb.	1994	DBLP DOI BibTeX RDF
1	Syed Masud Mahmud	Performance Analysis of Multilevel Bus Networks for Hierarchical Multiprocessors.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	multilevel bus networks, hierarchical multiprocessors, partial multiple bus system, bus architecture, hierarchical multiprocessor design, synchronous multilevel bus systems, asynchronous multilevel bus systems, hierarchical reference model, MVA algorithm, performance evaluation, fault tolerance, performance analysis, parallel architectures, connections, queueing theory, multiprocessing systems, analytical models, bandwidth, queueing networks, switches, simulation models, memory bandwidth, packet-switched networks, cost-effectiveness, system buses, local computations, memory modules
1	Tal Rabin	Robust Sharing of Secrets When the Dealer is Honest or Cheating.	J. ACM	1994	DBLP DOI BibTeX RDF
1	Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster	Implementing 2DT on a Multiprocessor.	CC	1994	DBLP DOI BibTeX RDF
1	Rémi Ronfard	Region-based strategies for active contour models.	International Journal of Computer Vision	1994	DBLP DOI BibTeX RDF
1	Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm	2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks.	PARLE	1993	DBLP DOI BibTeX RDF	operational semantics, parallel language
1	Grégoire Malandain, Gilles Bertrand, Nicholas Ayache	Topological segmentation of discrete surfaces.	International Journal of Computer Vision	1993	DBLP DOI BibTeX RDF
1	Igor Litovsky, Yves Métivier, Eric Sopena	Definitions and Comparisons of Local Computations on Graphs.	MFCS	1992	DBLP DOI BibTeX RDF
1	Grégoire Malandain, Gilles Bertrand, Nicholas Ayache	Topological Classification in Digital Space.	IPMI	1991	DBLP DOI BibTeX RDF	simple surfaces, segmentation, image analysis, Digital topology
1	Michael Gerndt	Updating Distributed Variables in Local Computations.	Concurrency - Practice and Experience	1990	DBLP DOI BibTeX RDF