2291 search results - page 279 / 459 » Logic Programming and Model Checking |
138
click to vote
TSE
2011
14 years 9 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
124
Voted
CEFP
2005
Springer
15 years 8 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
139
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
142
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
151
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...