9626 search results - page 355 / 1926 » Invariant Based Programming |
149
click to vote
ACTAC
2007
15 years 6 months ago
2007
An o-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. Th...
201
click to vote
DSP
2008
15 years 5 months ago
2008
In this paper we present a methodical evaluation of the performance of a new and two traditional approaches to automatic target recognition (ATR) based on silhouette representatio...
230
click to vote
PLDI
2005
ACM
16 years 7 days ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
225
click to vote
JCST
2010
15 years 1 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
170
click to vote
CIVR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents a task-based user evaluation of two contentbased image database browsing systems. The performance of the two systems is compared to that of a commerci...