1304 search results - page 231 / 261 » Evaluating Hardware Compilation Techniques |
157
click to vote
ISCA
2009
IEEE
15 years 10 months ago
2009
IEEE
With the shift towards chip multiprocessors (CMPs), exploiting and managing parallelism has become a central problem in computer systems. Many issues of parallelism management boi...
123
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
The trends in enterprise IT toward service-oriented computing, server consolidation, and virtual computing point to a future in which workloads are becoming increasingly diverse i...
166
click to vote
PET
2010
Springer
15 years 6 months ago
2010
Springer
Mobile smartphone users frequently need to search for nearby points of interest from a location based service, but in a way that preserves the privacy of the users' locations...
161
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
118
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...