3504 search results - page 292 / 701 » Computational Aspects of Equilibria |
200
click to vote
ICPP
1996
IEEE
15 years 11 months ago
1996
IEEE
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
215
click to vote
LCN
1996
IEEE
15 years 11 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
271
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
173
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
This study investigates dynamic 3D target acquisition. The focus is on the relative effect of specific perceptual cues. A novel technique is introduced and we report on an experim...
179
click to vote
DAC
1992
ACM
15 years 11 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...