13041 search results - page 1 / 2609 » Simulating space and time |
ECCC
2010
13 years 5 months ago
2010
We give two time- and space-efficient simulations of quantum computations with intermediate measurements, one by classical randomized computations with unbounded error and the oth...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...
ACSD
2009
IEEE
13 years 9 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
ICC
2009
IEEE
13 years 2 months ago
2009
IEEE
In this paper, based on the concept of the Tapped Delay Line (TDL) structure, we first propose a new wideband multiple-ring Multiple Input Multiple Output (MIMO) channel reference ...
DSRT
2005
IEEE
13 years 10 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...