3059 search results - page 313 / 612 » with Wide Functional Units |
178
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
218
click to vote
CEC
2011
IEEE
14 years 6 months ago
2011
IEEE
—Evolutionary algorithms have been very popular optimization methods for a wide variety of applications. However, in spite of their advantages, their computational cost is still ...
190
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
158
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Energy consumption is a main issue of concern in wireless networks. Energy minimization increases the time that networks’ nodes work properly without recharging or substituti...
217
click to vote
ELPUB
2006
ACM
16 years 20 days ago
2006
ACM
In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that dif...