5606 search results - page 809 / 1122 » Randomization Techniques for Graphs. |
177
click to vote
VRML
1998
ACM
15 years 11 months ago
1998
ACM
This paper discusses the history and design decisions behind OpenWorlds, the first C++ toolkit for VRML 2.0 integration. OpenWorlds is a highly extensible set of libraries which s...
143
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
155
click to vote
VRML
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the design and implementation of the user interface for a prototype immersive VRML2 browser, with particular reference to the planning and viewpoint movement ...
170
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
A new VLSI architecture for real-time pipeline FFT processor is proposed. A hardware oriented radix-22 algorithm is derived by integrating a twiddle factor decomposition technique ...
178
click to vote
ISLPED
1996
ACM
15 years 11 months ago
1996
ACM
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...