3239 search results - page 618 / 648 » A Logical Process Calculus |
115
Voted
ICCAD
2003
IEEE
16 years 14 days 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...
144
Voted
SOSP
2005
ACM
16 years 14 days 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...
134
Voted
ISPASS
2009
IEEE
15 years 10 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...
163
click to vote
DSN
2009
IEEE
15 years 10 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...
142
Voted
ICSEA
2009
IEEE
15 years 10 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...