7694 search results - page 577 / 1539 » An Implementation of an Applicative File System |
168
click to vote
NCA
2006
IEEE
16 years 1 months ago
2006
IEEE
We discuss the design methodology used to achieve commercial-quality reliability in the Akamai content delivery network. The network consists of 15,000+ servers in 1,100+ networks...
202
click to vote
AIED
2005
Springer
16 years 19 days ago
2005
Springer
Collaborative learning is question-driven and open-ended by nature. Many of the techniques developed for intelligent tutoring are applicable only in more structured settings, but f...
182
click to vote
VMCAI
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
194
click to vote
ASIAN
2004
Springer
16 years 15 days ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
214
click to vote
ASIASIM
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...