108 search results - page 5 / 22 » rise 2004 |
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
—Owing to inductive effect, coplanar waveguide (CPW) is widely used to achieve signal integrity in high performance clock designs. In this paper, we first propose a piece-wise l...
WPES
2004
ACM
14 years 1 months ago
2004
ACM
As computing becomes more ubiquitous and Internet use continues to rise, it is increasingly important for organizations to construct accurate and effective privacy policies that d...
ASIAN
2004
Springer
14 years 1 months ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
EUROPAR
2004
Springer
14 years 1 months ago
2004
Springer
This paper studies the effect that HOL (Head-of-Line) blocking in the packet injection queue has on the performance of bidirectional k-ary ncubes, for values of k over a certain th...