4085 search results - page 682 / 817 » Benchmarking Data Mining Algorithms |
164
click to vote
FMCAD
2009
Springer
16 years 27 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
186
click to vote
CF
2009
ACM
16 years 25 days ago
2009
ACM
Hybrid architectures combining the strengths of generalpurpose processors with application-specific hardware accelerators can lead to a significant performance improvement. Our ...
143
Voted
SASP
2008
IEEE
16 years 21 days ago
2008
IEEE
—In this paper we present a method for construction of application specific processor cores from a given C code. Our approach consists of three phases. We start by quantifying t...
184
click to vote
IEEESCC
2005
IEEE
15 years 12 months ago
2005
IEEE
The emerging paradigms of service oriented architectures and utility-based computing have the potential to greatly reduce the cost of data management. Data management service prov...
160
click to vote
ARC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Memory accesses contribute sunstantially to aggregate system delays. It is critical for designers to ensure that the memory subsystem is designed efficiently, and much wo...