OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2012 Year: 2006 Repository: 37

Sort by Score Title Year -

71-80 from 738 results (0.047 seconds)

Title: An algorithm to reduce the communication traffic for multi-word searches in a distributed hash table
Author: Sei, Yuichi / Matsuzaki, Kazutaka / Honiden, Shinichi
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / bloom filter / Hash-table representations / Filtering / Probabilistic computation / Distributed networks

Acceder
Title: Exploring an unknown graph to locate a black hole using tokens
Author: Dobrev, Stefan / Flocchini, Paola / Královic, Rastislav / Santoro, Nicola
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Robotics / Algorithms / token model / black hole search problem

Acceder
Title: Fast cellular automata with restricted inter-cell communication: computational capacity
Author: Kutrib, Martin / Malcher, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines) / Arrays / Formal Languages / Parallel Architectures

Acceder
Title: Asynchonous distributed components: concurrency and determinacy
Author: Caromel, Denis / Henrio, Ludovic
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ASP (Asynchronous Sequential Processes) / Distributed applications

Acceder
Title: Decidable properties for regular cellular automata
Author: Di Lena, Pietro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)

Acceder
Title: Symbolic determinisation of extended automata
Author: Jéron, Thierry / Marchand, Hervé / Rusu, Vlad
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / determinisation / symbolic automata

Acceder
Title: Regular hedge model checking
Author: D'Orso, Julien / Touili, Tayssir
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Frameworks / Mutual exclusion / Trees

Acceder
Title: Completing categorical algebras : Extended abstract
Author: Bloom, Stephen L. / Esik, Zoltán
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / categorical algebras

Acceder
Title: Reusing optimal TSP solutions for locally modified input instances : Extended abstract
Author: Hromkovič, Juraj / Böckenhauer, Hans-Joachim / Forlizzi, Luca / Kneis, Joachim / Kupke, Joachim / Proietti, Guido / Widmayer, Peter
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Optimization

Acceder
Title: Spectral partitioning of random graphs with given expected degrees
Author: Goerdt, Andreas / Coja-Oghlan, Amin / Lanka, André
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / random graph / spectral techniques

Acceder

« Previous 4 5 6 7 8 9 10 11 12 Next »