2625 search results - page 523 / 525 » Applications 2000 |
144
Voted
NJC
2000
15 years 3 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
143
Voted
PRESENCE
2000
15 years 3 months ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
209
Voted
SIGMETRICS
2000
ACM
15 years 3 months ago
2000
ACM
Ad hoc wireless networks are new communication networks that can be dynamically formed and deformed onthe- y, anytime and anywhere. User data is routed with the help of an ad hoc ...
130
Voted
JAL
2002
15 years 3 months ago
2002
We take a multivariate view of digital search trees by studying the number of nodes of different types that may coexist in a bucket digital search tree as it grows under an arbitr...
141
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...