Sciweavers

7064 search results - page 159 / 1413
» From States to Histories
Sort
View
MCU
1998
154views Hardware» more  MCU 1998»
15 years 7 months ago
A computation-universal two-dimensional 8-state triangular reversible cellular automaton
A reversible cellular automaton (RCA) is a cellular automaton (CA) whose global function is injective and every configuration has at most one predecessor. Margolus showed that the...
Katsunobu Imai, Kenichi Morita
AO
2010
115views more  AO 2010»
15 years 6 months ago
An ontological analysis of states: Organizations vs. legal persons
The purpose of this paper is to argue states are not organizations, but rather the objective legal persons of international law. The ontological similarities and differences betwee...
Edward Heath Robinson
PIMRC
2010
IEEE
15 years 4 months ago
The role of channel states in secret key generation
In this work, we investigate secret key generation from channel states. We point out, by means of a packet-delaybased attack, that observing its own channel states is not the only ...
Xiang He, Aylin Yener
SIGSOFT
2007
ACM
16 years 7 months ago
State coverage: a structural test adequacy criterion for behavior checking
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
Ken Koster, David Kao
CP
2007
Springer
16 years 21 days ago
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
Christophe Lecoutre, Lakhdar Sais, Sébastie...