5086 search results - page 859 / 1018 » The Power of Comparative Reasoning |
157
click to vote
LOPSTR
2007
Springer
16 years 17 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
163
click to vote
ICPP
2006
IEEE
16 years 14 days ago
2006
IEEE
These days an increasing number of applications, especially in science and engineering, are dealing with a massive amount of data; hence they are dataintensive. Bioinformatics, da...
157
click to vote
DATE
2005
IEEE
16 years 1 days ago
2005
IEEE
Transient errors are one of the major reasons for system downtime in many systems. While prior research has mainly focused on the impact of transient errors on datapath, caches an...
201
Voted
MOBIDE
2005
ACM
15 years 12 months ago
2005
ACM
In the context of mobile data access, data caching is fundamental for both performance and functionality. For this reason there have been many studies into developing energy-effi...
268
click to vote
SPAA
2005
ACM
15 years 12 months ago
2005
ACM
The page migration problem is one of subproblems of data management in networks. It occurs in a distributed network of processors sharing one indivisible memory page of size D. Du...