150 search results - page 18 / 30 » Parallel Generation of Pseudo-Random Sequences |
ARTS
1999
Springer
14 years 3 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
EDOC
2004
IEEE
14 years 2 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
ICIP
2006
IEEE
15 years 16 days ago
2006
IEEE
This paper proposes an object-oriented approach for streaming synthetic graphic contents over a packet-erasure channel. Graphic objects such as geometric meshes and texture images...
IEEEPACT
2002
IEEE
14 years 3 months ago
2002
IEEE
Traditional compilers perform their code generation tasks based on a fixed, pre-determined instruction set. This paper describes the implementation of a compiler that determines ...