4820 search results - page 586 / 964 » Implementing Signatures for C |
183
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Performance of applications can be boosted by executing application-specific Instruction Set Extensions (ISEs) on a specialized hardware coupled with a processor core. Many commer...
142
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
297
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
270
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
331
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...