2500 search results - page 314 / 500 » Specifying Behavior in C |
136
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
Accurately modeling server power consumption is critical in designing data center power provisioning infrastructure. However, to date, most research proposals have used average CP...
157
click to vote
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Memetic algorithms (MAs) combine the global exploration abilities of evolutionary algorithms with a local search to further improve the solutions. While a neighborhood can be e...
119
click to vote
CCR
2010
15 years 4 months ago
2010
Software errors and vulnerabilities in core Internet routers have led to several high-profile attacks on the Internet infrastructure and numerous outages. Building an understandin...
134
click to vote
ENTCS
2008
15 years 4 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
EOR
2008
15 years 4 months ago
2008
This paper examines contract practices between suppliers and retailers in the agricultural seed industry. We construct and analyze single-retailer models of various contract types...