Sciweavers

4340 search results - page 69 / 868
» Designing for change
Sort
View
ACMICEC
2005
ACM
160views ECommerce» more  ACMICEC 2005»
15 years 9 months ago
Autonomous trading agent design in the presence of tradeoffs
In previous work we have introduced a principled methodology for systematically exploring the space of bidding strategies when agents participate in a significant number of simul...
Ioannis A. Vetsikas, Bart Selman
124
Voted
GLVLSI
2003
IEEE
132views VLSI» more  GLVLSI 2003»
15 years 8 months ago
Power-aware pipelined multiplier design based on 2-dimensional pipeline gating
Power-awareness indicates the scalability of the system energy with changing conditions and quality requirements. Multipliers are essential elements used in DSP applications and c...
Jia Di, Jiann S. Yuan
ASPDAC
2005
ACM
79views Hardware» more  ASPDAC 2005»
15 years 5 months ago
Floorplan management: incremental placement for gate sizing and buffer insertion
Incremental physical design is an important methodology towards achieving design closure for high-performance large-scale circuits. Placement tools must accommodate incremental ch...
Chen Li 0004, Cheng-Kok Koh, Patrick H. Madden
124
Voted
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
15 years 10 months ago
Integrating Formal Analysis and Design to Preserve Security Properties
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, M...
123
Voted
SAC
2003
ACM
15 years 8 months ago
A Dynamic Data/Currency Protocol for Mobile Database Design and Reconfiguration
This paper presents flexible protocols for dynamic database design and reconfiguration, enabling mobile database to be designed in such a way that data location, replication and e...
Yanli Xia, Abdelsalam Helal