15636 search results - page 432 / 3128 » Modelling by supersaturated designs |
176
click to vote
ATAL
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. Starting from a general definition of how to model the organisation of multiagent systems with the aid of holonic structures, we discuss design parameters for such struc...
249
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
216
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
203
Voted
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
210
click to vote
HICSS
2008
IEEE
16 years 2 months ago
2008
IEEE
Online auctions are inherently dynamic. Online auction designs that internalize temporal changes in the economic environment are generally expected to perform better than static d...