Sciweavers

461 search results - page 14 / 93
» Simulating the universe
Sort
View
WSC
2004
14 years 11 months ago
A Web-Based Virtual Factory and Simulator for Industrial Statistics
An educational web-based virtual factory and simulator environment is presented in this paper. It has been developed for university students to apply various statistical quality c...
Xuesong Chi, Matthew P. J. Pepper, Trevor A. Spedd...
FOCS
2003
IEEE
15 years 2 months ago
General Composition and Universal Composability in Secure Multi-Party Computation
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
Yehuda Lindell
MCU
1998
119views Hardware» more  MCU 1998»
14 years 11 months ago
DNA Computing Based on Splicing: Universality Results
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
Gheorghe Paun
LATIN
1995
Springer
15 years 1 months ago
Reversible Cellular Automaton Able to Simulate Any Other Reversible One Using Partitioning Automata
Partitioning automata (PA) are de ned. They are equivalent to cellular automata (CA). Reversible sub-classes are also equivalent. A simple, reversible and universal partitioning au...
Jérôme Olivier Durand-Lose
IANDC
2010
84views more  IANDC 2010»
14 years 8 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman