2433 search results - page 256 / 487 » Power laws in software |
124
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
We utilize application trends analysis, focused on webpage content, in order to examine the design of mobile computers more holistically. We find that both Internet bandwidth and ...
182
click to vote
ISBI
2008
IEEE
16 years 1 months ago
2008
IEEE
In fluorescence-labelled cell assays for high content screening applications, image processing software is necessary to have automatic algorithms for segmenting the cells individ...
149
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
173
click to vote
SCAM
2007
IEEE
16 years 28 days ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
172
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...