Sciweavers

4981 search results - page 641 / 997
» Dependent Gaussian Processes
Sort
View
AGP
1995
IEEE
15 years 11 months ago
Domain Independent Ask Approximation in CCP
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
Enea Zaffanella
EURODAC
1995
IEEE
182views VHDL» more  EURODAC 1995»
15 years 11 months ago
Delay modelling improvement for low voltage applications
Based on an explicit formulation of delays, an improved model for low voltage operation of CMOS inverter has been derived. Extrinsic and intrinsic effects, such as transistor curr...
Jean Michel Daga, Michel Robert, Daniel Auvergne
ISCA
1997
IEEE
78views Hardware» more  ISCA 1997»
15 years 11 months ago
Trading Conflict and Capacity Aliasing in Conditional Branch Predictors
As modern microprocessors employ deeper pipelines and issue multiple instructions per cycle, they are becoming increasingly dependent on accurate branch prediction. Because hardwa...
Pierre Michaud, André Seznec, Richard Uhlig
GRC
2009
IEEE
15 years 11 months ago
A step toward code granulation space
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
Yinliang Zhao
AAAI
2007
15 years 10 months ago
R-CAST: Integrating Team Intelligence for Human-Centered Teamwork
Developing human-centered agent architectures requires the integral consideration of architectural flexibility, teamwork adaptability, and context reasoning capability. With the ...
Xiaocong Fan, John Yen