4981 search results - page 617 / 997 » Dependent Gaussian Processes |
183
click to vote
ISVLSI
2008
IEEE
16 years 2 months ago
2008
IEEE
The share of leakage in cache power consumption increases with technology scaling. Choosing a higher threshold voltage (Vth) and/or gate-oxide thickness (Tox) for cache transistor...
203
click to vote
LICS
2008
IEEE
16 years 2 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
229
click to vote
PRDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
189
click to vote
QSIC
2008
IEEE
16 years 2 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
201
click to vote
SASO
2008
IEEE
16 years 2 months ago
2008
IEEE
—An open issue in self-organisation is how to control the emergence of behaviour. This issue is also of interest for engineering holonic multi-agent systems as any level of a hol...