3239 search results - page 618 / 648 » A Logical Process Calculus |
84
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper, we present a high-level power model to estimate the power consumption in semi-global and global interconnects. Such interconnects are used for communications bet...
117
click to vote
SOSP
2005
ACM
15 years 9 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
107
Voted
ISPASS
2009
IEEE
15 years 7 months ago
2009
IEEE
Until very recently, microprocessor designs were computation-centric. On-chip communication was frequently ignored. This was because of fast, single-cycle on-chip communication. T...
134
Voted
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...
111
click to vote
ICSEA
2009
IEEE
15 years 7 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...