191 search results - page 30 / 39 » The basic feasible functionals in computable analysis |
159
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
178
click to vote
PPSC
1989
15 years 6 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
144
click to vote
ICDS
2008
IEEE
15 years 11 months ago
2008
IEEE
Reliable Server Pooling (RSerPool) is a light-weight protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. ...
180
Voted
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
121
Voted
DAGSTUHL
2010
15 years 6 months ago
2010
Applications of complex variables and related manifolds appear throughout mathematics and science. Here we review a family of basic methods for applying visualization concepts to ...