2740 search results - page 168 / 548 » Typing the Specialization Interface |
119
click to vote
IPPS
2006
IEEE
15 years 9 months 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...
115
Voted
CAV
2004
Springer
15 years 9 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...
131
click to vote
INFOCOM
1999
IEEE
15 years 8 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...
153
click to vote
COMPSAC
1995
IEEE
15 years 7 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...
106
click to vote
CHI
2005
ACM
15 years 5 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...