2542 search results - page 245 / 509 » One step ahead |
140
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...
80
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Many object surfaces are composed of layers of different physical substances, known as layered surfaces. These surfaces, such as patinas, water colors, and wall paintings, have mo...
109
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
118
click to vote
SPAA
2004
ACM
15 years 6 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...
106
click to vote
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...