4902 search results - page 297 / 981 » Multi-agent Systems Methodology |
166
click to vote
GLVLSI
2006
IEEE
16 years 23 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
132
click to vote
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— A methodology for designing data center infrastructure for E-commerce sites is developed. It differs from existing methodologies in that it evaluates and compares alter...
184
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
162
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a versatile scheduling model and an efficient control synthesis methodology which enables architectural (high-level) design/synthesis systems to seamlessly su...
191
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...