796 search results - page 87 / 160 » An Overview of Separation Logic |
100
Voted
CHI
2004
ACM
16 years 1 months ago
2004
ACM
A video stream from a single camera is often the foundation for situational awareness in teleoperation activities. Poor camera placement, narrow field-of-view and other camera pro...
87
Voted
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
The advent of nanometer feature sizes in silicon fabrication has triggered a number of new design challenges for computer designers. These challenges include design complexity and...
68
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
A non-trivial challenge in high performance, cluster computing is the communication overhead introduced by the cluster interconnect. A common strategy for addressing this challeng...
92
Voted
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
102
Voted
PPAM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬erent aspects of high-performance computing or are intended to solve a speciļ¬...