1073 search results - page 101 / 215 » Formal Program Development with Approximations |
ASWEC
2001
IEEE
14 years 21 days ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
BMCBI
2005
13 years 9 months ago
2005
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...
CORR
2012
Springer
12 years 4 months ago
2012
Springer
This paper develops theoretical results regarding noisy 1-bit compressed sensing and sparse binomial regression. We demonstrate that a single convex program gives an accurate estim...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...