927 search results - page 73 / 186 » Practical Limits on Software Dependability: A Case Study |
151
click to vote
ESSOS
2010
Springer
16 years 2 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
172
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
156
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Meta-analysis methods exist for combining multiple microarray datasets. However, there are a wide range of issues associated with microarray meta-analysis and a limite...
154
click to vote
ISPASS
2010
IEEE
2010
IEEE
A study of hardware assisted IP over InfiniBand and its impact on enterprise data center performance
15 years 11 months ago
— High-performance sockets implementations such as the Sockets Direct Protocol (SDP) have traditionally showed major performance advantages compared to the TCP/IP stack over Infi...
154
click to vote
INFOCOM
2009
IEEE
16 years 15 days ago
2009
IEEE
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...