4930 search results - page 615 / 986 » Testing a Safety-Critical Application |
200
click to vote
FAST
2010
15 years 9 months ago
2010
We introduce Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system f...
185
click to vote
USENIX
2007
15 years 9 months ago
2007
Random peer selection is used by numerous P2P applications; examples include application-level multicast, unstructured file sharing, and network location mapping. In most of thes...
175
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
We devise a method for automatically detecting treatment relationships using lexico-syntactic patterns and its application to medical-oriented patent retrieval. This process for d...
189
click to vote
COMPGEOM
2005
ACM
15 years 8 months ago
2005
ACM
We present an efficient algorithm for maintaining the boundary and surface area of protein molecules as they undergo conformational changes. We also describe a robust implementati...
213
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Recent research on Internet traffic classification algorithms has yielded a flurry of proposed approaches for distinguishing types of traffic, but no systematic comparison of the ...