27827 search results - page 357 / 5566 » Generating |
130
click to vote
ITC
1997
IEEE
15 years 8 months ago
1997
IEEE
In a fundamental paradigm shift in system design, entire systems are being built on a single chip, using multiple embedded cores. Though the newest system design methodology has s...
117
Voted
VRML
1997
ACM
15 years 8 months ago
1997
ACM
Level of detail generation is important for managing geometric complexity of three-dimensional objects and virtual worlds. However, most algorithms that compute levels of detail do...
135
Voted
ITC
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper describes test generation for delay faults caused by global process disturbances. The structural and spatial correlation between path delays is used to reduce the numbe...
118
Voted
IMA
1997
Springer
15 years 8 months ago
1997
Springer
We show how it is possible for two parties to co-operate in generating the parameters for an RSA encryption system in such a way that neither individually has the ability to decry...
131
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...