317 search results - page 56 / 64 » Model-Based Design of ECU Software - A Component Based Appro... |
SAT
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
EMSOFT
2007
Springer
14 years 5 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
DELOS
2004
14 years 6 days ago
2004
A distributed digital library has been designed and implemented for the support of community radios. This framework, developed by the StreamOnTheFly IST project of the EU, provides...
BMCBI
2005
13 years 10 months ago
2005
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...