2740 search results - page 168 / 548 » Typing the Specialization Interface |
147
click to vote
IPPS
2006
IEEE
16 years 5 hour ago
2006
IEEE
We give an overview of the algorithms and implementations in the high-performance MPI libraries MPI/SX and MPI/ES of some of the most important collective operations of MPI (the M...
139
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
155
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
177
click to vote
COMPSAC
1995
IEEE
15 years 9 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
143
click to vote
CHI
2005
ACM
15 years 8 months ago
2005
ACM
In this Special Interest Group (SIG) we intend to consider the increasingly popular area of interactive systems design for the home. Aiming to incorporate a wide range of perspect...