2586 search results - page 349 / 518 » Automatic Abstraction for Congruences |
197
click to vote
EUROPAR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
180
click to vote
FPL
2007
Springer
16 years 18 days ago
2007
Springer
Multiprocessor systems-on-chip (MPSoC) are being developed in increasing numbers to support the high number of applications running on modern embedded systems. Designing and progr...
152
click to vote
GEOS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. A workflow-driven ontology is an ontology that encodes disciplinespecific knowledge in the form of concepts and relationships and that facilitates the composition of serv...
175
click to vote
GPC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Due to the high availability of the Internet, many large crossorganization collaboration projects, such as SourceForge, grid systems etc., have emerged. One of the fundam...
204
click to vote
HIPEAC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In this paper, we propose a novel approach to reduce dynamic power in set-associative caches that leverages on a leakage-saving proposal, namely Cache Decay. We thus open...