1289 search results - page 149 / 258 » Analyzing Metadata Performance in Distributed File Systems |
134
Voted
CASES
2007
ACM
15 years 6 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...
104
Voted
CCS
2003
ACM
15 years 7 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...
124
Voted
IPPS
2006
IEEE
15 years 8 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...
112
Voted
ENTCS
2006
15 years 2 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...
127
Voted
TPDS
2010
14 years 9 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...