6201 search results - page 1126 / 1241 » Implementation of Axiomatic Language |
135
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
142
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
Named entity recognition studies the problem of locating and classifying parts of free text into a set of predefined categories. Although extensive research has focused on the de...
133
click to vote
CGO
2010
IEEE
15 years 12 months ago
2010
IEEE
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...
160
click to vote
ICDE
2010
IEEE
15 years 12 months ago
2010
IEEE
— The size of data sets being collected and analyzed in the industry for business intelligence is growing rapidly, making traditional warehousing solutions prohibitively expensiv...
123
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Data center power infrastructure incurs massive capital costs, which typically exceed energy costs over the life of the facility. To squeeze maximum value from the infrastructure,...