9110 search results - page 1545 / 1822 » Formally-Based Design Evaluation |
127
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
In our on-going endeavor to teach students better help-seeking skills we designed a three-pronged Help-Seeking Support Environment that includes (a) classroom instruction (b) a Sel...
129
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...
156
click to vote
PATMOS
2007
Springer
15 years 10 months ago
2007
Springer
—Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the...
140
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...
121
Voted
ISCA
2006
IEEE
15 years 10 months ago
2006
IEEE
The key to high performance in Simultaneous Multithreaded (SMT) processors lies in optimizing the distribution of shared resources to active threads. Existing resource distributio...