6202 search results - page 836 / 1241 » Without Loss of Generality |
227
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
166
click to vote
SSS
2005
Springer
16 years 11 days ago
2005
Springer
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...
186
click to vote
ASPLOS
2004
ACM
16 years 9 days ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
183
click to vote
DOLAP
2004
ACM
16 years 9 days ago
2004
ACM
During the few last years, several approaches have been proposed to model different aspects of a Data Warehouse (DW), such as the conceptual model of the DW, the design of the ET...
172
click to vote
ISLPED
2004
ACM
16 years 9 days ago
2004
ACM
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...