1289 search results - page 149 / 258 » Analyzing Metadata Performance in Distributed File Systems |
160
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
134
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...
153
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
136
click to vote
ENTCS
2006
15 years 5 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
149
click to vote
TPDS
2010
14 years 12 months ago
2010
In this paper, we study p2p systems, where peers have to share their available resources between their own and other peers' needs. One such example is a system of peers who us...