2452 search results - page 105 / 491 » On Reduction of Lagrange Systems |
173
click to vote
ENTCS
2002
15 years 5 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
186
click to vote
SCOPES
2007
Springer
15 years 12 months ago
2007
Springer
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...
180
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...
156
click to vote
FGCN
2008
IEEE
16 years 9 days ago
2008
IEEE
Power consumption is becoming a primary concern as a result of tremendous increasing in computer power usage. Innumerable methods and techniques have been exploited to address thi...
151
click to vote
PC
1998
15 years 5 months ago
1998
This paper investigates communication strategies for interconnecting heterogeneous parallel systems. As the speed of processors and parallel systems keep on increasing over the ye...