6960 search results - page 244 / 1392 » Continuity Analysis of Programs |
154
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
177
click to vote
JAT
2010
15 years 5 months ago
2010
We consider H¨older smoothness classes of surfaces for which we construct piecewise polynomial approximation networks, which are graphs with polynomial pieces as nodes and edges ...
195
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
180
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
176
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Serial analysis of gene expression (SAGE) is used to obtain quantitative snapshots of the transcriptome. These profiles are count-based and are assumed to follow a Bin...