2752 search results - page 468 / 551 » Rounding to an Integral Program |
194
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
173
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
168
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
133
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The import of most intraperoxisomal proteins is mediated by peroxisome targeting signals at their C-termini (PTS1) or N-terminal regions (PTS2). Both signals have been...
178
click to vote
CGF
2010
15 years 6 months ago
2010
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...