221 search results - page 43 / 45 » Scheduling instruction effects for a statically pipelined pr... |
195
click to vote
ASPLOS
2010
ACM
16 years 2 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
239
Voted
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...
191
click to vote
PLDI
2003
ACM
16 years 20 days ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
195
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Within-die variation in leakage power consumption is substantial and increasing for chip-level multiprocessors (CMPs) and multiprocessor systems-on-chip. Dealing with this problem...
217
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...