4609 search results - page 776 / 922 » Automatic Generation of Sigma-Protocols |
197
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
Load balancing involves assigning to each processor, work proportional to its performance, minimizing the execution time of the program. Althoughstatic load balancing can solve ma...
134
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
143
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
188
click to vote
FPCA
1993
15 years 10 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
174
click to vote
ICCHP
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...