2339 search results - page 169 / 468 » Software processes for the development of electronic commerc... |
179
click to vote
DAC
2006
ACM
16 years 10 days ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...
184
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
202
click to vote
ICPP
2006
IEEE
16 years 12 days ago
2006
IEEE
— This paper focuses on the transfer of large data in SMP systems. Achieving good performance for intranode communication is critical for developing an efficient communication s...
153
click to vote
TASE
2008
IEEE
16 years 23 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
185
click to vote
IEEECIT
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...