1117 search results - page 177 / 224 » Partial Models of Extended Generalized Logic Programs |
ICS
2007
Tsinghua U.
15 years 3 months ago
2007
Tsinghua U.
This paper investigates helper threads that improve performance by prefetching data on behalf of an application’s main thread. The focus is data prefetch helper threads that lac...
102
click to vote
TLDI
2005
ACM
15 years 3 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
109
click to vote
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
ICWE
2009
Springer
15 years 2 months ago
2009
Springer
Adaptivity in web applications raises several concerns. One demands it to be decoupled from the actual application and at the same time wants to use very domain-specific terms for ...