8009 search results - page 156 / 1602 » cans 2005 |
153
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
143
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
145
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Wireless Ad Hoc networks are particularly vulnerable due to their fundamental characteristics such as an open medium, dynamic topology, distributed cooperation and constrained capa...
127
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
A processor’s energy consumption can be reduced by compressing values (data and addresses) that flow through a processor pipeline and gating off portions of data path elements th...
145
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Sophisticated parallel matrix multiplication algorithms like PDGEMM exhibit a complex structure and can be controlled by a large set of parameters including blocking factors and bl...