1222 search results - page 191 / 245 » Verifying a File System Implementation |
106
click to vote
HICSS
2000
IEEE
15 years 3 months ago
2000
IEEE
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
NSDI
2010
15 years 1 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Community of web services (CWS) is a society composed by a number of functionally identical web services. The communities always aim to increase their reputation level in order ...
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
103
click to vote
MTV
2003
IEEE
15 years 5 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...