Sciweavers

13041 search results - page 164 / 2609

» Simulating space and time

95

Voted

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 8 months ago

Simulator for Real-Time Abstract State Machines

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

127

STOC
2000
ACM

95views Algorithms» more STOC 2000»

Parallelization, amplification, and exponential time simulation of quantum interactive proof systems

15 years 8 months ago

Parallelization, amplification, and exponential time simulation of quantum interactive proof systems

Download www.cs.uwaterloo.ca

Alexei Kitaev, John Watrous

claim paper

Read More »

84

PARCO
2007

90views Distributed And Parallel Com...» more PARCO 2007»

Parallelizing a Real-Time Steering Simulation for Computer Games with OpenMP

15 years 6 months ago

Parallelizing a Real-Time Steering Simulation for Computer Games with OpenMP

Download www.fz-juelich.de

Bjoern Knafla, Claudia Leopold

claim paper

Read More »

109

PDPTA
1997

103views Distributed And Parallel Com...» more PDPTA 1997»

Object Orientation in Time Warp Simulation

15 years 5 months ago

Object Orientation in Time Warp Simulation

Download www.schlagenhaft.net

Norbert Fröhlich, Rolf Schlagenhaft, Andreas ...

claim paper

Read More »

128

Voted

FORTE
1990

88views Formal Methods» more FORTE 1990»

A LOTOS Interpreter for Simulating Real-Time Behaviour

15 years 5 months ago

A LOTOS Interpreter for Simulating Real-Time Behaviour

Download sky.fit.qut.edu.au

A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...

Colin J. Fidge

claim paper

Read More »

« Prev « First page 164 / 2609 Last » Next »