400 search results - page 31 / 80 » An Extensible Meta-Model for Program Analysis |
101
click to vote
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
103
click to vote
ISPD
2004
ACM
15 years 5 months ago
2004
ACM
VLSI placement tools usually work in two steps: First, the cells that have to be placed are roughly spread out over the chip area ignoring disjointness (global placement). Then, i...
200
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Scheduling/prioritization of DBMS transactions is important for many applications that rely on database backends. A convenient way to achieve scheduling is to limit the number of ...
105
click to vote
CC
2010
Springer
15 years 6 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
124
click to vote
ASPLOS
2000
ACM
15 years 4 months ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...