1342 search results - page 269 / 269 » Ordered Programs as Abductive Systems |
MICRO
2010
IEEE
13 years 2 months ago
2010
IEEE
Current trends signal an imminent crisis in the simulation of future CMPs (Chip MultiProcessors). Future micro-architectures will offer more and more thread contexts to execute pa...
PODS
2011
ACM
12 years 7 months ago
2011
ACM
In deletion propagation, tuples from the database are deleted in order to reflect the deletion of a tuple from the view. Such an operation may result in the (often necessary) del...