330 search results - page 4 / 66 » Analyzing Large Spreadsheet Programs |
NAR
2010
13 years 4 months ago
2010
Alternative splicing is an important mechanism for increasing protein diversity. However, its functional effects are largely unknown. Here, we present our new software workflow co...
ASPLOS
2012
ACM
12 years 5 months ago
2012
ACM
Future microprocessors need low-cost solutions for reliable operation in the presence of failure-prone devices. A promising approach is to detect hardware faults by deploying low-...
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
BMCBI
2008
13 years 10 months ago
2008
Background: Viruses of the Bunyaviridae have segmented negative-stranded RNA genomes and several of them cause significant disease. Many partial sequences have been obtained from ...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
Recent advancement in peer-to-peer (P2P) technologies has enabled a wide range of new applications. In this paper, we present mixed integer programming (MIP) formulations to analy...