Sciweavers

4642 search results - page 5 / 929
» Distributed algorithm and reversible network
Sort
View
APPINF
2003
13 years 9 months ago
Debugging Distributed Computations by Reverse Search
We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requir...
Artur Andrzejak, Komei Fukuda
GLVLSI
2007
IEEE
135views VLSI» more  GLVLSI 2007»
14 years 2 months ago
Exact sat-based toffoli network synthesis
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
Daniel Große, Xiaobo Chen, Gerhard W. Dueck,...
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 2 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
CEC
2009
IEEE
14 years 2 months ago
Bio-inspired reverse engineering of regulatory networks
— Regulatory networks are complex networks. This paper addresses the challenge of modelling these networks. The Boolean representation is chosen and supported as a representation...
Cristina Costa Santini, Gunnar Tufte, Pauline C. H...