5762 search results - page 550 / 1153 » R-tree: A Hardware Implementation |
186
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Multiple supply voltage (MSV) is one of the most effective schemes to achieve low power, but most works are based on logic level. A few recent works are based on physical level but...
194
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
186
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
253
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
178
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...