11484 search results - page 2203 / 2297 » Modeling in the Large and Modeling in the Small |
205
click to vote
ISCA
2007
IEEE
16 years 18 days ago
2007
IEEE
Large-scale Internet services require a computing infrastructure that can be appropriately described as a warehouse-sized computing system. The cost of building datacenter facilit...
178
click to vote
ISPASS
2007
IEEE
16 years 17 days ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
145
click to vote
NDSS
2007
IEEE
16 years 17 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
172
click to vote
CADE
2007
Springer
16 years 14 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
165
click to vote
CCIA
2007
Springer
16 years 14 days ago
2007
Springer
With the arrival of high throughput genotyping techniques, the detection of likely genotyping errors is becoming an increasingly important problem. In this paper we are interested...